内容 イーサリアム共同創設者のヴィタリック・ブテリン氏は、ブロックのガス量に対するゼロ知識証明の生成コストに厳格な上限を設けるべきだと提案した。 背景には、ブロックの証明負荷が高くなると、証明者に高性能なハードウェアが必要となり、参加者が限定される懸念がある。 同氏は形式検証の優先課題として、仕様と実行の数学的な一致、証明コストの上限、証明システム自体の安全性を挙げた。 ZKsyncのチームは、NVIDIAのRTX PRO 6000 Blackwellを1枚使い、連続7200ブロックの99% ...