Executable soundness analysis for Parano1d production proof parameters, with theorem-backed bounds and reproducible industry-metric comparisons.
rust cryptography reproducible-research security-analysis gkr fri zero-knowledge-proofs soundness cryptographic-proofs proof-systems binary-fields interactive-oracle-proofs basefold parano1d
-
Updated
Aug 30, 2026 - TypeScript