Glossary
ZK-STARK
Ein kompakter Zero-Knowledge-Beweis, der kein Trusted Setup benötigt und post-quanten-sicher ist — zum Preis größerer Beweise als bei SNARKs.
STARK = Scalable Transparent ARgument of Knowledge. Sie nutzen hash-basierte Kryptografie statt Pairings, was sie transparent (kein Trusted Setup), resistent gegen Quantenangriffe und für große Berechnungen schneller im Proving macht.
Der Trade-off ist die Beweisgröße — STARKs sind größer als SNARKs, sodass die On-L1-Verifikation mehr kostet. StarkNet nutzt STARKs; zkSync und Scroll setzen auf SNARK-basierte Beweissysteme. Manche Stacks kombinieren inzwischen beides: STARK für das schwere Proving, SNARK, um das Ergebnis für L1 zu komprimieren.