lux/pulsar
2
0
Fork 0
mirror of https://github.com/luxfi/pulsar.git synced 2026-09-24 00:25:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • f2d84f10a2 docs: correct stale 'no EC toolchain / recheck-pending' claims — EC machine-checks on host (ec-machine-check.sh, 14/14) v1.1.4 zooqueen 2026-06-21 19:14:18 -07:00
  • cde7fe53c5 fix(ec): delete stale V04 leaking-path orphan; machine-check all EC theories; scrub v0.4 refs; comment-aware budget v1.1.3 zooqueen 2026-06-21 18:10:48 -07:00
  • c546d5dc0a proofs: de-misdirect the reconstruct-then-sign EC cone with a no-leak model zooqueen 2026-06-21 15:26:18 -07:00
  • e5e4f575f6 high-assurance: repoint gate references to luxfi/security/framework (canonical home) zooqueen 2026-06-21 14:22:36 -07:00
  • 0fed7fbb5e proofs: honest bucketed axiom inventory + reconstruct-then-sign disclosure zooqueen 2026-06-21 14:19:49 -07:00
  • 3d0b112331 high-assurance: declare unproven-assertion budget + reviewed axioms zooqueen 2026-06-21 13:37:32 -07:00
  • 1d1c9211b4 pulsar: harden cert verification, remove v0.3 leaking path (PULSAR-V13) zooqueen 2026-06-21 07:52:05 -07:00
  • 2ad553c54b pulsar: BDLOP range proofs for DKG/nonce small-norm checks zooqueen 2026-06-21 07:13:30 -07:00
  • d612de58e3 pulsar: BCC/CEF no-leak sign verified under CIRCL+pq-crystals + sound linear proofs zooqueen 2026-06-21 02:14:01 -07:00
  • 43add148f9 pulsar: Ringtail-style 2-round signing API + RoundSigner + canonical signer subset zooqueen 2026-06-21 01:25:15 -07:00
  • 492fda22f7 pulsar: external-review package (audit/pulsar-v1) — honest status, KNOWN_BAD_V03, invariants, threat model, test matrix, repro, reviewer questions zooqueen 2026-06-21 01:22:47 -07:00
  • 5f52f9b996 pulsar: FindHint (exported), package doc + security-explicit errors; recover doc.go zooqueen 2026-06-21 01:21:05 -07:00
  • 89c25d9675 pulsar: decomplect names to domain (NonceCert/Partial/Aggregate/ConsensusCert) zooqueen 2026-06-21 01:18:31 -07:00
  • ba30df5102 PULSAR-V13: validator-run NonceMPC clearance cert (replaces standalone ZK) zooqueen 2026-06-21 01:07:20 -07:00
  • 2a9f34f166 PULSAR-V13: fail-closed ZK proof obligations (W-LEAK + partial-z) zooqueen 2026-06-21 01:01:13 -07:00
  • 4c84cf1c43 PULSAR-V13: production BCC/CEF wire layer (no hint-secret fields) zooqueen 2026-06-21 00:58:24 -07:00
  • 39593b3673 PULSAR-V13: contain hint-path leak + land verified BCC/CEF math core zooqueen 2026-06-21 00:54:00 -07:00
  • dc32e6bb88 docs: tidy LLM.md indexes; CLAUDE.md -> LLM.md symlink convention zooqueenandHanzo Dev 2026-06-17 09:33:12 -07:00
  • f86fcd4699 corona→corona: academic Corona now only in lp-220-p3q-corona zeekay 2026-06-11 10:28:26 -07:00
  • 5911dc0d32 go: 1.26.3 → 1.26.4 (security: crypto/x509, mime, net/textproto) zeekay 2026-06-06 22:09:52 -07:00
  • 97bc5dfaef SUBMISSION: bump revision date to 2026-06-05 submission-2026-06-05 zeekay 2026-06-05 18:27:15 -07:00
  • 5625c65339 SUBMISSION: bump revision date to 2026-06-05 zeekay 2026-06-05 18:27:15 -07:00
  • e07bef5d13 deps: bump accel v1.0.7 → v1.2.0 (MLDSAVerifyBatch + LatticeNTTMLDSABatch) zeekay 2026-06-05 17:42:05 -07:00
  • ee239d1e10 deps: bump accel v1.0.7 → v1.2.0 (MLDSAVerifyBatch + LatticeNTTMLDSABatch) zeekay 2026-06-05 17:42:05 -07:00
  • 6f79f13a5a chore: scrub 'subnet' → 'chain' in types.go comment (no-subnet rule) zeekay 2026-06-05 15:33:59 -07:00
  • 77d5371fa8 chore: scrub 'subnet' → 'chain' in types.go comment (no-subnet rule) zeekay 2026-06-05 15:33:59 -07:00
  • 5f2ac2b56b pulsar v1.2-dev: Round-2 batched NTT via accel (closes PULSAR-V12-GPU-NTT-WIRE) zeekay 2026-06-03 13:10:04 -07:00
  • 7e302120fb pulsar v1.2-dev: Round-2 batched NTT via accel (closes PULSAR-V12-GPU-NTT-WIRE) zeekay 2026-06-03 13:10:04 -07:00
  • bbb0f9f550 audit 2026-06: TEE + GPU + public-permissionless-chain safety zeekay 2026-06-03 11:40:02 -07:00
  • a6ab227ffe audit 2026-06: TEE + GPU + public-permissionless-chain safety zeekay 2026-06-03 11:40:02 -07:00
  • 04108e45b9 pulsar/jasmin: make threshold round1/round2/combine compile (codegen-only) zooqueenandHanzo Dev 2026-06-02 12:59:50 -07:00
  • f7b41d2b52 pulsar/jasmin: make threshold round1/round2/combine compile (codegen-only) zooqueenandHanzo Dev 2026-06-02 12:59:50 -07:00
  • 79c1831ae1 fix: gofmt -s across repo (CI format check) zeekay 2026-06-02 11:39:49 -07:00
  • 12e72c7635 fix: gofmt -s across repo (CI format check) zeekay 2026-06-02 11:39:49 -07:00
  • bb08ae010b ci: install libmpfr-dev + libppl-dev (apron transitive dep for jasmin) v1.1.2 zeekay 2026-06-01 21:57:59 -07:00
  • a8e007ed75 ci: install libmpfr-dev + libppl-dev (apron transitive dep for jasmin) zeekay 2026-06-01 21:57:59 -07:00
  • da52236185 BLOCKERS: PULSAR-V04-CTX closed in v1.1.1 (v1.1.0 was the wire-codec tag) v1.1.1 zeekay 2026-06-01 21:45:21 -07:00
  • f3cd7335e2 BLOCKERS: PULSAR-V04-CTX closed in v1.1.1 (v1.1.0 was the wire-codec tag) zeekay 2026-06-01 21:45:21 -07:00
  • 796609ee45 v1.1.0: v0.4 ctx-bound algebraic-aggregate threshold sign (PULSAR-V04-CTX) zeekay 2026-06-01 21:44:17 -07:00
  • b6bf416f2b v1.1.0: v0.4 ctx-bound algebraic-aggregate threshold sign (PULSAR-V04-CTX) zeekay 2026-06-01 21:44:17 -07:00
  • 3a2bc3fdc6 wire: canonical Signature + GroupKey codec, stateless VerifyBytes v1.1.0 v1.0.23 zeekay 2026-05-31 12:39:56 -07:00
  • c1fb2122aa wire: canonical Signature + GroupKey codec, stateless VerifyBytes zeekay 2026-05-31 12:39:56 -07:00
  • 111755fbeb gpu: pulsar wires onto shared luxfi/lattice/v7 dispatcher zeekay 2026-05-31 12:21:38 -07:00
  • cca73e1eaa gpu: pulsar wires onto shared luxfi/lattice/v7 dispatcher zeekay 2026-05-31 12:21:38 -07:00
  • 5e15f52f98 docs: residual scrub across CHANGELOG, LLM, SECURITY, bench, vectors, jasmin zeekay 2026-05-31 11:22:31 -07:00
  • 7b54981697 docs: residual scrub across CHANGELOG, LLM, SECURITY, bench, vectors, jasmin zeekay 2026-05-31 11:22:31 -07:00
  • f447e7fe8a docs: tighten reviewer-facing prose, drop residual hedges zeekay 2026-05-31 11:22:15 -07:00
  • a9155c7ad0 docs: tighten reviewer-facing prose, drop residual hedges zeekay 2026-05-31 11:22:15 -07:00
  • 6adb153cf0 spec(tex): drop hedges, ship submission-grade prose zeekay 2026-05-31 11:21:53 -07:00
  • a9abf813ce spec(tex): drop hedges, ship submission-grade prose zeekay 2026-05-31 11:21:53 -07:00
  • d800941df9 docs(axiom): single canonical phrasing — 22 named axioms total zeekay 2026-05-31 11:21:38 -07:00
  • 357a5a2087 docs(axiom): single canonical phrasing — 22 named axioms total zeekay 2026-05-31 11:21:38 -07:00
  • d9f1a0c84b docs(status): declare READY FOR SUBMISSION zeekay 2026-05-31 11:21:19 -07:00
  • 84ed92c655 docs(status): declare READY FOR SUBMISSION zeekay 2026-05-31 11:21:19 -07:00
  • 9a0d8762e3 docs: closure-record framing for BLOCKERS.md + spec appendix zeekay 2026-05-31 11:21:12 -07:00
  • b966a1678f docs: closure-record framing for BLOCKERS.md + spec appendix zeekay 2026-05-31 11:21:12 -07:00
  • 8d1953ecf2 ref/go: gofmt sweep after dead-code removal zeekay 2026-05-31 11:10:25 -07:00
  • a736c55033 ref/go: gofmt sweep after dead-code removal zeekay 2026-05-31 11:10:25 -07:00
  • b4004140e5 ref/go: delete unused funcs flagged by staticcheck (U1000), inline transcriptTau1 wrappers zeekay 2026-05-31 11:05:27 -07:00
  • 9b01d07158 ref/go: delete unused funcs flagged by staticcheck (U1000), inline transcriptTau1 wrappers zeekay 2026-05-31 11:05:27 -07:00
  • 59139050ff docs: add docs/README.md index zeekay 2026-05-31 11:01:48 -07:00
  • 5135b27a85 docs: add docs/README.md index zeekay 2026-05-31 11:01:48 -07:00
  • fdfc4252dd docs: rewrite NIST-SUBMISSION + SUITE refs after merge/delete zeekay 2026-05-31 11:01:10 -07:00
  • d400cd6f5a docs: rewrite NIST-SUBMISSION + SUITE refs after merge/delete zeekay 2026-05-31 11:01:10 -07:00
  • 593514431e ref/go: collapse dead circl-anchor placeholders, drop empty-slice append patterns zeekay 2026-05-31 11:00:48 -07:00
  • b82e6eebe7 ref/go: collapse dead circl-anchor placeholders, drop empty-slice append patterns zeekay 2026-05-31 11:00:48 -07:00
  • 0889760f22 ref/go: kill dead wrappers, use binary.BigEndian.PutUint32 for attempt encoding zeekay 2026-05-31 10:55:19 -07:00
  • c4d13f703d ref/go: kill dead wrappers, use binary.BigEndian.PutUint32 for attempt encoding zeekay 2026-05-31 10:55:19 -07:00
  • 448ce123ca ref/go: gofmt baseline zeekay 2026-05-31 10:51:16 -07:00
  • 249201f18f ref/go: gofmt baseline zeekay 2026-05-31 10:51:16 -07:00
  • 5af57329d5 docs: move 14 supporting docs under docs/, rewrite all refs zeekay 2026-05-31 10:50:10 -07:00
  • dbf0927fcb docs: move 14 supporting docs under docs/, rewrite all refs zeekay 2026-05-31 10:50:10 -07:00
  • ad00b4b158 docs(proofs): trust-boundary + extraction roadmaps to v8 accounting zeekay 2026-05-31 10:43:40 -07:00
  • 2dc7f67ee5 docs(proofs): trust-boundary + extraction roadmaps to v8 accounting zeekay 2026-05-31 10:43:40 -07:00
  • 8f4f821db0 docs: tighten BLOCKERS.md — closed-finding registry, ~80 lines zeekay 2026-05-31 10:42:43 -07:00
  • 8416b04a82 docs: tighten BLOCKERS.md — closed-finding registry, ~80 lines zeekay 2026-05-31 10:42:43 -07:00
  • 44815383de docs: README factual cleanup — verified axiom counts, coverage, layout zeekay 2026-05-31 10:42:33 -07:00
  • a1241fb4f7 docs: README factual cleanup — verified axiom counts, coverage, layout zeekay 2026-05-31 10:42:33 -07:00
  • fb8655b5b6 ci(proofs): bridge guard enforces 5 Lean-bridged axioms (Axiom 5 added v8) zeekay 2026-05-31 10:39:29 -07:00
  • 40fe06c275 ci(proofs): bridge guard enforces 5 Lean-bridged axioms (Axiom 5 added v8) zeekay 2026-05-31 10:39:29 -07:00
  • 5bae84d55e pulsar v1.0.22: close AST indirect-dispatch hole on AlgebraicAggregate v1.0.22 zeekay 2026-05-24 15:15:39 -07:00
  • c953ec8d8c pulsar v1.0.22: close AST indirect-dispatch hole on AlgebraicAggregate zeekay 2026-05-24 15:15:39 -07:00
  • db354d99c0 pulsar v1.0.21: harden v0.3 regression guard for km.a NTT-domain invariant v1.0.21 zeekay 2026-05-24 15:06:43 -07:00
  • 1746519daf pulsar v1.0.21: harden v0.3 regression guard for km.a NTT-domain invariant zeekay 2026-05-24 15:06:43 -07:00
  • c8d5062af2 pulsar v1.0.20: fix v0.3 AlgebraicAggregate byte-equality with circl Verify v1.0.20 zeekay 2026-05-24 14:44:30 -07:00
  • df21592d75 pulsar v1.0.20: fix v0.3 AlgebraicAggregate byte-equality with circl Verify zeekay 2026-05-24 14:44:30 -07:00
  • 613e45ba31 pulsar: rename gpu fan-out files to dkg_parallel.go (honest labelling) zeekay 2026-05-24 14:17:53 -07:00
  • b3a94f0d01 pulsar: rename gpu fan-out files to dkg_parallel.go (honest labelling) zeekay 2026-05-24 14:17:53 -07:00
  • ac79dd2023 pulsar v0.3: narrow bug to hint computation (3 new diagnostic tests) v1.0.19 zeekay 2026-05-22 21:01:58 -07:00
  • c4f67aec81 pulsar v0.3: narrow bug to hint computation (3 new diagnostic tests) zeekay 2026-05-22 21:01:58 -07:00
  • 24955a0a10 pulsar v0.3: byte-diff diagnostic test + sanity check v1.0.18 zeekay 2026-05-22 20:46:44 -07:00
  • 65b3b50730 pulsar v0.3: byte-diff diagnostic test + sanity check zeekay 2026-05-22 20:46:44 -07:00
  • 394ce572ad docs: clarify v0.3 byte-equality scope + which Combine for which deployment v1.0.17 zeekay 2026-05-22 18:20:20 -07:00
  • 1549e42834 docs: clarify v0.3 byte-equality scope + which Combine for which deployment zeekay 2026-05-22 18:20:20 -07:00
  • 8ce30ab2cb pulsar v0.3: fix mu domain-separator in iso/debug tests + clarify byte-equality gap v1.0.16 zeekay 2026-05-22 00:41:16 -07:00
  • 773ab199b5 pulsar v0.3: fix mu domain-separator in iso/debug tests + clarify byte-equality gap zeekay 2026-05-22 00:41:16 -07:00
  • 2ac6d056e5 pulsar v0.3: algebraic threshold WIP — API surface complete, byte-equality pending v1.0.15 zeekay 2026-05-22 00:15:21 -07:00
  • 77c9b92487 pulsar v0.3: algebraic threshold WIP — API surface complete, byte-equality pending zeekay 2026-05-22 00:15:21 -07:00
  • fba95ed25c pulsar v1.0.14: rename v0.2 Algebraic* → Transitional* (honesty fix) v1.0.14 zeekay 2026-05-21 18:23:00 -07:00
  • 64d5000717 pulsar v1.0.14: rename v0.2 Algebraic* → Transitional* (honesty fix) zeekay 2026-05-21 18:23:00 -07:00