Research Projects
Vector Commitments
Vector Commitment Research OverviewBig Data, Small Computations
Muppets: Maintainable Updatable Tree-based Vector Commitments
Private Decentralized Networks
Privacy-Preserving Content RoutingSNARKS
SNARK Research OverviewTestudo SNARKLookup SNARK (for SHA)
SnarkPack: Practical Groth16 Aggregation
Proof of Space
Proof of Space ExplorationSeal-Stack Attack and Dynamic PoRep Rational Proofs for Proofs of Space and BeyondReading 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 |