zk-STARK

A zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) is a type of zero-knowledge proof that offers several advantages over zk-SNARKs. STARKs do not require a trusted setup ceremony, making them more transparent and resistant to certain attacks. They are also quantum-resistant, meaning they remain secure even against future quantum computers. However, STARK proofs are larger than SNARK proofs, requiring more on-chain storage. StarkNet and StarkEx are prominent implementations that use zk-STARKs for Layer 2 scaling.