1. 引言

Ulvetanna團隊Benjamin E. Diamond和Jim Posen 2023年論文《Succinct Arguments over Towers of Binary Fields》，開源代碼見：

• https://github.com/recmo/binius（Rust + Sage）【基于plonky3等庫】

在該論文中：

• 構建了基于towers of binary fields 的高效SNARK。
• 基于Brakedown進行了調整，構建了適于tiny域（包括只有2個元素的域）的multilinear多項式承諾方案。
  • 該承諾方案可treat small-field多項式 with zero embedding overhead。
• 對HyperPlonk的product和permutation check、以及Lasso的lookup，均引入了binary-field調整版本。
• binary PLONKish變種，可高效用于標準哈希函數——如Keccak-256和Gr?stl。

實際bench對比的庫為：

• https://github.com/a16z/Lasso.git
• https://github.com/0xPolygonZero/plonky2
• https://bearssl.org/