zk-STARK

Ein zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) ist eine Art von Zero-Knowledge-Beweis, der gegenüber zk-SNARKs mehrere Vorteile bietet. STARKs benötigen keine Trusted-Setup-Zeremonie, was sie transparenter und widerstandsfähiger gegen bestimmte Angriffe macht. Sie sind zudem quantenresistent, was bedeutet, dass sie auch gegen zukünftige Quantencomputer sicher bleiben. Allerdings sind STARK-Beweise größer als SNARK-Beweise und erfordern mehr On-Chain-Speicherplatz. StarkNet und StarkEx sind prominente Implementierungen, die zk-STARKs für Layer-2-Skalierung verwenden.