Entry № 1411
zk-STARK
zk-STARK 是什么?
zk-STARK零知识可扩展透明知识论证:无需可信设置、仅依赖抗碰撞哈希函数,被认为对量子攻击具有抵抗力的零知识证明系统。
zk-STARK(Zero-Knowledge Scalable Transparent Argument of Knowledge)是一类非交互式零知识证明系统,其安全性仅依赖抗碰撞哈希函数和信息论技术(FRI、AIR、低度测试)。与 zk-SNARK 不同,STARK 不需要可信设置("透明"),证明者运行时间近似线性扩展,并被认为可抵御量子攻击。代价是证明体积大得多,通常在数十到数百千字节之间,但验证仍可保持多对数复杂度。zk-STARK 是 Starknet 等 Layer-2 rollup 的核心,也支持链下负载与机器学习推理的可验证计算服务。
● 示例
- 01
Starknet 使用 zk-STARK 向以太坊证明链下交易批次的正确性。
- 02
可验证机器学习服务,用于证明模型在不泄露输入的情况下产生了特定输出。
● 常见问题
zk-STARK 是什么?
零知识可扩展透明知识论证:无需可信设置、仅依赖抗碰撞哈希函数,被认为对量子攻击具有抵抗力的零知识证明系统。 它属于网络安全的 密码学 分类。
zk-STARK 是什么意思?
零知识可扩展透明知识论证:无需可信设置、仅依赖抗碰撞哈希函数,被认为对量子攻击具有抵抗力的零知识证明系统。
如何防御 zk-STARK?
针对 zk-STARK 的防御通常结合技术控制与运营实践,详见上方完整定义。
zk-STARK 还有哪些其他名称?
常见的别称包括: STARK, 可扩展透明知识论证。