Michel Dellepere

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Multiagent Systems

Feature Extraction

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Michel Dellepere, Pratyush Mishra, Alireza Shirzad
Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments. IACR Cryptol. ePrint Arch. 2024 (2024)
Alessandro Coglio, Eric McCarthy, Eric Smith, Collin Chin, Pranav Gaddamadugu, Michel Dellepere
Compositional Formal Verification of Zero-Knowledge Circuits. IACR Cryptol. ePrint Arch. 2023 (2023)