zk-STARK

Een zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) is een type zero-knowledge proof dat diverse voordelen biedt ten opzichte van zk-SNARK's. STARK's vereisen geen trusted setup-ceremonie, waardoor ze transparanter en beter bestand zijn tegen bepaalde aanvallen. Ze zijn ook kwantumbestendig, wat betekent dat ze veilig blijven zelfs tegen toekomstige kwantumcomputers. STARK-bewijzen zijn echter groter dan SNARK-bewijzen en vereisen meer on-chain opslag. StarkNet en StarkEx zijn prominente implementaties die zk-STARK's gebruiken voor Layer 2 scaling.