📄

Papers

‣

2023

Name	Authors	URL	Conference	Talk
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	ia.cr/2023/961

‣

2022

Name	Authors	URL	Conference	Talk
Curve Trees: Practical and Transparent Zero-Knowledge Accumulators	Matteo Campanelli Mathias Hall-Andersen Simon Kamp	ia.cr/2022/756	USENIX 2023
Structure-Preserving Compilers from New Notions of Obfuscations	Matteo Campanelli Danilo Francati Claudio Orlandi	ia.cr/2022/732	PKC 2023
Linear-map Vector Commitments and their Practical Applications	Matteo Campanelli Anca Nitulescu Carla Ràfols Alexandros Zacharakis Arantxa Zapico	ia.cr/2022/705	Asiacrypt 2022	🎥 Speaker: Arantxa Zapico
On the Impossibility of Algebraic Vector Commitments in Pairing-Free Groups	Dario Catalano Dario Fiore Rosario Gennaro Emanuele Giunta	ia.cr/2022/696	TCC 2022
Impossibilities in Succinct Arguments: Black-box Extraction and More	Matteo Campanelli Chaya Ganesh Hamidreza Khoshakhlagh Janno Siim	ia.cr/2022/638	Africacrypt 2023
Caulk: Lookup Arguments in Sublinear Time	Arantxa Zapico Vitalik Buterin Dmitry Khovratovich Mary Maller Anca Nitulescu	ia.cr/2022/621	CCS 2022	🎥 Speaker: Arantxa Zapico
Witness-Authenticated Key Exchange Revisited: Improved Models, Simpler Constructions, Extensions to Groups	Matteo Campanelli Rosario Gennaro Kelsey Melissaris Luca Nizzardo	ia.cr/2022/382	Financial Crypto 2023
Witness Encryption for Succinct Functional Commitments and Applications	Matteo Campanelli Dario Fiore Hamidreza Khoshakhlagh	ia.cr/2022/1510

‣

2021

Name	Authors	URL	Conference	Talk
ECLIPSE: Enhanced Compiling method for Pedersen-committed zkSNARK Engines	Matteo Campanelli Diego Aranha Emil Madsen Bennedsen Chaya Ganesh Claudio Orlandi Akira Takahashi	ia.cr/2021/934	PKC 2022	🎥 Speaker: Matteo Campanelli
SnarkPack: Practical SNARK Aggregation	Nicolas Gailly Mary Maller Anca Nitulescu	ia.cr/2021/529	Financial Crypto 2022Real World Crypto 2022	🎥 Speaker: Anca Nitulescu, RWC talk, FC talk
What Makes Fiat--Shamir zkSNARKs (Updatable SRS) Simulation Extractable?	Chaya Ganesh Hamidreza Khoshakhlagh Markulf Kohlweiss Anca Nitulescu Michał Zając	ia.cr/2021/511	SCN 2022	🎥 Speaker: Chaya Ganesh
Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets from Well-Studied Assumptions	Matteo Campanelli Mathias Hall-Andersen	ia.cr/2021/327	ASIA CCS 2022
Rinocchio: SNARKs for Ring Arithmetic	Chaya Ganesh Anca Nitulescu Eduardo Soria-Vazquez	ia.cr/2021/322		🎥 Speaker: Anca Nitulescu
Zero-Knowledge for Homomorphic Key-Value Commitments with Applications to Privacy-Preserving Ledgers	Matteo Campanelli Felix Engelmann Claudio Orlandi	ia.cr/2021/1678	SCN 2022
Succinct Zero-Knowledge Batch Proofs for Set Accumulators	Matteo Campanelli Dario Fiore Semin Han Jihye Kim Dimitris Kolonelos Hyunok Oh	ia.cr/2021/1672	CCS 2022	🎥 Speaker: Dario Fiore
Encryption to the Future: A Paradigm for Sending Secret Messages to Future (Anonymous) Committees	Matteo Campanelli Bernardo David Hamidreza Khoshakhlagh Anders Konring Jesper Buus Nielsen	ia.cr/2021/1423	Asiacrypt 2022
MyOPE: Malicious securitY for Oblivious Polynomial Evaluation	Malika Izabachène Anca Nitulescu David Pointcheval	ia.cr/2021/1291	SCN 2022	🎥 Speaker: Paola de Perthuis
Count Me In! Extendability for Threshold Ring Signatures	Diego Aranha Mathias Hall-Andersen Anca Nitulescu Elena Pagnin Sophia Yakoubov	ia.cr/2021/1240	PKC 2022	🎥 Speaker: Elena Pagnin

‣

2020

Name	Authors	URL	Conference	Talk
Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage	Matteo Campanelli Dario Fiore Nicola Greco Dimitris Kolonelos Luca Nizzardo	ia.cr/2020/149	ASIACRYPT 2020
Subversion-resilient enhanced privacy ID	Antonio Faonio Dario Fiore Luca Nizzardo Claudio Soriente	ia.cr/2020/1450	CT-RSA 2022
Single Secret Leader Election	Dan Boneh Saba Eskandarian Lucjan Hanzlik Nicola Greco	ia.cr/2020/1450	AFT 2020

‣

2019

Name	Authors	URL	Conference	Talk
PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge	Ariel Gabizon Zachary J William Oana Ciobotaru	ia.cr/2019/953