CanonStarkWare
StarkWare: paper, then practice.
STARKs are proofs from hashes, without the trusted setup many SNARKs require. A proof shows the statement. It does not show the world.
Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, Michael Riabzev. 2018. Status: Design paper. Last reviewed: 1 October 2026.
- The paper. The STARK paper: proofs of computational integrity that are succinct, do not need a trusted setup, and are argued to resist quantum attackers on the underlying hashes. StarkWare's later systems, including StarkEx and Starknet, are built on this proof system. They are not identical to it.
- Zero knowledge.
- STARK and SNARK.
- Privacy shelf.
What this chain does not claim
It does not rank a network, quote a yield, or say the live client still matches the paper. The full study keeps the limits. Primary source: IACR ePrint 2018/046.