深潮 TechFlow 消息，以太坊聯合創始人Vitalik Buterin宣佈，已為CUDA優化的STARK證明包zorch增加了更多M31和二進制域支持。

這一更新使得開發者現在可以使用Python編寫性能合理的STARK證明代碼，並在GPU上運行。

並公佈Poseidon哈希函數的完整算術化過程。