Search 2 packages
| Packages1–2 of 2 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| hekate-verifier cargo | 0.37.0 | clean | Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching. | 554 | 17h ago |
| nagi-escrow cargo | 0.1.1 | clean | Dead-man memory escrow: Shamir-split secrets across owned custodians with signed shards, quorum or timed recovery, and recovery certificates — named for the… | 15 | 1d ago |
