Ethereumは複数のチェーンで1000億ドル以上を確保していますが、開発者は長い間EVMの組み込み制限、すなわち、過去のデータへのアクセス、厳しいガス制限、硬直したスマートコントラクト設計に苦しんできました。

@Succinct の新しいプリミティブ—SP1-Contract-Call (SP1-CC)—がそれを変えます。

オンチェーン実行に縛られる代わりに、SP1-CCは新しいモデルを導入します: 読み取り → 計算 → 検証。

Read: 過去のブロックチェーン状態、イベント、またはコールデータにアクセスします。

Compute: ガス制約なしでオフチェーンで任意のSolidityロジックを実行します。

Verify: 単一のゼロ知識証明でオンチェーンで証明します。

これにより、EVMはより内省的、プログラム可能、スケーラブルになり、Ethereum自体を変更することなく実現します。

開発者がSP1-CCを使用する方法

SP1-CCには3つのコアツールが付属しています:

call(): 状態を変更せずに任意のブロックで契約呼び出しをエミュレートします。

create(): ガスの制限なしで、複雑な動作や相互作用を可能にするオフチェーンでの契約を展開するシミュレーションを行います。

get_logs(): 任意のブロックにわたるログをクエリし、EVM内では通常アクセスできないデータを解放します。

現実世界のユースケース

オンチェーンガバナンス: マイグレーションなしでガバナンスをアップグレード—スナップショットの残高、投票の検証、結果を直接証明します。

DeFiオラクル: チェックポイントトランザクションなしで検証可能な価格フィードを構築し、VWAPなどの高度な指標を可能にします。

セキュリティ開示: ホワイトハットは、攻撃の詳細を明らかにすることなく、ZK証明で安全に攻撃を証明できます。

エアドロップ: 複雑な適格基準を持つ透明で証明可能なエアドロップを実行します。

すでにリーディングチームを支えています

EigenlayerのようなプロジェクトがSP1-CCを統合しています。EigenDAは、オフチェーンでデータブロブを検証し、オンチェーンで簡潔な証明を提出するためにそれを使用します—高価なオンチェーン計算を避けるために。

なぜ重要か

SP1-CCは、開発者がEthereumで構築できるものに対する上限を実質的に取り除きます。よりリッチなアプリケーション、スケーラブルなオラクル、安全な開示、検証可能なガバナンスがすべて可能になりました—コアロジックをSolidityに保持しながら。

Succinctは、Succinct Prover Networkによって支えられた「スマートコントラクト開発の黄金時代」の始まりと呼んでいます。

#SuccinctLabs $PROVE