Login / Signup
Anaïs Querol
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 4
Top Topics
Computationally Expensive
Knowledge Extraction
Theorem Prover
Expert Systems
Top Venues
IACR Cryptol. ePrint Arch.
ASIACRYPT (3)
CCS
</>
Publications
</>
Matteo Campanelli
,
Antonio Faonio
,
Dario Fiore
,
Anaïs Querol
,
Hadrián Rodríguez
Lunar: A Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions.
ASIACRYPT (3)
(2021)
Matteo Campanelli
,
Antonio Faonio
,
Dario Fiore
,
Anaïs Querol
,
Hadrián Rodríguez
Lunar: a Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions.
IACR Cryptol. ePrint Arch.
2020 (2020)
Matteo Campanelli
,
Dario Fiore
,
Anaïs Querol
LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs.
CCS
(2019)
Matteo Campanelli
,
Dario Fiore
,
Anaïs Querol
LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
2019 (2019)