STARK
Scalable Transparent ARgument of Knowledge
一种零知识证明技术，可用很小的证明验证大量计算，无需可信设置。
STARK是“可扩展透明知识论证”的英文缩写，属于零知识证明家族：证明者可以生成一份简短证明，让验证者快速确认某段计算确实正确执行。与部分其他方案相比，它不需要“可信设置”，并被认为具备抗量子特性，广泛用于以太坊扩容（如ZK Rollup）等场景。
用法示例
- 据X News，Vitalik主张由用户在本地以STARK在客户端证明，再经STARK聚合器汇总。