StarkWare 联创称以太坊转向 STARK 正确但表述有遗漏

StarkWare 联合创始人兼首席执行官 Eli Ben-Sasson 在 X 发文称，他认可以太坊转向 STARK（基于哈希的 SNARK）方向的决定，但认为相关表述存在两处遗漏和一处误导。

他表示，第一，STARKs 与 SNARKs 之争由来已久，相关研究此前多由 StarkWare 主导，并由以太坊基金会资助。第二，小型二进制域早在 2018 年的 ZK-STARK 论文中就已被引入 ZK 证明领域，并非由 Binius 和 Flonk 首创。

他还指出，所谓素数域 STARK，并不需要使用大素数。以 Stwo 采用的 31 位素数域 M31 为例，其效率很高。

在硬件实现层面，Eli Ben-Sasson 称，二进制域乘法在 GPU 上效率较低，而 M31 等小素数乘法效率更高，这可能会给基于二进制域构造的 GPU 方案带来难以克服的挑战。