スタークネットの超大国、シエラについて話しましょう。 ZKベースのブロックチェーンを構築し、一般的な計算用にZKベースのVM(Starknetのカイロのようなもの)を組み合わせると、問題に直面します。VMをどうやってブロックチェーン安全かつZKフレンドリーにするか? 問題は非決定性の問題です。説明します。 zkVMはシーケンサーやプロバーが特定のエントリを「推測」して魔法のように埋めてくると、はるかに効率的になります。 問題は、これがさまざまな攻撃の余地を生むことです。悪意のあるユーザーは簡単に推測できないトランザクションを送り、悪意のあるシーケンサーやプローバーは正しい値を推測しないことでユーザーを傷つけることもあります。 解決策は何でしょうか? - 一つの選択肢は非決定性を取り除くことです。しかし、これは効率を損なう。 - もう一つの選択肢は、ゲーム理論的手法を用いて他のシーケンサーが攻撃者を罰せつつ、一部のシーケンサーに良い取引を含めるようインセンティブを与えることです。 - 第三の選択肢は、安全な中間表現(ここではSierraと呼びます)を構築することです。 Sierraは、すべての推測が埋められるような、ちょうど良い非決定性を許容しています。 その過程で、このツールを使うことで、ガスメーターのコンパイルプロセスの一部として加えるなど、他にも面白い問題を解決できます。 概要: 最高のスマートコントラクト言語であるカイロの背後には、安全かつ効率的なブロックチェーンベースのZKを運用できる宝石のような超能力があります。 スタークネットだけ、今日の未来技術で。