根据 @VitalikButerin，他已在 vitalik.eth.limo 发布一篇 GKR 协议教程，内容定位为技术科普而非治理提案或产品公告。来源: https://twitter.com/VitalikButerin/status/1980063617002426751 https://vitalik.eth.limo/general/2025/10/19/gkr.html GKR 指 Goldwasser Kalai Rothblum 交互式证明协议，核心通过 sum check 技术高效验证分层算术电路，最早发表于 2008 年。来源: https://arxiv.org/abs/0709.0171 https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf 以太坊上的零知识 Rollup 通过简洁证明压缩链下计算以提升吞吐与降低成本。来源: https://ethereum.org/en/developers/docs/scaling/zk-rollups/ Rollup 需要把数据发布到以太坊一层并用 ETH 支付费用，这与 EIP 1559 的销毁机制和费率市场相关。来源: https://ethereum.org/en/developers/docs/scaling/rollups/ https://ethereum.org/en/developers/docs/gas/ 基于 STARK 的系统例如 Starknet 与 Immutable X 采用 StarkWare 的零知识证明技术，其生态对应可交易代币包括 STRK 与 IMX。来源: https://starkware.co/resource/what-are-starks/ https://docs.starknet.io/documentation/shared/starknet_token/ https://docs.immutable.com/docs/starkex/background/ 对交易者而言，此教程显示以太坊扩容所依赖的核心零知识构件仍在持续迭代，但本次发布未传达任何即时主网参数调整或代币机制变更。来源: https://twitter.com/VitalikButerin/status/1980063617002426751 https://vitalik.eth.limo/general/2025/10/19/gkr.html

根据 Vitalik Buterin 的说法，不同的加密选项需要进行基准测试，因为它们与特定要求仅有小的常数因子差异。他提到一项概述表明，基于 SHA256 或 BLAKE 的 STARK 需要超过 10 秒。然而，他推测使用 BLAKE3 的 STARK 可能比 SHA256 更加高效。此见解对于关注加密效率及其对区块链性能影响的交易者可能具有价值。

根据 Vitalik Buterin 的说法，zorch 库新增了对 M31 和二进制字段的支持。此更新使得能够使用 Python 编写在 GPU 上运行的高性能 STARK 证明代码。Buterin 鼓励其他人探索并利用这一新功能。