starkware2023 大会前の数週間は非常に活気がありましたが、今月はようやく時間を作って整理することができます。私はいくつかのエピソードに分けて皆さんに紹介します。純粋な情報を提供します!
Empiric Network のオラクル **#
Empiric Network は、StarkNet を利用してより優れたオラクルを構築します。
・現在、ほとんどのオラクルはオフチェーンネットワークであり、最終結果のみを伝えることができ、データのソースや計算方法を検証することはできません。
・新しい有効な証明ツールを使用して、より優れたオラクルを構築するために登場します。これらのツールはパフォーマンスが良く、セキュリティが高いです。
・Empiric Network は StarkNet 上に構築され、10 ヶ月以上の間、最高のブロックチェーン供給アプリケーションを提供しています。
・理想的なオラクルを構築するためには、データのソースを検証するだけでなく、データの混合と高頻度の更新も実現する必要があります。
Empiric は 2 番目のバージョンをリリースします。これは starknet の L3 です。L3 ではネットワークの頻度や更新頻度、データソースを制御できるため、システムとのマルチチェーンの相互作用方法について考える必要があります。基本的には、第 3 層で所有するデータを他のどのチェーンにもアップロードすることができます。なぜなら、ストレージの証明があるからです。これは substrate の上に構築され、substrate に Cairo VM を追加する必要があります。これにより、Cairo を使用してスマートコントラクトをデプロイし、starknet で検証することができます。
・Ethereum ブロックチェーンはオラクルに透明性、検証性、組み合わせ性を提供できます。
・Empiric Network はさまざまなタイプのデータフローを構築しています。
switchboard オラクルプロトコル *#
switchboard は、事前の許可なしに開発者がカスタマイズ可能で複数のチェーンに対応したオラクルプロトコルを提供します。
開発者は、このプロトコルを使用して為替レート、スポーツデータ、NFT の価格などのデータフィードを構築することができます。
switchboard のアーキテクチャには、Oracle Job、Data Feed、Oracle、Crane が含まれており、それぞれジョブの設定、データの構成、データの取得、タスクのスケジューリングを担当しています。
・Oracle Job は、開発者が設計したテンプレートを使用して情報を取得し、流動性を作り出すためのものです。
・Data Feed は、オラクルの実行サービスを支払うための資金を提供します。
・Oracle 内部には、リソースの取得とネットワーク内の異なるマシンの割り当てを管理するためのコンテナがあります。
MPC ウォレット *#
- Dima Kogan が MPC ウォレットを紹介しています。このウォレットは組織やグループが共同で使用し、すべてのトランザクションがすべての人の承認を得ることを保証します。
- 私たちは、DeFi(分散型ファイナンス)向けの機関向け MPC ウォレットを構築しています。このウォレットは EVM および Non-EVM のチェーンをサポートし、より意味のある取引環境情報を追加することで不適切な取引を効果的に防止します。
- Starkware が開発した Dapps は、楕円曲線の ECDSA 署名方式を使用していますが、これらの標準的なウォレット(MetaMask や Ledger など)はサポートしていません。
- 私たちが開発している機関向け MPC ウォレットは、DeFi、L1 Ethereum ウォレット、ブラウザ拡張機能、API をサポートし、さまざまな顧客のニーズに対応します。
Heardotus、再帰的な証明チェーンデータ#
・Heardotus を紹介します。これはストレージ証明とゼロ知識証明を組み合わせて、クロスチェーンまたは複数のチェーンでの過去データと現在データへのアクセスを可能にします。
・Bitcoin は、親ハッシュから創世ブロックまで遡ることができるチェーンの特性を最初に提案しました。
・証明自体も計算に使用することができるため、この再帰的な証明の概念が生まれました。
・証明自体の計算コストは検証自体の計算コストよりも小さいため、ゼロ知識証明が採用されました。
・ゼロ知識証明にはプライバシーの特性があり、計算を完了した方のみがプライベートな入力を知ることができます。
・ブロックチェーン全体を証明するために、単一のブロックから創世ブロックまで遡ることができます。
・再帰的な証明により、小さくて高速な証明が生成され、検証の効率が大幅に向上します。