‣
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 |