Skip to content
Vol. 1 · Ed. 2026
CyberGlossary
中文
Entry № 1270

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 的核心,也支持链下负载与机器学习推理的可验证计算服务。

● 示例

  1. 01

    Starknet 使用 zk-STARK 向以太坊证明链下交易批次的正确性。

  2. 02

    可验证机器学习服务,用于证明模型在不泄露输入的情况下产生了特定输出。

● 常见问题

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 的核心,也支持链下负载与机器学习推理的可验证计算服务。

如何防御 zk-STARK?

针对 zk-STARK 的防御通常结合技术控制与运营实践,详见上方完整定义。

zk-STARK 还有哪些其他名称?

常见的别称包括: STARK, 可扩展透明知识论证。

● 相关术语