saymrwulf
0 followers · 0 following
  • Zürich Metropolitan Area
  • https://blog.zkdefi.org/

  • Trust-systems engineer for institutions · PKI · HSM · PQC · Notes at blog.zkdefi.org

  • Joined on 2026-05-14
Overview Repositories
41
 Projects Packages Public activity Starred repositories
saymrwulf synced commits to master at saymrwulf/swisspost-evoting-go-poc from mirror 2026-07-07 17:05:11 +00:00
a1e4ec6ce7 Cockpit UX: auto-open browser, Replay button, graceful serialization
e8b4247089 Docs + lecture: the cockpit renders the Bayer-Groth tree live
31e9a25bb8 Cockpit MathML converter: sums, products, dots; verified in browser
c24650885e Instrument the deep Bayer-Groth layers: commitments, sub-arguments, decryption
1ad12d6c33 README: document both cockpit surfaces (browser + tmux)
Compare 10 commits »
saymrwulf synced commits to main at saymrwulf/betrusted-ed25519-verified from mirror 2026-07-07 12:45:57 +00:00
7b9ef53e48 Coherence pass 4 (the closing pass): 4-tier apex documentation + hygiene
ee52d50e20 PHASE 2 COMPLETE ON BETRUSTED: THE FULL POINT-LEVEL LIFT
c8540c3c9e THE POINT-LEVEL VERIFICATION EQUATION on the betrusted fork:
81f6590670 PHASE-2 HALF-LIFT on the betrusted fork: verify_accepts_iff_point, button-enforced
0ac1ad066a Coherence pass 3: post-apex accuracy sweep, hygiene, guard ladder
Compare 23 commits »
saymrwulf synced commits to main at saymrwulf/risc0-ed25519-verified from mirror 2026-07-07 12:45:47 +00:00
d3318b6f79 Coherence pass 4 (the closing pass): 4-tier apex documentation + hygiene
87db0f7acf PHASE 2 COMPLETE ON RISC0: THE FULL POINT-LEVEL LIFT
43e79e5d9f THE POINT-LEVEL VERIFICATION EQUATION on the risc0 fork:
07b0f46018 PHASE-2 HALF-LIFT on the risc0 fork: verify_accepts_iff_point, button-enforced
a6e32a41a6 Coherence pass 3: post-apex accuracy sweep, hygiene, guard ladder
Compare 24 commits »
saymrwulf synced commits to main at saymrwulf/anza-ed25519-verified from mirror 2026-07-07 12:45:37 +00:00
25b73f1778 Coherence pass 4 (the closing pass): 4-tier apex documentation + hygiene
c2cf269656 PHASE 2 COMPLETE ON ANZA: THE FULL POINT-LEVEL LIFT
e429447764 THE POINT-LEVEL VERIFICATION EQUATION on the anza fork:
0ae92c235b PHASE-2 HALF-LIFT on the anza fork: verify_accepts_iff_point, button-enforced
eda04cdcf9 Coherence pass 3: post-apex accuracy sweep, hygiene, guard ladder
Compare 25 commits »
saymrwulf synced commits to main at saymrwulf/dalek-ed25519-verified from mirror 2026-07-07 12:45:30 +00:00
33fb8bb231 Coherence pass 4 (the closing pass): 4-tier apex documentation + hygiene
eb2c77be09 PHASE 2 COMPLETE ON DALEK: THE FULL POINT-LEVEL LIFT
3c3283f86b Phase 2, decompress step 2: THE BYTE PARSER PROVEN (from_bytes_spec,
e17687b59f Phase 2, decompress part 2b: THE SQUARE-ROOT WALK PROVEN
32d3c05495 Phase 2, decompress part 2a: fe conditional-select + THE SQUARE-ROOT CORE
Compare 43 commits »
saymrwulf synced commits to master at saymrwulf/swisspost-evoting-go-poc from mirror 2026-07-07 04:39:27 +00:00
cad6e112e3 Docs: fix remaining stale LOC claims in index.html manual + swe title
f97d2e6351 Sync root standalone decks to updated web versions; refresh manual.html
259bcc2f1e index.html: reflect multi-party mode + updated deck metadata
3f45439dbe crypto.html: add cast-as-intended + transport-crypto slides
583d09a410 swe.html: add Part VI½ on the multi-party re-architecture
Compare 20 commits »
saymrwulf synced commits to main at saymrwulf/verifying-crypto-with-lean from mirror 2026-07-06 14:57:20 +00:00
1029f0c251 Didactic mentorship revision: the ratchet rule, stated and honored
80788af88b Accuracy sweep: bring the book to the proven four-tier apex state
Compare 2 commits »
saymrwulf synced commits to main at saymrwulf/risc0-ed25519-verified from mirror 2026-07-06 14:57:17 +00:00
98a13a6853 Coherence pass 4 (the closing pass): 4-tier apex documentation + hygiene
1a62da6d26 PHASE 2 COMPLETE ON RISC0: THE FULL POINT-LEVEL LIFT
b5fdf813a0 THE POINT-LEVEL VERIFICATION EQUATION on the risc0 fork:
Compare 3 commits »
saymrwulf synced commits to master at saymrwulf/risc0-curve25519-dalek-source from mirror 2026-07-06 14:57:13 +00:00
d58065f735 Aeneas-compat: decompress step_2 negate-then-conditional-assign
saymrwulf synced commits to main at saymrwulf/dalek-ed25519-verified from mirror 2026-07-06 14:57:00 +00:00
8ded7bcf9a Coherence pass 4 (the closing pass): 4-tier apex documentation + hygiene
ee739ed1f6 PHASE 2 COMPLETE ON DALEK: THE FULL POINT-LEVEL LIFT
f72db7d6a1 Phase 2, decompress step 2: THE BYTE PARSER PROVEN (from_bytes_spec,
0566733ca4 Phase 2, decompress part 2b: THE SQUARE-ROOT WALK PROVEN
64911dd77e Phase 2, decompress part 2a: fe conditional-select + THE SQUARE-ROOT CORE
Compare 8 commits »
saymrwulf synced commits to master at saymrwulf/curve25519-dalek-source from mirror 2026-07-06 14:56:56 +00:00
aa0f6abc32 Aeneas-compat: decompress step_2 negate-then-conditional-assign
saymrwulf synced commits to main at saymrwulf/betrusted-ed25519-verified from mirror 2026-07-06 14:56:54 +00:00
81f614a3cb Coherence pass 4 (the closing pass): 4-tier apex documentation + hygiene
8643bafe14 PHASE 2 COMPLETE ON BETRUSTED: THE FULL POINT-LEVEL LIFT
b64bff3ed4 THE POINT-LEVEL VERIFICATION EQUATION on the betrusted fork:
090410c54b PHASE-2 HALF-LIFT on the betrusted fork: verify_accepts_iff_point, button-enforced
Compare 4 commits »
saymrwulf synced commits to master at saymrwulf/betrusted-curve25519-dalek-source from mirror 2026-07-06 14:56:50 +00:00
cee0e17455 Aeneas-compat: decompress step_2 negate-then-conditional-assign
saymrwulf synced commits to main at saymrwulf/anza-ed25519-verified from mirror 2026-07-06 14:56:47 +00:00
673c15e10a Coherence pass 4 (the closing pass): 4-tier apex documentation + hygiene
6ee67c73c8 PHASE 2 COMPLETE ON ANZA: THE FULL POINT-LEVEL LIFT
537caa8155 THE POINT-LEVEL VERIFICATION EQUATION on the anza fork:
cb792f0a02 PHASE-2 HALF-LIFT on the anza fork: verify_accepts_iff_point, button-enforced
Compare 4 commits »
saymrwulf pushed to main at saymrwulf/.profile 2026-07-05 19:36:13 +00:00
e834abdf5c profile: lead with the verification identity; align disclosure with the CV page
saymrwulf synced commits to master at saymrwulf/crisis from mirror 2026-05-15 20:40:15 +00:00
0eb83d28f7 Add crisis_agents/DESIGN.md; trim README to lobby; link from parent
saymrwulf created branch main in saymrwulf/.profile 2026-05-15 15:41:39 +00:00
saymrwulf pushed to main at saymrwulf/.profile 2026-05-15 15:41:39 +00:00
0436a8ae9f Add profile README
saymrwulf created repository saymrwulf/.profile 2026-05-15 15:41:11 +00:00