Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems

Plonkish is a popular circuit format for developing zero-knowledge proof systems that powers a number of major projects in the blockchain space, responsible for holding billions of dollars and processing millions of transactions per day. These projects, including zero-knowledge rollups, rely on high...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Stronati, Marco, Firsov, Denis, Locascio, Antonio, Livshits, Benjamin
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Cryptography and Security
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!