Skip to content
Open-Source Registry

Search 2 packages

Found
Build behaviour
Packages1–2 of 2VersionFindingsDescriptionDownloadsWhen
hekate-verifier cargo0.37.0clean Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching.55417h ago
nagi-escrow cargo0.1.1clean Dead-man memory escrow: Shamir-split secrets across owned custodians with signed shards, quorum or timed recovery, and recovery certificates — named for the…151d ago