Login / Signup
sfTestudo: 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:
LATINCRYPT (2023)
Keyphrases
</>
square root
similarity measure
probability distribution
particle filter
theorem prover