starkware2023大会-5

Starknet 上の DeFi#

このイベントでは、StarkNet 上の DeFi 開発について議論します。
Hashtag、ZKX、Nostra からの代表とそれらが代表するプロトコルについて紹介します。
Hashtag は ZK ネイティブのマネーマーケット相互担保プロトコルであり、3 倍の担保を受け入れることができます。
ZKX はプロフェッショナルエージェント向けの複雑な金融ツールを提供する取引プラットフォームです。
Nostra は流動性層を構築し、Nostra マネーマーケット、未清算のステーブルコイン、およびステーブルコイン DEX を含みます。
不足担保ローンはブロックチェーン上で実現可能であり、ユーザーの $100 の預金を例に挙げると、ユーザーがプラットフォーム上で $230 を一部投資することでインセンティブを提供できます。
KYC および信用評価チェックを必要とする機関も Maple からサポートを受けることができます。

StarkNet のリリースの道#

チームは、プロジェクトのライフサイクルにおける技術的および社会的なさまざまな課題、およびそれらの課題を克服する方法について議論しました。
Fresh Pizza は、テストネットが利用可能な場合、さまざまなイノベーションを試すことができますが、本番ネットでは開発者はシンプルなアプリケーションの開発に制限されます。
ジュリアンは、外部の障壁には、急速に変化するプロトコルの作成や、技術を視覚化するための標準やドキュメントなどの手法の利用などが含まれると述べました。
エリアスは、一部の地域の発展は完全に予測できないため、コミュニティの労働者もプロジェクトのメンテナンスに参加する必要があると述べました。
アブデルは、プロジェクトを成功させるためには、開発者が安全かつ効率的にプロジェクトをリリースするためにあらゆる努力をする必要があるとまとめました。

StarkNet コミュニティの最新情報#

トム・ブランドは、StarkNet のイベントに参加するたびに、自分自身よりも大きなものを感じると興奮しています。
3 か月前にリスボンで設定された優先事項は、パフォーマンスの向上（特にスループット）、Cairo1.0 Alpha 2 のリリース、およびシームレスな Regenesis の進展です。
Cairo1.0 Alpha 2 は 2 週間前にリリースされましたが、最も安定したバージョンではありませんでしたが、開発速度は非常に速かったです。

AirScript（Ploygon Miden）ゼロ知識 DSL 言語#

AirScript は、AIR 制約を記述するための DSL です。
AIR 制約は、計算を代数式ステートメントまたは多項式式で記述するためのものです。
Stark 証明生成プロセスでは、AIR 制約が使用されます。
AIR 制約は、境界制約、有効性制約、および変換制約に分類することができます。
フィボナッチ数列を例に挙げると、境界制約は入力と出力を指定し、変換制約は 1 行の間の 2 つの列の関係を記述します。
AirScript は、これらの AIR 制約を記述するために使用されます。
AirScript を使用すると、AIR 制約の記述が簡単で効率的に行えます。

Aztec プライバシーチェーン#

Aztec は、エンドツーエンドの暗号化を実現するためにゼロ知識証明を利用する特殊なブロックチェーントランザクションです。
このプレゼンテーションでは、非対称暗号を使用せずにプライバシー保護のためのプログラマブルなブロックチェーンアーキテクチャを実現するためのゼロ知識証明の使用について議論します。
ブロックチェーンは状態機械と見なすことができ、トランザクションの入力を受け入れ、事前に定義されたルールに従って状態を更新します。
しかし、プライバシーのある状態がある場合、暗号化だけでなく、所有者の問題も考慮する必要があります。
ネットワークを開発者ではなく暗号学者がプログラムできるようにするには、契約が他の契約を呼び出し、抽象的な概念を理解する必要があります。
彼らは、暗号化された状態を保存するために Merkle ツリーを使用していますが、これにはユーザー情報の保護やトランザクションの監視を防ぐなどの問題も考慮する必要があります。
このため、彼らはゼロ知識証明と既存の伝統的なスマートコントラクトプログラミングセマンティクスを組み合わせることが最善の選択肢だと考えています。

ホモモーフィック暗号化プライバシースマートコントラクト#

パスカルという技術暗号学者によって提案された、現在の公開特性がもたらす悪影響について議論します。
ホモモーフィック暗号化は、復号化せずにデータを処理する暗号化技術です。
Zama では、技術チームがこの技術を活用して、負の影響を緩和するためにブロックチェーン上での使用を検討しています。
FH を利用することで、ブロックチェーンのデータと状態を暗号化し、公開しないで済むようにすることができます。
この技術は、データ処理のための暗号化されたマーケットを構築するために使用することができます。
その他の新しいモデル、例えば身元確認、認証、見えない入札なども、FH を使用して簡単に実現することができます。
さらに、FH を使用してポーカーやオンラインオークションなどのゲームを作成することも可能ですが、これらは FH なしでは実現できません。

ルックアッププロトコル#

ルックアッププロトコルは、特定の値が特定の範囲内にあることを証明するための技術です。
伝統的なルックアッププロトコルは、n+1 回の制約を必要としますが、最近の研究では、消費を m+N 回の制約に減らすことができます。
もしルックアップの回数がテーブルのサイズと同じであれば、各ルックアップの消費を 1 回の制約に減らすことができます。
これらのルックアップを実現するための技術は CachedQuotients と呼ばれます。
CachedQuotients は、KZG 多項式コミットメントスキームに基づいており、隠されたランダムな数値 X に基づいて一連の群要素を生成する設定フェーズが必要です。
これにより、この技術はテーブルが与えられた後、最小限の制約消費で要素がそのテーブルに存在するかどうかをチェックすることができます。
この一連の研究は非常に興味深く、将来のルックアッププロトコルを変える可能性があります。

Sandstorm Cairo プルーフチェッカーのコンシューマーグレード#

Sandstorm は、消費者向けの Cairo プルーフチェッカーであり、消費者向けのデバイスで高速に実行することを目指しています。
Cairo ランナーは、いくつかの Cairo ソースコードを受け入れ、入力情報を受け取り、出力を生成し、同時に memory.bin と trace.bin ファイルを生成します。
承認プロセスでは、Cairo 承認者はこれらの 2 つのファイルから値を抽出し、それらを巨大なテーブルにアップリフトします。これは実行トレースと呼ばれ、generating Stark proof に必要です。
このテーブルには memory.bin もロードされ、それから対応する正しい状態遷移をマッピングするための一連の制約が定義されます。
テーブルが垂直に積み重ねられるほど時間がかかりますが、証拠は小さくなります。
Sandstorm は、このテーブルと一連の制約を Stark Brewer に渡して証拠を生成します。
ソースコードを使用することで、テーブルとその制約が Cairo プログラムの正しい実行に準拠しているかどうかを検証することができます。