SNARKsとSTARKs、神秘性なしで。 SNARKには信頼できるセットアップが必要です：秘密のランダム性「有毒廃棄物」を生成する一度限りの儀式で、その後これを破壊しなければなりません。1つでもコピーが残れば、証明を偽造できます。 最初の時代の主要なZKロールアップ、zkSync Era、Scroll、Polygon zkEVMはすべてSNARKベースの証明を採用しました。すべてが、信頼する必要のあるセットアップ儀式を実施しました。マルチパーティの儀式はリスクを分散させます（「参加者の1人が正直であれば安全」）。しかし、この前提は常に残ります。 STARKには儀式は必要ありません。有毒廃棄物も、破壊すべきものも、信頼すべきものも一切ありません。 セキュリティは衝突耐性を持つハッシュ関数に帰着します。これは、あなたのウォレットがすでに依存しているのと同じプリミティブです。また、楕円曲線ペアリングが関与しないため、STARKは量子耐性である可能性があります。 SNARKが最初の時代で勝った正直な理由：証明が小さく、Ethereumでの検証コストが低いからです。 Midenの仮定：検証は結局あなたのデバイスで行われるため、証明のサイズはほとんど問題にならず、信頼前提が重要になります。 あらゆるZKシステムに問うべき1つの質問：その証明には何を信頼する必要があるか？答えに儀式が含まれるなら、あなたは数学ではなく人間を信頼しているのです。 @0xMiden VMはSTARKベースです。あなたが信頼するのはハッシュ関数だけです。それがすべてです。