starkware2023大会-2

Veritas セキュリティ会社#

2022 年は史上最大のハッカー活動の年と宣言され、攻撃者はさまざまなエコシステムを攻撃しました。
フィンリセキュリティは最先端のブロックチェーンセキュリティサービスを提供しています。
攻撃を防ぐためには、カイロ契約での脆弱性の発見と修正が必要です。
フィンリセキュリティは、ブロックチェーントランザクションの状態を特定するための V 仕様言語を提供しています。
Magi は、Cairo コードの正確性を証明するための公式の検証ツールです。
Orca は、Solidity と Cairo の契約の脆弱性を検出するためのファジングフレームワークです。
フィンリセキュリティの提供するサービスは、Cairo プログラマーがスマートコントラクトを安全にテストするのに役立ちます。

炭素排出市場#

・Guillaume のビデオをクリックして、ブロックチェーンが直面する炭素オフセット市場の課題を探りましょう。
・法的な支援を受けながら、市場は成長し、炭素クレジットの購入は 1 トンの二酸化炭素排出を相殺する結果と同等と見なされるようになりました。現在の市場規模は 500 億ドルに達すると予想されています。
・真の炭素中和の実現には、アクセシビリティの欠如、グリーンウォッシュ、投資と投資管理のためのツールの不足など、いくつかの課題が残っています。
・Carbonable は、誰もが使用できる炭素オフセットの究極のツールを作成しており、個人や企業が気候変動への取り組みに参加できるようにしています。
・グイヨームは、将来の炭素オフセット価格の激しい変動を考慮して、今投資することを提案しています。今投資することで、より多くの費用を節約できます。
・Carbonable は、よりアクセス可能なアプリケーションを構築し、グリーンウォッシュや投資管理の問題を解決しようとしています。
・彼らは炭素削減の行動のリーダーであり、人々が環境保護活動に参加できる完璧なプラットフォームを目指しています。

Starknet のインデックスグラフ#

・Jonathan Lei は zklend の共同創設者兼 CEO であり、StarkNet ベースの Rust SDK を開発しました。
・チェーンの折りたたみ処理、制約されたプログラム可能性、および新しいインフラストラクチャの管理など、いくつかの課題が存在します。
・The Graph は、GraphQL 標準に準拠した統一された API と高性能なランタイム環境を使用して、これらの問題を解決します。
・ユーザーはアプリを介してスマートコントラクトにトランザクションを送信できます。スマートコントラクトはイベントを生成し、Graph Node に受信され、対応するインデックスロジックをクエリし、実行されます。
・アプリは GraphQL API を介して Graph Node からデータを取得できます。
・インデックスロジックは WASM にコンパイルできる任意の言語で記述することができます。
・The Graph は、単一障害点のリスクを減らし、プログラム可能性とデータクエリの高性能化を実現しています。

shutter Network、L2 の MEV**#

shutter Network は、公共ブロックチェーン上の市場など、将来の規制と監査制度を含む脅威に対処するための前例のないソリューションを提供しています。
shutter は、フロントランニングと監査に対抗するために、仮想的な暗号化を基礎層に注入しようとしています。
彼らは、ユーザーレベルでトランザクションを暗号化し、ブロックプロデューサーがトランザクションの内容を見ることができないまま、トランザクションの含有と順序を署名および確認する暗号化されたトランザクションを生成します。
彼らの目標は、悪意のある移動を防ぐことであり、これは通常、フロントランニング行為と関連しています。
彼らは仮想的な暗号化を活用して基礎層の中立性を向上させ、フロントランニングと監査制度を防止することを望んでいます。
Shadow は、モジュラーな L2 の一部であり、L2 またはサイドチェーンは、フロントランニングと監査に対する耐性を向上させるためにプラグインとして使用できます。
彼らは一部の清算処理が正当な MEV の一部であると考えていますが、彼らの関心は悪意のある MEV の発生を防止することにあります。

ECNTT アルゴリズム ingonyama#

ingonyama は、ゼロ知識計算のパフォーマンス向上におけるハードウェアインフラストラクチャを提供しています。
既存の MSM および NTT アルゴリズムには多くの実装がありますが、新しい ECNTT の変種を試しています。
ECNTT の基本的な操作は楕円曲線の加算であり、モジュロ乗算ではありません。計算量は大きくなりますが、予め計算できます。
Elio のブロックチェーンアプリケーションは ECNTT の一例であり、プライバシーユーザーがプライベートデータを操作できるようにします。
ECNTT をハードウェアで実装することは課題です。なぜなら、基本的な計算ユニットとメモリへのアクセスの複雑さが増すからです。
将来的には、いくつかの ECNTT のハードウェア実装が現れる可能性があります。

Stark と伝統的な機関金融の結合#

・Dave Engel は StarkWare のビジネス開発ディレクターであり、StarkWare と機関金融の未来について話します。
・機関金融はブロックチェーンを必要とするのでしょうか？JP モルガンの CEO であるジェイミー・ダイモンの言葉を引用すると、暗号通貨には内在的な価値はないが、ブロックチェーンは現実的であると言えます。
・現在の市場で見られる機関金融でのブロックチェーンの使用例は何ですか？
・Starkex は StarkWare の最も人気のあるプラットフォームの一つであり、機関金融に将来の役割を提供することができます。
・私たちは StarkWare の技術を採用して、スケーラビリティ、可視性、柔軟性を実現することで、機関金融の基盤となることを目指しています。

Visa は starknet 上に支払いの POC を構築しましたので、昨日の Kai のプレゼンテーションをご覧ください。これは最も詳細な技術です。Visa は starknet 上でアカウントブロッキングを使用した定期支払いの POC を作成しました。
・StarkWare の最終目標は、複雑な企業顧客、マシン、金融領域を接続し尊重することで、スケーラブルな財務チェーンを作り出すことです。