Logo
    📄

    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

    CryptoNet is a Protocol Labs initiative.