SHA256は暗号資産の至る所にありますが、zk回路内では最大のボトルネックの一つとなります。 ほとんどの実装は大きなコストを伴います。なぜならSHA256は回線対応を意図して設計されていないからです。 @0xrosetteeeeの最新記事では、R1CSでSHA256を大幅に安くする方法を探っています。 主な考え方: • ビット単位演算のためのスプレッドベース符号化 ・動的ビット幅最適化 ・単一制約多オペランド追加 ・LogUpのバッチ作成とマイクロ最適化 この設計は、既存のオープンソース実装の中でR1CSにおいて最先端のSHA256圧縮を実現しています。 これは特に、証人サイズがメモリ使用に直接影響するモバイル証明環境で重要です。 詳細解析 ↓