深潮 TechFlow 消息，以太坊联合创始人Vitalik Buterin宣布，已为CUDA优化的STARK证明包zorch增加了更多M31和二进制域支持。

这一更新使得开发者现在可以使用Python编写性能合理的STARK证明代码，并在GPU上运行。

并公布Poseidon哈希函数的完整算术化过程。