Login / Signup
Mara Mihali
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Theorem Prover
Distance Measure
Square Root
Particle Filter
Top Venues
IACR Cryptol. ePrint Arch.
LATINCRYPT
</>
Publications
</>
Matteo Campanelli
,
Nicolas Gailly
,
Rosario Gennaro
,
Philipp Jovanovic
,
Mara Mihali
,
Justin Thaler
sfTestudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup.
LATINCRYPT
(2023)
Matteo Campanelli
,
Nicolas Gailly
,
Rosario Gennaro
,
Philipp Jovanovic
,
Mara Mihali
,
Justin Thaler
Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup.
IACR Cryptol. ePrint Arch.
2023 (2023)