zk-SNARK

Ein zk-SNARK ist ein Zero-Knowledge-Beweis, der kompakt und nicht-interaktiv ist: Der Beweis ist sehr klein und schnell prüfbar, und der Beweisende schickt ihn einmal, ohne Hin und Her. Diese Kombination macht zk-SNARKs auf Blockchains praktikabel, wo jeder Prüfer für Rechenaufwand zahlt; mehrere Privacy-Coins und ZK-Rollups bauen darauf auf. Der historische Nachteil ist das Trusted Setup – eine einmalige Zeremonie, die öffentliche Parameter erzeugt und geheime Reste hinterlässt, oft Toxic Waste genannt, die vernichtet werden müssen, weil man mit ihnen Beweise fälschen könnte. Mehrparteien-Zeremonien senken das Risiko, da ein ehrlicher Teilnehmer genügt. zk-SNARKs beruhen zudem auf Annahmen zu elliptischen Kurven, die nicht als quantensicher gelten.