ChainCatcher 消息，Vitalik Buterin 撰文介紹二進制字段的高效證明"Binius"，並預計未來幾個月基於二進制字段的證明技術會有更多改進。據悉，Binius 使用了許多數學技巧，使其與三年前的 SNARK 和 STARK 截然不同。Vitalik Buterin 還介紹了小字段使證明生成更高效的原因、二進制字段具有獨特強大功能的原因，以及 Binius 用於使二進制字段的證明能夠有效地工作的技巧。

ChainCatcher 消息，零知識證明加速平台 Ulvetanna 發布名為《Binius：硬體優化的 SNARK》研究論文，展示了一種基於二進制字段的 SNARK 性能優化構建方法，並闡述其能在現實世界 ZKP 生成過程中能夠帶來的性能提升。此外，團隊正在致力於該系統的 Rust 實現方法（名為 Binius）