9 citations · 43 across the 13 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 8 cited
Formal Verification of Zero-Knowledge Circuits
Alessandro Coglio, Eric McCarthy, Eric W. Smith
Zero-knowledge circuits are sets of equality constraints over arithmetic expressions interpreted in a prime field; they are used to encode computations in cryptographic zero-knowle…
cs.LO2023
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications
Alessandro Coglio, Sol Swords
This volume contains the proceedings of the Eighteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2023), a two-day workshop held at the University…