- ヴィタリク・ブテリンは、Ethereumがより高速な汎用STARKシステムを模索する中で、Poseidonがプライバシー証明において果たす役割を称賛しました。
- Binary-field SNARKsにより、SHA2およびBLAKE2sを証明内に実用的に組み込むことが可能になり、Poseidonの以前の優位性を縮小します。
- Ethereumは2027年に本番対応のleanVMを目標としており、2028年にはより広範なコンセンサスおよび実行デプロイが続く可能性があります。
Ethereumの暗号化計画は、新しい証明システムにより従来のハッシュがEthereumのL1にとってより実用的になっているため、移行しています。Vitalik ButerinはPoseidonの過去の価値を称賛しました一方で、Bitcoinセキュリティ研究者のJustin Drakeは、Ethereum財団がSHAまたはBLAKEに向かって移行していると述べました。Drakeは、この変更をより高速なバイナリフィールドSNARKsと耐量子計算研究と関連付けました。
ポセイドンのEthereumにおける役割
Buterinは、Poseidonハッシュの開発には数年の労力が費やされたと述べました。彼は、Poseidonがプライバシープロトコル向けの高速なクライアントサイドSNARK生成を可能にしたと述べました。
しかし、ブテリンは汎用のSTARKsにおける進展を強調しました。彼は、現在のシステムが中程度の三位数のオーバーヘッドで広範なバッチ処理を証明できていると述べ、これがまもなく两位数以下にまで達する可能性があると加えました。
ドレイクは、ポセイドンの開発を8桁の資金支援を受けた8年間の取り組みと説明した。彼は、Ethereum Foundationが2018年にSNARK対応ハッシュの研究を開始したと述べ、ポセイドンは2019年に登場し、その後zkrollupsおよびzkVMsをサポートした。
バイナリフィールドがゲームチェンジャーとなる
ドレイクは、新しいSNARK設計では、SNARK対応関数ではなく従来のハッシュ関数を使用できると述べました。彼は、現在PoseidonとSNARK内で同等の性能を発揮できる例として、SHA2とBLAKE2sを挙げました。ドレイクによると、バイナリフィールドは素数2を使用し、従来のハッシュ操作と適合します。
彼は、ビット操作により多くの作業を要する大きな素数体とそれらを対比した。ドレイクは、ラップトップで1秒間に100万回のハッシュ呼び出しを証明できることを述べた。彼は、ネイティブなCPUブール演算に比べて約100倍のオーバーヘッドがあると推定した。
Ethereumのポスト量子ロードマップ
ドレイクは2023年にジムとベンをBiniusの功労者として称え、6月にはロン、ベネディクト、ウィリアムをFlockの功労者として称えた。彼はエミールとトーマスがバイナリフィールドシステムを開発していると述べ、ロードマップでは2027年までに本番対応の軽量VMを実現することを目標としている。
ドレイクは、コンセンサス、データ可用性、実行層の展開は2028年に続く可能性があると述べた。また、格子ベースのHAWKと同種写像ベースのSQIsignに関する遅延にも言及した。彼は、両者がNISTのラウンド3署名スキームに含まれていたと述べた。
ドレイクは、M3 MaxでSNARK.fastが1秒あたり180万以上のBLAKE3証明を処理したことを挙げ、ECDSA.fail、zk.golf、autoresearchの取り組みを参照した。EthproofsのNo. 10はUTCで午後2時にバイナリ体に焦点を当てる。
ドレイクは、ハッシュベースの暗号化がブロックチェーンの量子耐性署名で勝利したと述べた。SNARKsは署名を1つのブロック証明に圧縮できる。彼はk-of-nしきい値と複雑なマルチシグを挙げた。