Litcius/Paper detail

$$\textsf{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

2023Lecture notes in computer science12 citationsDOI

Topics & Concepts

Gas meter proverMathematical proofConstant (computer programming)Square rootComputer scienceDiscrete mathematicsMathematicsPolynomialAlgorithmGeometryMathematical analysisProgramming languageCryptography and Data SecuritySecurity and Verification in ComputingCryptographic Implementations and Security
$\textsf{Testudo}$: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup | Litcius