Lunar: A Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions
Matteo Campanelli, Antonio Faonio, Dario Fiore, Anaïs Querol, Hadrián Rodríguez
Topics & Concepts
CommitToolboxComputer scienceProgramming languageTheoretical computer scienceOperating systemDatabaseCryptography and Data SecuritySecurity and Verification in ComputingScientific Computing and Data Management