saymrwulf/risc0-ed25519-verified
1
0
Fork 0
mirror of https://github.com/saymrwulf/risc0-ed25519-verified.git synced 2026-09-03 19:53:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • 1c16673003 coherence sweep: no private paths in public docs; dead /paper/v0.2 links repointed to git history; leaf-index numbering (doc-only) main mrwulf 2026-08-22 18:43:03 +0200
  • c4b275fc93 docs: estate-wide consistency pass (workflow audit, 36 findings, all verified before fixing) mrwulf 2026-08-07 16:00:54 +0200
  • 076e326331 docs: state the signing exclusion (round-7 review, ed-scope-exclusions-missing) mrwulf 2026-08-06 20:54:44 +0200
  • beba65a284 verification: lifted phases run under the buttons shell options, enforced in lift-guard mrwulf 2026-08-04 12:58:28 +0200
  • 75b47095fb verification: separate the two accounting questions (round-9 review, Claude N2) mrwulf 2026-08-04 03:17:05 +0200
  • da04ac5cde lift-guard: eleven more classes, two of them regressions I introduced mrwulf 2026-08-03 21:03:35 +0200
  • cba5fa3301 lift-guard: close all nine classes the reviewer demonstrated mrwulf 2026-08-03 13:14:20 +0200
  • fa9da37f11 audit: bind the scalar statements, and make the accounting identity mean audit mrwulf 2026-08-03 12:15:26 +0200
  • 9c6c3b16a3 correspondence: a named section is not a namespace; an extra axiom is a failure mrwulf 2026-08-02 21:29:54 +0200
  • cc571bf163 verification: derive lift dependencies instead of hand-keeping them mrwulf 2026-08-02 13:07:28 +0200
  • 4fafaab608 Round-7 F1: make model/template correspondence SEMANTIC, and fail closed mrwulf 2026-08-02 02:24:15 +0200
  • 08811d9118 Account for every constant the kernel sees, by set containment mrwulf 2026-08-01 16:10:59 +0200
  • 92f3229761 P2-c: classify and pin the extraction boundary mrwulf 2026-07-31 17:53:31 +0200
  • 96765ea721 P2-a': can a declaration hide from the inventory walker? mrwulf 2026-07-31 11:56:05 +0200
  • 2a0041dd9c P2-a: attack the arithmetic/apex tier boundary itself mrwulf 2026-07-31 02:39:34 +0200
  • 9ab8f15694 verification: build hygiene, and the hidden dependency it exposed (P0-a) mrwulf 2026-07-30 22:54:05 +0200
  • e8d7924113 verification: --audit-only mode, and the guard that keeps it from becoming evidence (T1) mrwulf 2026-07-30 19:16:20 +0200
  • afc545e408 verification: close the two-button seam and level up the scalar button (P0-b) mrwulf 2026-07-30 12:30:29 +0200
  • 847613eb76 verification: pin the whole declaration surface (P1-b) mrwulf 2026-07-30 01:20:19 +0200
  • d2760e41ab verification: pin the harness, the audit drivers and the policy files (P1-c) mrwulf 2026-07-29 20:13:00 +0200
  • 81a802f35b verification: bind the statements, the specifications, and the model (P1-a) mrwulf 2026-07-29 00:38:20 +0200
  • 13d974ba03 TRUSTED-BASE: record the kernel-side axiom gate and its residue mrwulf 2026-07-28 21:18:48 +0200
  • 521ae59283 verification: kernel-side axiom-declaration gate (Phase 2b) + self-test mrwulf 2026-07-28 18:24:18 +0200
  • eebeb98c65 check.sh: delete the compiled audit artifact, not just its source mrwulf 2026-07-28 17:31:54 +0200
  • d3318b6f79 Coherence pass 4 (the closing pass): 4-tier apex documentation + hygiene mrwulf 2026-07-06 04:01:18 +0200
  • 87db0f7acf PHASE 2 COMPLETE ON RISC0: THE FULL POINT-LEVEL LIFT (verify_accepts_iff_decompress, button-enforced) mrwulf 2026-07-06 01:29:22 +0200
  • 43e79e5d9f THE POINT-LEVEL VERIFICATION EQUATION on the risc0 fork: verify_accepts_iff_point_eq, button-enforced mrwulf 2026-07-05 19:25:54 +0200
  • 07b0f46018 PHASE-2 HALF-LIFT on the risc0 fork: verify_accepts_iff_point, button-enforced mrwulf 2026-07-05 16:38:21 +0200
  • a6e32a41a6 Coherence pass 3: post-apex accuracy sweep, hygiene, guard ladder mrwulf 2026-07-05 11:48:19 +0200
  • 78c8acec0f extract.sh: reproducible CurveSig glue stanza (sha512_hash3 recipe) mrwulf 2026-07-04 22:49:18 +0200
  • f544b64e95 THE SIGNATURE APEX on the risc0 fork: verify_accepts_iff, button-enforced mrwulf 2026-07-04 22:35:20 +0200
  • 50b1e2e8ee Merge scalar into CurveField: one type universe, serial-only backend mrwulf 2026-07-04 21:58:33 +0200
  • af3ec18fc0 NAF encoder proven end-to-end + the phase-1 double-scalar-mul apex mrwulf 2026-07-04 16:52:08 +0200
  • eb167a12fe Double-scalar-mul proof campaign, bricks 1-3: table, digit step, loop mrwulf 2026-07-04 15:07:57 +0200
  • f56f11df65 Double-scalar-mul enters the verified model: vartime_double_base extracted transparently mrwulf 2026-07-04 12:20:37 +0200
  • 0b1fa12e15 Hash-to-scalar PROVEN: from_bytes_wide_spec - Scalar::from_hash's reduction is exact mod l mrwulf 2026-07-04 11:00:50 +0200
  • a691a39426 Signature layer: the 64-byte unpack certificates (8x8 loops proven) mrwulf 2026-07-04 03:22:28 +0200
  • 84da3793db Signature layer, first bricks: canonicity closure + hash-to-scalar foundation mrwulf 2026-07-03 23:18:32 +0200
  • 82ee511277 Scalar layer complete: Montgomery reduction + full mul ported, scalarImplementation aggregate mrwulf 2026-07-03 21:46:39 +0200
  • 49a68688c9 scalar layer: add+sub fully proven mod l against THIS fork's v4 extraction saymrwulf 2026-07-03 18:45:16 +0200
  • aa5b88abc7 lean-guard 3b: global-headroom clamp (sync with control master) saymrwulf 2026-07-03 17:51:16 +0200
  • 246fc61d9e coherence pass 2: restore the one-button property, institutionalize audits saymrwulf 2026-07-03 12:54:28 +0200
  • 661e8c4c8f coherence pass 1: TRUSTED-BASE scalar notes + both check-button docs mrwulf 2026-07-02 23:58:31 +0200
  • 6fe31be80d Add scalar-layer foundation (Scalar52 arithmetic mod ℓ) mrwulf 2026-07-02 21:24:39 +0200
  • d3f7359832 group-law layer: complete twisted Edwards addition law proven mrwulf 2026-07-02 16:49:31 +0200
  • 681399d0de lean-guard: disable core dumps (no more apport popups on capped aborts) mrwulf 2026-07-02 16:23:30 +0200
  • 59ab518093 field layer: proofs pass, fieldImplementation axiom-clean mrwulf 2026-07-02 14:38:52 +0200
  • ee0fe08ae8 skeleton: proof-pyramid layout, honest status table, trusted-base doc mrwulf 2026-07-02 13:10:26 +0200