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
Filter
Sort
fips205-source
Rust 0 0
Verbatim clone of integritychain/fips205 (pure-Rust FIPS 205 / SLH-DSA), pinned at 30bac08 for the SLH-DSA formal-verification campaign. Aeneas-compat patches land here as transparent commits. Independent snapshot: no affiliation with, and no changes prop
Updated 2026-07-28 12:41:01 +00:00
anza-cryptography-source
Rust 0 0
Patched source for Aeneas/Charon formal verification transpilation
Updated 2026-07-05 23:41:56 +00:00
betrusted-curve25519-dalek-source
Rust 0 0
Patched source for Aeneas/Charon formal verification transpilation
Updated 2026-07-05 23:41:55 +00:00
risc0-curve25519-dalek-source
Rust 0 0
Patched source for Aeneas/Charon formal verification transpilation
Updated 2026-07-05 23:41:54 +00:00
curve25519-dalek-source
Rust 0 0
Patched source for Aeneas/Charon formal verification transpilation
Updated 2026-07-05 15:40:43 +00:00
pasta_curves-source
Rust 0 0
Pasta curves (Pallas/Vesta) — formal verification source
Updated 2026-07-02 14:53:27 +00:00
xous-core
Rust 0 0
Xous SDK (pinned for betrusted transpilation)
Updated 2026-06-30 15:44:31 +00:00
zk-perp
Rust 0 0
Zero-Knowledge Perpetual DEX - A fully functional PoC with RISC Zero zkVM
Updated 2026-01-06 17:04:52 +00:00