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

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