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 の導入はいくつかの問題を解決する可能性があります。Sierra は Casm と Starknet の間に配置され、無効なトランザクションの安全機構を簡単に実現できます。
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 を使用して操作する方法を示しました。
- 1 年前のノードと現在のノードが同じであることを証明するために 2 つの証明が必要です。