イーサリアムのメトロポリスハードフォークの一環として、2番目に大きな暗号侵害が匿名性を高めるように設定されました。待望のアップグレードの最初の部分であるByzantiumは、最近testnetで公開され、Zcashトランザクションの一部が検証され、すべてを現実に近づけました。
この発表は、Solidityプログラミング言語の共同制作者であるChristian ReitweissnerのRedditに掲載されました。
クリスチャン・ライトウェイスナー（Christian Reitweissner）
"ここで検証されるのは、実際のzCashネットワーク上の実際のトランザクションのzkSNARK部分です。私は1月ごろ、チェーンからデータを引き出しました。私は誰がトランザクションを作成したのか、その中にどれだけの金額が送られているのかは分かりませんが、Ethereumのネットワークはそれが正しいことを知っています:-) "
zkSNARKは、知識のゼロ知識ではなく非対話的な引数であり、検証された部分でした。そのデータが何であるかを明らかにすることなく、データが有効であることを証明するために使用されます。
zkSNARKはプライバシー中心のZcashネットワークで知られ、使用されています.EthereumのByzantiumの確認は実験の一部に過ぎませんが、それを念頭に置くことは重要です。
しかし、Bas van KervelのThe Registerへの言葉によれば、zkSNARKは純粋なスマートコントラクトで実装されているかどうかを検証するために計算上重いので、最適化が必要です。
事実、検証された取引はテストネット上で見ることができ、総額は1,933,095ガスであり、大部分の取引費用は約21,000ガスであるので、莫大な費用である。
Reitweissnerは、コードが「むしろ最適化されていない」ことを明らかにし、さまざまなzkSNARKトランザクションを1つのEthereumトランザクションで検証できることを明らかにしました。
彼は言いました：
zkSNARKの検証コストは、zkSNARKで行われる計算量とはほとんど関係ないことにも注意してください。つまり、10000個のzkトランザクションをバンドルし、それらを単一のEthereumトランザクションで検証することができます。
zkSNARKsの利点を考えると、それらをEthereumに結びつけるいくつかの提案が過去になされている。Byzantiumの開発は、メインネット上でこの種の検証を可能にするより多くの技術を導入することになっています。
Ethereumのハードフォークは、匿名性の向上以外にも重要なアップグレードを可能にするように設定されています。たとえば、スマートコントラクトの作成が容易になり、秘密鍵を持つアドレスをユーザーが判断できるようにすることで、セキュリティが向上するはずです。
クリプトコランクレンシーがPoS（proof-of-stake）への移行の一環として、困難な爆弾として知られ、マイニングをより困難にするものも含まれています。