Write and audit cryptographic protocol proofs and theorem drafts. Use when checking soundness, knowledge soundness, zero-knowledge, Fiat-Shamir security, extractor or simulator design, hidden model assumptions, reduction structure, bad-event bookkeeping, or theorem/proof overclaim.
Write and audit cryptographic protocol proofs and theorem drafts. Use when checking soundness, knowledge soundness, zero-knowledge, Fiat-Shamir security, extractor or simulator design, hidden model assumptions, reduction structure, bad-event bookkeeping, or theorem/proof overclaim.
This entry publishes no npm package, so Forge has no dependency tree for it. That is a gap in coverage — not a statement that it has no dependencies.