Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs

DOI10.1007/S10703-025-00476-3MaRDI QIDQ6903893zbMATH OpenFDO

Authors Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark Barrett

Publication date 7 November 2025

Published in Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

verificationfinite fieldsSMTcompilerszero-knowledge proofs

Mathematics Subject Classification ID

Cryptography (94A60) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6903893)