Logo
    📖

    Research

    Research Projects

    Vector Commitments

    📏Vector Commitment Research Overview💾Big Data, Small ComputationsMuppets: Maintainable Updatable Tree-based Vector CommitmentsMuppets: Maintainable Updatable Tree-based Vector Commitments

    Caulk: Lookup Arguments in Sublinear TimeCaulk: 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

    CryptoNet is a Protocol Labs initiative.