📖

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 CampanelliNicolas GaillyRosario GennaroPhilipp JovanovicMara MihaliJustin Thaler	ia.cr/2023/961

‣

2022

Name	Authors	URL	Conference	Talk
Witness Encryption for Succinct Functional Commitments and Applications	Matteo CampanelliDario FioreHamidreza Khoshakhlagh	ia.cr/2022/1510
Curve Trees: Practical and Transparent Zero-Knowledge Accumulators	Matteo CampanelliMathias Hall-AndersenSimon Kamp	ia.cr/2022/756	USENIX 2023
Structure-Preserving Compilers from New Notions of Obfuscations	Matteo CampanelliDanilo FrancatiClaudio Orlandi	ia.cr/2022/732	PKC 2023
Linear-map Vector Commitments and their Practical Applications	Matteo CampanelliAnca Nitulescu Carla RàfolsAlexandros ZacharakisArantxa Zapico	ia.cr/2022/705	Asiacrypt 2022	🎥 Speaker: Arantxa Zapico
On the Impossibility of Algebraic Vector Commitments in Pairing-Free Groups	Dario CatalanoDario FioreRosario GennaroEmanuele Giunta	ia.cr/2022/696	TCC 2022
Impossibilities in Succinct Arguments: Black-box Extraction and More	Matteo CampanelliChaya GaneshHamidreza KhoshakhlaghJanno Siim	ia.cr/2022/638	Africacrypt 2023
Caulk: Lookup Arguments in Sublinear Time	Arantxa ZapicoVitalik ButerinDmitry KhovratovichMary MallerAnca Nitulescu	ia.cr/2022/621	CCS 2022	🎥 Speaker: Arantxa Zapico
Witness-Authenticated Key Exchange Revisited: Improved Models, Simpler Constructions, Extensions to Groups	Matteo CampanelliRosario GennaroKelsey MelissarisLuca 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 CampanelliFelix EngelmannClaudio Orlandi	ia.cr/2021/1678	SCN 2022
Succinct Zero-Knowledge Batch Proofs for Set Accumulators	Matteo CampanelliDario FioreSemin HanJihye KimDimitris KolonelosHyunok 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 CampanelliBernardo DavidHamidreza KhoshakhlaghAnders KonringJesper Buus Nielsen	ia.cr/2021/1423	Asiacrypt 2022
MyOPE: Malicious securitY for Oblivious Polynomial Evaluation	Malika IzabachèneAnca Nitulescu David Pointcheval	ia.cr/2021/1291	SCN 2022	🎥 Speaker: Paola de Perthuis
Count Me In! Extendability for Threshold Ring Signatures	Diego AranhaMathias Hall-AndersenAnca Nitulescu Elena PagninSophia Yakoubov	ia.cr/2021/1240	PKC 2022	🎥 Speaker: Elena Pagnin
ECLIPSE: Enhanced Compiling method for Pedersen-committed zkSNARK Engines	Matteo CampanelliDiego AranhaEmil Madsen BennedsenChaya GaneshClaudio OrlandiAkira Takahashi	ia.cr/2021/934	PKC 2022	🎥 Speaker: Matteo Campanelli
SnarkPack: Practical SNARK Aggregation	Nicolas GaillyMary MallerAnca 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 GaneshHamidreza KhoshakhlaghMarkulf KohlweissAnca 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 CampanelliMathias Hall-Andersen	ia.cr/2021/327	ASIA CCS 2022
Rinocchio: SNARKs for Ring Arithmetic	Chaya GaneshAnca Nitulescu Eduardo Soria-Vazquez	ia.cr/2021/322		🎥 Speaker: Anca Nitulescu

‣

2020

Name	Authors	URL	Conference	Talk
Subversion-resilient enhanced privacy ID	Antonio FaonioDario FioreLuca NizzardoClaudio Soriente	ia.cr/2020/1450	CT-RSA 2022
Single Secret Leader Election	Dan BonehSaba EskandarianLucjan HanzlikNicola Greco	ia.cr/2020/1450	AFT 2020
Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage	Matteo CampanelliDario FioreNicola GrecoDimitris KolonelosLuca 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 GabizonZachary J WilliamOana 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