📖

Research

Research Projects

Vector Commitments

📏Vector Commitment Research Overview 💾Big Data, Small Computations

Muppets: Maintainable Updatable Tree-based Vector Commitments

Muppets: Maintainable Updatable Tree-based Vector Commitments

Caulk: Lookup Arguments in Sublinear Time

Private Decentralized Networks

🌐Privacy-Preserving Content Routing

SNARKS

🩳SNARK Research Overview 🛡️Testudo SNARK

🔍Lookup SNARK (for SHA)

🎒SnarkPack: Practical Groth16 Aggregation

Proof of Space

🔭Proof of Space Exploration 🤡Seal-Stack Attack and Dynamic PoRep 🎲Rational Proofs for Proofs of Space and Beyond

Reading Club

📚Reading Club

Research 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
Witness Encryption for Succinct Functional Commitments and Applications	Matteo Campanelli Dario Fiore Hamidreza Khoshakhlagh	ia.cr/2022/1510
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

‣

2021

Name	Authors	URL	Conference	Talk
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
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

‣

2020

Name	Authors	URL	Conference	Talk
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
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

‣

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

Academic service

Conference	Committee Member
ACM CCS 2024	Anca Nitulescu
DLT 2023	Matteo Campanelli
CIFRIS 2023	Matteo Campanelli
Asiacrypt 2023	Anca Nitulescu, Matteo Campanelli
Latincrypt 2023	Anca Nitulescu
ACM CCS 2023	Anca Nitulescu, Matteo Campanelli
ACNS 2023	Matteo Campanelli
CT-RSA 2023	Anca Nitulescu
Financial Crypto 2023	Anca Nitulescu, Rosario Gennaro
Crypto 2023	Rosario Gennaro
Eurocrypt 2023	Rosario Gennaro
ACM CCS 2022	Anca Nitulescu, Rosario Gennaro
ACNS 2022	Matteo Campanelli
Africacrypt 2022	Anca Nitulescu
Usenix Security 2022	Irene Giacomelli
Crypto 2022	Rosario Gennaro
Blockchain 22 (workshop)	Luca Nizzardo

Events

Event	Dates	Location
Vector Commitment Day	March 25th, 2022	remote event
Crypto Frontier II	May 30th, 2022	EUROCRYPT 2022