Bitlayer Research:Binius STARKs原理解析与优化思考
作者:mutourend & lynndell 1. 引言 区别于基于椭圆曲线的SNARKs,可将STARKs看成是hash-based SNARKs。当前STARKs效率低下的一个主要原因是:实际程序中的大多数数值都较小,如for循环中的索引、真假值、计数器等。然而,为了确保基于Merkle树证明的安全性,使用Reed-Solomon编码对数据进行扩展时,许多额外的冗余值会占据整个域
网络安全
2025-10-29
9 阅读