
いくつかのランダムな回答をチェックするだけで、全体の試験結果を確実に採点できる教師を想像してみてください。 これがStark証明の仕組みにほぼ似ています。 • 大量のトランザクションがオフチェーンで実行されます。 • それらすべてが正しく実行されたことを示す短い証明が作成されます。 • Ethereumはすべてのトランザクションを再実行するのではなく、この証明を検証するため、コストがバッチ全体で共有されます。 • 証明に必要なチェックが少ないほど、検証は小さく、安価になります。 • @Starknetは、より少ないチェックで同じセキュリティを維持する数学的アプローチを見つけるためのチャレンジを開始しました。見つかったすべての成果が報酬として付与されます。 より小さな証明、より安価な検証、より大きなスケーリングの余地




