Commit Graph

  • b23263700b chore: sync working tree main zeekay 2026-07-26 10:13:58 -07:00
  • 7d8f86fd07 ci: run linux jobs on lux-build-amd64 ARC scale set (no GitHub-hosted builders) hanzo-dev 2026-07-11 00:15:35 -07:00
  • e9ef632a8e merge research/magnetar-threshold-slhdsa + reconcile v1.4.0 zeekay 2026-07-01 06:28:16 -07:00
  • 684151bcac Merge branch 'research/magnetar-threshold-slhdsa' v1.3.0 zeekay 2026-06-30 14:01:57 -07:00
  • 8c8d3b27ff docs(brand): add hero banner z 2026-06-28 20:38:55 -07:00
  • b37a07ba1c chore(brand): dynamic hero banner z 2026-06-28 20:38:54 -07:00
  • df4a0ed733 magnetar Track B (research): no-reconstruct threshold SLH-DSA skeleton + proven FORS-leaf opening zeekay 2026-06-28 01:05:48 -07:00
  • 378f29c291 fix(thbsse): gate the seed-reconstructing Combine at RUNTIME (AckThbsSeReconstructsSeed, mirrors OpenRevealAck) — NO build tags, one native binary; refuses without the ack. + runtime-barrier test; fix easycrypt-smoke dangling theory refs v1.2.3 Antje Worring 2026-06-21 20:40:00 -07:00
  • 468e4e7ff7 chore(assurance): tighten budget to real comment-aware counts (SORRY/ADMIT/AXIOM = 0/0/0) v1.2.2 Antje Worring 2026-06-21 18:10:48 -07:00
  • 0caa3faf68 docs(honesty): clarify sorry/admit budget provenance + fix stale THBS-SPEC framing Antje Worring 2026-06-21 15:25:01 -07:00
  • 9d31809fc9 high-assurance: repoint gate references to luxfi/security/framework (canonical home) Antje Worring 2026-06-21 14:22:36 -07:00
  • 31227a435a high-assurance: declare unproven-assertion budget Antje Worring 2026-06-21 13:37:32 -07:00
  • df4c537c16 magnetar: remove proof-by-rename + circular proofs; honest threshold status Antje Worring 2026-06-21 13:06:57 -07:00
  • 2326a880cd go: 1.26.3 → 1.26.4 (security: crypto/x509, mime, net/textproto) Hanzo AI 2026-06-06 22:06:07 -07:00
  • 6a3a8653dd audit 2026-06: TEE + GPU + public-permissionless-chain safety Hanzo AI 2026-06-03 11:45:40 -07:00
  • d1f76659e4 fix: gofmt -s across repo (CI format check) Hanzo AI 2026-06-02 11:38:43 -07:00
  • 3843ad3b18 magnetar: SECURITY.md --- threat model + strict-PQ profile closure v1.2.1 Hanzo AI 2026-06-01 21:29:52 -07:00
  • 34ed87534b magnetar: SECURITY.md --- threat model + strict-PQ profile closure Hanzo AI 2026-06-01 21:29:52 -07:00
  • e5d0735f9f magnetar v1.2: dealerless PVSS-DKG closes MAGNETAR-PVSS-DKG-V11 v1.2.0 Hanzo AI 2026-06-01 21:12:48 -07:00
  • a5d7a242e3 magnetar v1.2: dealerless PVSS-DKG closes MAGNETAR-PVSS-DKG-V11 Hanzo AI 2026-06-01 21:12:48 -07:00
  • c703c3d0e2 magnetar v1.1: high-assurance orchestrator + BLOCKERS + CHANGELOG + README v1.1.0 Hanzo AI 2026-06-01 17:13:53 -07:00
  • 0f6ac37cfc magnetar v1.1: high-assurance orchestrator + BLOCKERS + CHANGELOG + README Hanzo AI 2026-06-01 17:13:53 -07:00
  • ebac3429ac magnetar v1.1: restore dudect CT track for strict-atom Combine path Hanzo AI 2026-06-01 17:13:35 -07:00
  • 0cc83b461f magnetar v1.1: restore dudect CT track for strict-atom Combine path Hanzo AI 2026-06-01 17:13:35 -07:00
  • 32cb7df2a7 magnetar v1.1: restore EasyCrypt + Lean proof track for strict-atom path Hanzo AI 2026-06-01 17:13:24 -07:00
  • 3c832acef6 magnetar v1.1: restore EasyCrypt + Lean proof track for strict-atom path Hanzo AI 2026-06-01 17:13:24 -07:00
  • 1164c5d467 magnetar v1.1: strict-atom Combine path closes MAGNETAR-STRICT-ATOM-V11 Hanzo AI 2026-06-01 17:13:05 -07:00
  • 8ea70c8861 magnetar v1.1: strict-atom Combine path closes MAGNETAR-STRICT-ATOM-V11 Hanzo AI 2026-06-01 17:13:05 -07:00
  • e3f2d47a5e magnetar v1.1: internal FIPS 205 sec 5-8 walk for SHAKE family Hanzo AI 2026-06-01 17:12:41 -07:00
  • 7faf0a1018 magnetar v1.1: internal FIPS 205 sec 5-8 walk for SHAKE family Hanzo AI 2026-06-01 17:12:41 -07:00
  • f8268db80b magnetar v1.0.0: ONE construction per regime; THBS-SE permissionless threshold v1.0.0 Lux Magnetar 2026-06-01 12:03:22 -07:00
  • 83ce56ff0f magnetar v1.0.0: ONE construction per regime; THBS-SE permissionless threshold Lux Magnetar 2026-06-01 12:03:22 -07:00
  • 713fd2702f ci(magnetar): widen go-tests timeout 240s → 600s for slh-dsa headroom Hanzo AI 2026-05-31 22:52:32 -07:00
  • 203fd4218f ci(magnetar): widen go-tests timeout 240s → 600s for slh-dsa headroom Hanzo AI 2026-05-31 22:52:32 -07:00
  • 1c84519096 magnetar v0.5.1 wire codec: MAGS/MAGG + stateless VerifyBytes v0.5.2 Hanzo AI 2026-05-31 16:08:08 -07:00
  • 35d79c2d8a magnetar v0.5.1 wire codec: MAGS/MAGG + stateless VerifyBytes Hanzo AI 2026-05-31 16:08:08 -07:00
  • ac7aae9386 docs: lead README with public-BFT primary primitive (ValidatorSign) v0.5.1 Hanzo AI 2026-05-22 18:21:56 -07:00
  • 8923fe3a78 docs: lead README with public-BFT primary primitive (ValidatorSign) Hanzo AI 2026-05-22 18:21:56 -07:00
  • 111df91c42 magnetar v0.5.0: public-BFT framing + standalone+aggregate + dkg2 skeleton v0.5.0 Hanzo AI 2026-05-22 00:17:54 -07:00
  • 40618d99f9 magnetar v0.5.0: public-BFT framing + standalone+aggregate + dkg2 skeleton Hanzo AI 2026-05-22 00:17:54 -07:00
  • d9fcf4c3e1 v0.4.3: slot-guard persists full PartialSignature; evidence verifiable post-restart v0.4.3 Hanzo AI 2026-05-21 18:22:04 -07:00
  • 5a13eda0e9 v0.4.3: slot-guard persists full PartialSignature; evidence verifiable post-restart Hanzo AI 2026-05-21 18:22:04 -07:00
  • 5100ffcd94 v0.4.2: TRUE threshold HBS (pkg/thbs) + public-BFT-safe aggregate-sigs v0.4.2 Hanzo AI 2026-05-21 17:34:41 -07:00
  • 3951c5a46c v0.4.2: TRUE threshold HBS (pkg/thbs) + public-BFT-safe aggregate-sigs Hanzo AI 2026-05-21 17:34:41 -07:00
  • f864180055 ci: add minimal CI workflow (build + short test + vet + govulncheck) v0.4.1 Hanzo AI 2026-05-21 12:26:41 -07:00
  • 03ebf2b949 ci: add minimal CI workflow (build + short test + vet + govulncheck) Hanzo AI 2026-05-21 12:26:41 -07:00
  • 1cfa247184 scripts: high-assurance gate orchestrator + per-check scripts v0.4.0 Hanzo AI 2026-05-19 08:39:54 -07:00
  • 2b0542d3ff scripts: high-assurance gate orchestrator + per-check scripts Hanzo AI 2026-05-19 08:39:54 -07:00
  • ad89099a31 tests: e2e + fuzz harnesses for Magnetar threshold-sign Hanzo AI 2026-05-19 08:39:37 -07:00
  • 43324c13de tests: e2e + fuzz harnesses for Magnetar threshold-sign Hanzo AI 2026-05-19 08:39:37 -07:00
  • 3af22f0bc1 ct/dudect: harness mirroring Pulsar (Verify + Combine valid-pool) Hanzo AI 2026-05-19 08:39:22 -07:00
  • ab684cd177 ct/dudect: harness mirroring Pulsar (Verify + Combine valid-pool) Hanzo AI 2026-05-19 08:39:22 -07:00
  • edc6acb336 jasmin: lib + slh-dsa + threshold sources for N1-analog byte-equality Hanzo AI 2026-05-19 08:39:06 -07:00
  • 7795fb7b42 jasmin: lib + slh-dsa + threshold sources for N1-analog byte-equality Hanzo AI 2026-05-19 08:39:06 -07:00
  • 748964a02d proofs: EC theories for Magnetar N1 + N4 (admit 0/0 across 13 files) Hanzo AI 2026-05-19 08:38:50 -07:00
  • 30e71f1271 proofs: EC theories for Magnetar N1 + N4 (admit 0/0 across 13 files) Hanzo AI 2026-05-19 08:38:50 -07:00
  • 32fc0b8bf5 docs(readme): tighten Quasar cross-reference tagline v0.3.0 Hanzo AI 2026-05-19 08:14:49 -07:00
  • 8d2d269cc2 docs(readme): tighten Quasar cross-reference tagline Hanzo AI 2026-05-19 08:14:49 -07:00
  • b4011a0461 docs: README + SUBMISSION-STATUS + BLOCKERS + CHANGELOG updates for v0.3.0 Hanzo AI 2026-05-19 08:09:51 -07:00
  • 8fe20b3b88 docs: README + SUBMISSION-STATUS + BLOCKERS + CHANGELOG updates for v0.3.0 Hanzo AI 2026-05-19 08:09:51 -07:00
  • c1534f3f56 submission: cut-submission.sh + check-high-assurance.sh Hanzo AI 2026-05-19 08:03:28 -07:00
  • a891d12f22 submission: cut-submission.sh + check-high-assurance.sh Hanzo AI 2026-05-19 08:03:28 -07:00
  • 8876bfbf6f sign-off: cryptographer review of Magnetar v0.3.0 — APPROVED WITH GATES Hanzo AI 2026-05-19 08:01:12 -07:00
  • 61aa6adf24 sign-off: cryptographer review of Magnetar v0.3.0 — APPROVED WITH GATES Hanzo AI 2026-05-19 08:01:12 -07:00
  • db6c252b3f submission: TRUSTED-COMPUTING-BASE + PROOF-CLAIMS + AXIOM-INVENTORY + FIPS-TRACEABILITY Hanzo AI 2026-05-19 07:57:08 -07:00
  • d95ef9c3cb submission: TRUSTED-COMPUTING-BASE + PROOF-CLAIMS + AXIOM-INVENTORY + FIPS-TRACEABILITY Hanzo AI 2026-05-19 07:57:08 -07:00
  • 572147c349 submission: SUBMISSION + NIST-SUBMISSION + PATENTS Hanzo AI 2026-05-19 07:51:12 -07:00
  • fc8667a8a2 submission: SUBMISSION + NIST-SUBMISSION + PATENTS Hanzo AI 2026-05-19 07:51:12 -07:00
  • 89301f0a3f docs: graduate from Tier C → Tier B v0.2.0 Hanzo AI 2026-05-19 01:25:31 -07:00
  • 5ae075e14f docs: graduate from Tier C → Tier B Hanzo AI 2026-05-19 01:25:31 -07:00
  • 8ed01a3c4d feat: KAT generator + deterministic vectors (ref/go/cmd/genkat) Hanzo AI 2026-05-19 01:25:10 -07:00
  • 5e78a2581e feat: KAT generator + deterministic vectors (ref/go/cmd/genkat) Hanzo AI 2026-05-19 01:25:10 -07:00
  • 55a7c96d71 feat: v0.1 reveal-and-aggregate threshold-SLH-DSA implementation Hanzo AI 2026-05-19 01:24:51 -07:00
  • 7f91286ee3 feat: v0.1 reveal-and-aggregate threshold-SLH-DSA implementation Hanzo AI 2026-05-19 01:24:51 -07:00
  • 3943b51ce2 blockers: enumerate Tier C → A path (9 blockers: construction selection, academic basis, spec, ref impl, KAT, interop, proofs, package docs, cryptographer review) Hanzo AI 2026-05-18 22:48:23 -07:00
  • 4e8d1657ed blockers: enumerate Tier C → A path (9 blockers: construction selection, academic basis, spec, ref impl, KAT, interop, proofs, package docs, cryptographer review) Hanzo AI 2026-05-18 22:48:23 -07:00
  • 9f367ba700 submission-status: honest NIST MPTC v0.3 path — research-stage; phased plan to submission-readiness Hanzo AI 2026-05-18 22:43:32 -07:00
  • 320a259cc0 submission-status: honest NIST MPTC v0.3 path — research-stage; phased plan to submission-readiness Hanzo AI 2026-05-18 22:43:32 -07:00
  • b7bf473698 init: Magnetar research-stage threshold SLH-DSA — DESIGN + README + LICENSE v0.1.0 Hanzo AI 2026-05-18 21:57:00 -07:00
  • 4426ab365b init: Magnetar research-stage threshold SLH-DSA — DESIGN + README + LICENSE Hanzo AI 2026-05-18 21:57:00 -07:00