Login / Signup

sfTestudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup.

Matteo CampanelliNicolas GaillyRosario GennaroPhilipp JovanovicMara MihaliJustin Thaler
Published in: LATINCRYPT (2023)
Keyphrases
  • square root
  • similarity measure
  • probability distribution
  • particle filter
  • theorem prover