Stark 改造 Bitcoin ***#
Starkware 会議での Lightning Labs の CTO のスピーチでは、次の方向性が大まかに述べられました。
- 軽量ノード: Stark プルーフを使用してブロックヘッダの状態を同期させる。
- フルノード: UTXO の状態を有効性の証明に使用する。
- utreexo: UTXO の状態を新しい形式で表現し、全体の UTXO 状態を参照する必要がなくなる（5GB）。
- utreexo のルートと最終状態が与えられれば、入力されたブロックを検証できる。
- 最終的には、Cairo を使用して完全な Bitcoin Script VM を実装する必要がある。
- Taro や Bitcoin チェーン上の資産証明など、他の方向性も組み合わせる。
Sierra Cairo1.0 の安全な中間表現#
- 開発者は Cairo を使用してスマートコントラクトを開発し、それを Casm（アセンブリコード）にコンパイルして StarkNet にデプロイする。
- ユーザーがコントラクトの関数を呼び出す際には、トランザクションに署名する必要があり、Starknet のオーダラーがこのトランザクションを実行する。ブロックにこのトランザクションが含まれている場合、オーダラーは手数料を得るが、ユーザーが残高以上の資金を入金しようとすると、アサーションが失敗し、オーダラーはこのトランザクションに対して報酬を得ることなく作業することになる。
- Ethereum では、トランザクションが失敗してもブロックに含めることができるが、StarkNet ではこのようなトランザクションは未解決のままであり、Cairo は有効な宣言のみが証明されるという利点がある。ただし、いくつかの理由から、いくつかの不適切なプロセスが発生する可能性があるため、Sierra の導入により、無効なトランザクションの包括的なセキュリティメカニズムが容易に実現できる。
Pyth プロフェシー・オラクル#
Pyth は他のオラクルとは異なり、第一手のデータプロバイダからの情報を提供し、信頼区間を提供し、新しいポーリングモデルを採用しています。
- Pyth は 75 以上の異なる市場データプロバイダから情報を提供し、前回の実行を防ぐために価格情報を提供します。
- Pyth は 190 種類以上の価格情報をサポートし、暗号通貨、株式、外国為替、金属などのさまざまな領域をカバーします。
- 会社の信頼区間アプリケーションにより、悪意のあるデータプロバイダの報告を防ぎます。
- 提供者の価格の信頼度に応じて最終的な変動があります。
- 異なる精度のデータを集約して現在の価格をより正確に反映します。
Revelator チェーン上の音楽#
- Wasabi Lab は、音楽業界で使用できる「チェーン」ベースの新しいツールを開発しました。
- 音楽は、構造、メロディなどの不変の要素と、BPM、キー、速度などの可変の要素からなる JSON オブジェクトとして表現できます。
- JavaScript は JSON ファイルをスマートコントラクトに変換し、ユーザーにさまざまな MIDI 操作を提供します。
- 「チェーン」上の音楽を活用することで、アーティストに専用の曲を作成し、多くのゲームシナリオを派生させることができます。
- Casey Westcott を例に挙げると、「チェーン」上の音楽を活用したゲームを開発しました。
- 将来的には、「チェーン」上の音楽がオンライン音楽にさらなる新しい体験をもたらす可能性があります。
Herodotus ストレージプルーフ API#
- Herodotus は、ストレージプルーフのための API を提供していますが、非常にシンプルです。25 分で作成できます。
- 利点は、数学とゼロ知識を使用してデータを安全にすることで、新しいユースケースを多数作成できることです。また、ブロックチェーンを横断して過去のデータや現在のデータにアクセスできます。
- 欠点は、やや複雑でメンテナンスコストが高く、十分なドキュメントがないことです。
- Herodotus の API はデータをバッチ処理することができ、最低価格を得るための便利さがあります。
- API は状態ツリー、スマートコントラクト、およびトランザクションの証明を行うことができます。リクエストを送信するだけです。
- アカウントのリカバリーのケーススタディを示し、API を使用して操作する方法を示しています。
- 過去のノードと現在のノードが同じであることを証明するためには、2 つの証明が必要です。