Login / Signup
Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup.
Matteo Campanelli
Nicolas Gailly
Rosario Gennaro
Philipp Jovanovic
Mara Mihali
Justin Thaler
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
square root
theorem proving
distance measure
theorem prover