STARKs

STARKs（Scalable Transparent Argument of Knowledge，可扩展透明知识论证）是一种无需可信设置（透明性）的零知识证明系统，具有可扩展性，能在证明者和验证者之间高效证明计算完整性，常用于区块链扩容与隐私保护场景。