StarkWareが考えるLayer2
TechFlow厳選深潮セレクト
StarkWareが考えるLayer2
世界の中心からWeb3を呼び込む：StarkWareが語るLayer2
Web3業界の深掘り報道に専念し潮流を洞察金色財経が主催する「世界の中心でWeb3を呼ぶ」イベントにて、「StarkWareが見るLayer2」と題したAMAが行われ、ゲストとしてEli Ben-Sasson氏が登壇しました。
司会：Eli教授、こんにちは。以前はイスラエル工科大学の教授を務められ、プリンストン高等研究所やハーバード、MITなど著名な学術機関でも研究に携わっていたと聞いています。どのようなきっかけで学術界から暗号業界への起業へと進まれたのでしょうか？
Eli：簡単に言えば、私の研究を通じて一連のツールを発見し、それが大きな影響を与え、人々にとって本当に役立つものになると確信しました。しかし、その技術を推進している人はおらず、現実世界での応用も誰も行っていませんでした。だからこそ、自分で挑戦しようと思ったのです。また、これらのツールが実用的であると強く信じていたことも理由の一つです。今では実際に活用されているのを見て、なおさらその思いを強くしています。もし自分が信じる発明があるならば、それが実際に使われ、世の中のために役立つことを願うはずです。学術研究の枠組みの中でその発展を進めることもできますが、時にはより大規模なチームを構築し、より多くの資金を得るために、学術界では難しいステップを踏む必要がありました。
2018年には、技術が比較的成熟していました。それ以前に私がzCashに携わった経験が役立ちました。私だけでなく、もう一人の共同創業者であるエリサンド・キルザ・エン教授も同様です。ブロックチェーン業界でVitalikらの主要プレイヤーと接触した際、彼らは非常に高い関心を示してくれました。そのため、シードラウンドは非常に迅速に進行し、初期投資家としてヴィタリック・ブテリンをはじめ、多くの投資家がプロジェクトを強く支援してくれました。資金調達とチーム編成の可能性があることが明確になったのです。Starkwareの初期メンバーの多くは、ブロックチェーンやバルティスト研究に情熱を持つ人たちでした。彼らもまた、Starkwareを現実のものとし、ブロックチェーンのスケーラビリティとプライバシーの発展に最善の形で貢献したいと考えていました。それが私たちがこの企業を設立した理由です。
司会：StarkWareおよびその製品であるStarkEx、StarkNET、Cairoについて、簡単な紹介をお願いできますか？
Eli：まず、StarkEx、StarkNET、Cairoについて説明します。その前に、私たちのコア技術とは何かを考えてみましょう。なぜなら、これらすべての製品は「STARK」と呼ばれる技術を中心に構築されているからです。では、STARKシステムとは何でしょうか？これは数学によって完全性（integrity）を保証する技術です。つまり、誰も監視していなくても正しく動作することを意味します。私たち自身の資金に関する計算や、医療情報、法医学データや個人データの取り扱いにおいて、処理が忠実に行われることを望んでいます。誰かが正しく処理を行っていることを確認したいのです。たとえ私が見ていない場合でも、あるいは他人が私のお金を盗んだり悪用しようとしても、誠実さを保証したいのです。
従来の銀行や政府の世界では、基本的に中央集権的な機関を信頼せざるを得ません。私は政府が私の医療データを誠実に扱うと信じなければなりませんし、銀行が私の財務データを正確に処理すると信じなければなりません。他に選択肢はありません。しかし、ブロックチェーンの仕組みはまったく異なります。透明性、包含性、そしてデジタルな手段によって誠実さを提供するのです。ブロックチェーンはこう言います。「さあ、全員参加して、ノートパソコンをインターネットにつなげてください。」そしてシステムのすべての変化を記録し、すべての取引が正常かどうかをチェックします。
つまり、ブロックチェーンはデジタルな手段、包含性、透明性に依存することで完全性を提供しています。しかし、その一方でスケーリングに限界があります。なぜなら、性能の低い私のノートパソコンでも、世界中のすべての取引をチェックしなければならないからです。AlipayやWeChat Payのような規模を考えると、私のノートパソコンがすべての取引をチェックするのは到底不可能です。したがって、ブロックチェーンにはスケーリングの問題があります。そこで私たちはどうしたか？数学的なツールを開発し、数学によって完全性を提供する方法を見つけました。つまり、膨大な計算が正しいことを証明する「証明書」をチェックするだけで済むのです。その証明が正しいと分かれば、相手を信用するのではなく、数学を信用することで完全性が保証されます。
これにより、ブロックチェーンはすべての計算を自ら行うのではなく、検証者、厳密なチェック者、証明の審査者として機能できるようになりました。証明が通過すれば、ブロックチェーンはすべての取引が完全に処理されたことを認識します。これがコア技術「STARK」です。相手を信用するのではなく、数学を信用することで指数関数的な完全性を実現します。
次に、StarkEx、StarkNET、Cairoについて説明します。
●StarkExは、StarkWareがコードを書き、個別のクライアントごとに運用されるシステムです。たとえば、dYdXはNFT取引を行うImmutable X向けにStarkExシステムを採用しており、またUM向けにはYDX取引用のStarkExシステムが構築されています。それぞれ異なるシステムですが、すべてXを極めて効率的に分割し、Immutable Xの多様性を実現しています。その他にも近々追加される機能があります。このプロセスでは、大量の取引を処理し、ブロックチェーンに非常に短いSTARK証明を提出して取引の有効性を証明します。これにより、ブロックチェーン本来の完全性と安全性を享受でき、信頼前提を一切必要としません。これがStarkExです。
●StarkNetはイーサリアムのようなオープンプラットフォームで、誰でもスマートコントラクトを書いて展開できます。開発者向けのプラットフォームであり、開発者はネットワークを起動し、UMetherを送信してその上でアプリケーションを実行できます。時間とともに、StarkWareは開発者がStarkNet上でより簡単に開発・展開できるよう、ますます多くのツールを提供しています。パフォーマンスとスループットも向上させ、開発者にとって最高の体験を提供することを目指しています。現在は本番環境への準備を進めています。すなわち、速度の向上と生産量の増加です。我々の目標はeTPSを達成し、少なくともイーサリアムのスループットの10倍、コストは10分の1以下に抑えることです。これが次の目標であり、現在その実現に向けて努力しています。さらに、分散化の取り組みも始めています。
最後に、Cairoとは何か？Cairoは、スマートコントラクトを記述するために使用される特別なプログラミング言語であり、最も信頼性の高い言語です。
司会：現在のL2スケーリング技術にはOptimistic Rollup、ZK Rollup、Plasma、Sidechainなどがありますが、業界では特にZK Rollupが注目されています。この点についてのご見解は？また、StarkWareのZK Rollup技術は他のZK Rollupと比べてどのような特徴がありますか？
Eli：一般的に言及されるのはOptimisticとArbitrumです。一方、有効性ロールアップ（有効性証明型ロールアップ）、いわゆるZK Rollupの領域では、StarkNETとCairoがあります。私たちのロールアップに関して言えば、実際に稼働中であり、公約されたセキュリティ技術を実際に使用している唯一のものです。説明しましょう。Optimisticには不正行為の証明（fraud proof）がありません。不正行為の証明はそのセキュリティの核となるメカニズムですが、Arbitrumではまだ本番環境で有効になっていません。誰も不正行為の証明を呼び出せない状態です。一部の人だけが利用可能です。テストネットは提示されていますが、ZK証明ではありません。現在、唯一本番環境で稼働しているL2は、本来セキュリティを持つべき技術によって最初にセキュリティを提供しているものです。ここは私たちが本当に誇りに思う点であり、競争上の優位性でもあります。ちなみに、現在市場は大きな混乱期にありますが、すべてのセキュリティ機構と技術が正しく機能することの重要性が改めて明らかになっています。私たちは単にコア技術を公開しただけでなく、将来性を最も示している技術を持っているとも言えます。
司会：現在多数のL2製品がある中で、dYdX、Immutable X、DeversiFi、Sorareといった多くのプロジェクトがStarkExを採用しています。彼らがStarkExを選んだ理由は何だと思いますか？
Eli：答えはとてもシンプルで、先ほどの質問とも関係しています。非常に真剣で成功を収めているチームたちが、堅固な基盤を築くことができる技術を探していました。その基盤の上に構築されたものは、市場の変動に耐えうるものでなければならず、ユーザーが必要とするセキュリティを備えていなければなりません。過去も現在も、その目標を達成できる技術はただ一つ、私たちの技術だけです。
司会：L2関連の技術や製品が多く存在するため、コンポーザビリティ（相互接続性）の利点が十分に発揮されていないように見えます。現時点でL2におけるコンポーザビリティの最大の課題は何だとお考えですか？また、どのような解決策が考えられますか？
Eli：最大の課題は、開発者が使いやすいツールのレベルにまで到達することです。つまり、開発者はイーサリアムでの開発に慣れ親しんでいますが、私たちもその点で急速に進歩しています。数十のチームが協力して驚くべき開発エコシステムを構築しています。もしあなたが急速に成長するエコシステムを探している開発者なら、ぜひStackNetをチェックしてください。
イーサリアム上ではコンポーザビリティが可能であり、L2上でも同じように実現できれば無料で享受できます。別の解決策としては、レイヤー1を使って異なるレイヤー間を相互接続する方法があります。第三の解決策は、有効性ロールアップ内では、非常に高速なコンポーザビリティが可能になる点です。あるシステム内で起きた出来事が完全であったことを証明できるからです。これは後に他の人も利用でき、有効性証明でのみ可能なことでもあり、私たちが発明したものです。それは「ブリーズ層（breeze layer）」という概念を通じて実現され、第三レイヤーとして機能します。異なるレイヤーが通信したいときに、この中間層を使って相互にやり取りさせることができます。ちょうど二人の人が背後にいる第三者を通じて会話するようなものです。これもStarkWareが発明した新しいアイデアの一つであり、将来的にStarkNetの標準となると信じています。
司会：Eli教授、素晴らしいお話ありがとうございました。本回のAMAの協力メディア、DeFi之道、Foresight News、链捕手、MarsBit News、星球日报、Panews、TechFlow、0x499コミュニティに感謝いたします。
記事は要約されています。全文はTwitter Spaceのライブアーカイブをご覧ください。
TechFlow公式コミュニティへようこそ
Telegram購読グループ：https://t.me/TechFlowDaily
Twitter公式アカウント：https://x.com/TechFlowPost
Twitter英語アカウント：https://x.com/BlockFlow_News
