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.
Questa voce non pubblica alcun pacchetto npm, quindi Forge non ha un albero delle dipendenze per essa. È una lacuna di copertura, non l'affermazione che non abbia dipendenze.