Repositories Users Organizations
Filter
Sort
saymrwulf/ 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-09-04 03:00:03 +00:00
saymrwulf/ anza-cryptography-source
Rust 0 0
Patched source for Aeneas/Charon formal verification transpilation
Updated 2026-07-05 23:41:56 +00:00
saymrwulf/ betrusted-curve25519-dalek-source
Rust 0 0
Patched source for Aeneas/Charon formal verification transpilation
Updated 2026-07-05 23:41:55 +00:00
saymrwulf/ risc0-curve25519-dalek-source
Rust 0 0
Patched source for Aeneas/Charon formal verification transpilation
Updated 2026-07-05 23:41:54 +00:00
saymrwulf/ curve25519-dalek-source
Rust 0 0
Patched source for Aeneas/Charon formal verification transpilation
Updated 2026-07-05 15:40:43 +00:00
saymrwulf/ pasta_curves-source
Rust 0 0
Pasta curves (Pallas/Vesta) — formal verification source
Updated 2026-07-02 14:53:27 +00:00
saymrwulf/ xous-core
Rust 0 0
Xous SDK (pinned for betrusted transpilation)
Updated 2026-06-30 15:44:31 +00:00
saymrwulf/ 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