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 制約は、境界制約、有効性制約、および変換制約に分類することができます。
フィボナッチ数列を例に挙げると、境界制約は入力と出力を指定し、変換制約は行内の 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 プログラムの正しい実行に対応しているかどうかを検証することができます。