Starknet 創設者へのインタビュー: 星を見上げ、地に足をつけて
モンテネグロで最近開催されたイーサリアム EDCON カンファレンスでは、ZK が最もホットな話題になりました。 19日から23日までの5日間、個人講演でもラウンドテーブルパネルでも、ゲストの話題は主にZKロールアップ、zkEVM、ZKMLなどの語彙を中心に展開しました。 「イーサリアムコアサークル」の目には、ZKは2019年のDeFiイノベーションに匹敵し、次の業界爆発を活用できる究極の新しい物語となっている。
長い間、技術的な実装が ZK が直面する主な問題であり、多くの人の心の中で ZK が「将来の解決策」であることもまた事実です。しかし、今年は Arbitrum エコロジーがまだ完全に開発されておらず、代替テクノロジーとして ZK Rollups がすでにドアをノックしています。今年最も顕著に感じられるのは、あらゆる種類の「ZKプロジェクト」が突然増えたことです。開発者は ZK テクノロジー、ZK 転送、ZK アイデンティティ、ZK ボード ゲームの FOMO を開始しました。プライバシーに関連するものである限り、プロジェクト名に「ZK」という単語を含める必要があります。もちろん、このような繁栄したシーンは、Starknet や zkSync などの ZK Rollup や、Scroll や Polygon などの zkEVM プロジェクトの集中的な取り組みの恩恵を受けています。そして、これらの主力の背後には、イーライ・ベン・サソンという名前のイスラエル人男性がいます。
Eli（@EliBenSasson最初のレベルのタイトル
Optimistic Fraud Proofs、zk-STARK、SNARK について
画像の説明
Eli Ben-Sasson 氏は StarkWare Sessions 2023 カンファレンスで講演しました。写真の出典は StarkWare からです
テクノロジー主導の起業家として、イーライは ZK テクノロジーとその背後にある数学的原理に絶対の自信を持っています。では、彼は「ZKのライバル」である楽観的なロールアップをどのように見ているのでしょうか？ zk-STARK と zk-SNARK の将来についてはどう思いますか?
BlockBeats: こんにちは、Eli、まず最初に、なぜ暗号通貨の分野に参入したのか、そしてなぜ Zcash と StarkWare を設立したのかを読者に簡単に紹介してください。
Eli：私は理論的なコンピューター サイエンスの研究を行うコンピューター サイエンスの教授でした。中国本土の人々は、清華大学の姚其之氏のことを聞いたことがあるかもしれませんが、彼は理論コンピュータ サイエンスの重要な推進者であり、チューリング賞受賞者であり、安全なマルチパーティ コンピューティングの発明者でもあります。私は彼より何年も遅れてこの研究分野に入りました。
2008 年にゼロ知識証明 (以下、ZKP) に関する研究を始めました。 2013年5月、つまり10年前、私はサンノゼで開催されたビットコインカンファレンスに参加し、ブロックチェーンの分野が私の理論研究と数学にとって最適な応用シナリオであることに気づきました。 Proof of General Computing とブロックチェーンが非常にうまく連携できることを最初に認識したのは私だと確信しています。 10 年前、イーサリアムは存在していませんでしたが、私がヴィタリックに初めて会ったとき、彼はイーサリアムの創設者ではなく、ビットコイン マガジンのコンテンツ ライターでした。私たちは証明、妥当性証明、ゼロ知識証明についてたくさん話しました。
私の初期の共著論文の 1 つは、「Zerocash: Decentralized Anonymous Payments from Bitcoin、ゼロ知識証明を使用してビットコインでの支払いを保護する方法について。それが Zcash プロジェクトとなり、私たちはそのテクノロジーを開発してきました。 2018年頃、私たちはより良い技術改善を提案し、それをSTARKと名付けました。これは、イーサリアムまたは一般的なブロックチェーンの規模を拡大するのに役立ちます。 2018 年に、私、Uri Kolodny、Alessandro Chiesa、Michael Riabzev と StarkWare を共同設立しました。今日では、有効性の証明がイーサリアムを拡張する最良の方法であることが広く受け入れられています。
BlockBeats: 非常に早い段階で Vitalik と連絡を取ったとおっしゃっていましたが、彼が非常に早い段階で StarkWare に投資しサポートしていたのを覚えています。
Eli：はい、Vitalik は StarkWare の初期投資家の 1 人でした。これは彼のこれまでの数少ない投資の 1 つであり、私たちはそれを非常に誇りに思っています。
Vitalikがコア投資家になったのは2018年の秋頃だったと記憶しています。彼と私は清華大学が主催したと思われる集会に出席したが、それは深センだったはずだ。私たちはとても素敵な魚市場を歩き回り、StarkWare や彼の投資など、さまざまなことについて話していたのを覚えています。つまり、決定の詳細は中国で行われました。
BlockBeats: Ethereum が登場する前に、スケーリング ソリューションとして ZK プルーフの使用を検討し始めましたが、ブロックチェーンには確実にスケーラビリティの問題があるとどのように判断しましたか?
Eli：中国コミュニティの読者は Alipay と WeChat Pay に精通しているはずで、そのトランザクション速度は 1 秒あたり 100 万トランザクションに達している可能性があります。 「現時点では、ブロックチェーンは NFT、ゲーム、投票、選挙、ガバナンスを行う必要があります。これらすべてを実現するには、現在のテクノロジーでは十分ではありません。ビットコインとイーサリアムでは、おそらく 1 秒あたり 10 ～ 20 件のトランザクションがあります。」これには、他のテクノロジー、つまりブロックチェーンのセキュリティを低下させず、ブロックチェーンの範囲や到達範囲を拡大できるテクノロジーが必要であり、Starknet はそれを実現しました。
BlockBeats: Arbitrum の創設者である Ed Felten 教授も、2014 年頃からスケーラビリティ問題の解決に取り組み始めましたが、彼は決定的にインタラクティブな不正証明を選択しました。その後、これがより実現可能であり、楽観的な不正証明であると一般に考えられていました。最初からソリューションとして ZK を使用しようと思ったのはなぜですか?
Eli：これはより優れたテクニックであり、機能します。実際、イーサリアムコアチームでは、オプティミスティックロールアップがコアテクノロジーをオープンしていないことを誰もが知っています。 Arbitrum も Optimistic も詐欺の証拠はありません。彼らがそれを始めなかった理由は、単純にうまくいかなかったからです。
対照的に、私たちは STARK の有効性の証明なしに状態更新を提出したことはありません。システムのパフォーマンスが 10 倍であっても、使用するイーサリアムのリソースは 1% 未満です。楽観的なロールアップは素晴らしいアイデアですが、機能しません。機能しないため、有効になっていません。動作するはずなのに動作しない、または電源が入ってさえいないものと、動作し、証明できるテクノロジーとの間には大きな違いがあります。
BlockBeats: しかし、Vitalik は StarkWare に投資していた一方で、Optimism を支持していました。 ZKP または ZK Rollup は技術的に Optimistic よりも実装がはるかに難しいため、スケーラビリティの問題はまず Optimistic から始めて、次に ZK に目を向けるべきであるという暗号化分野のコンセンサスが高まっているようです。この件についてどう思いますか？
Eli：私は Optimism チームが好きです。彼らはコミュニティの素晴らしいメンバーですが、テクノロジーは良くありません。たとえば、なぜ人間に羽を付けて羽ばたかせて飛行機を作れないのでしょうか?それはもっと理にかなっていて、レオナルド・ダ・ヴィンチが翼のある男性を描いた理由はそこにあります。しかし、数学や経済学ではそれは当てはまりません。私は彼らの創意工夫と本当に素晴らしいコミュニティ メンバーを愛していますし、感謝していますが、それがあまりうまく機能しないテクノロジーであるという事実には変わりありません。
BlockBeats: しかし、一般ユーザーとしては、Optimism と Arbitrum は現時点では確かに実用的なソリューションです。
Eli：もちろんですが、認識すべきことは、資産セキュリティは単一のオペレーターを信頼しているため、非常にうまく機能するということです。非常にうまく機能する別の可能性があります。本当に信頼できる任意のコンピューターに資産をブリッジできます。それは集中型取引所などであり、信じられないほどの TPS スループットが得られますが、その 1 人が管理するコンピューターにすべての資金を預けていることになります。故障したり、オフラインになったり、何か悪いことをしたりすると、すべての資金が失われてしまいます。
Arbitrum、Optimism は Binance と同じセキュリティ前提を持っています。Binance はユーザーにとって素晴らしい製品であり、おそらく Arbitrum よりも優れていますが、ユーザーにとって重要なのは、資産をより高いセキュリティ レベルに移動していると騙されないようにすることです。 Binance は集中プロセスによって管理されているため、Binance は使用しないと誰かが言うなら、私は分散化するつもりで、資産を Arbitrum または Optimism に置くつもりですが、実際には同じことです。
BlockBeats: ユーザーが Optimism または Arbitrum を使用するとき、実際には集中取引プラットフォームを使用していることになりますか?
Eli：彼らが使用しているのは集中型システムであり、さらに悪いことに、単一のオペレーターによって操作されるように最初から設計されていないコードベースに基づいています。したがって、Binanceほど法的保護は得られないと思います。
BlockBeats: ZKP と言えば、広く認知されている zk-SNARK に加えて zk-STARK も作成されましたが、なぜ ZK テクノロジーに 2 つの異なる技術標準を設定したいのですか?そしてなぜ StarkWare は最終的に zk-STARK を選んだのでしょうか?
Eli：SNARKs 技術、楕円曲線を使用する Groth-16 タイプの前処理 SNARKs は、もっと早く製品化できる可能性がありますが、効率とセキュリティの点で劣る技術だと思います。これは、蒸気エンジンがガソリンエンジンほど優れていないのに、先に登場した技術のようなもので、蒸気エンジンがガソリンエンジンほど優れていないのに、先に登場したという状況と少し似ているのではないかと思います。
画像の説明
zk-STARK と zk-SNARK の技術詳細の比較表、出典：Horizon Acadamy
BlockBeats: 現在、多くの ZK Rollup および zkEVM プロジェクトで zk-SNARK が使用されていますが、zk-SNARK の将来についてはどう思いますか?
Eli：最初のレベルのタイトル
Starknet、カイロ、zkEVM について
多くの人が理解しにくいのは、スタークネット自体はイーサリアムの L2 としてイーサリアム EVM と互換性がなく、開発者は受託開発用の新しい言語である Cairo を使用する必要があることです。これにより、Starknet は L1 およびイーサリアムの同等の L2 との EVM 互換性、つまり開発コストを最小限に抑えて短期間で迅速にエコロジーを開始できるという利点の多くを失うことになるようです。しかしイーライの見解では、カイロがもたらす巨大な可能性を前にすれば、こうした問題は無関係だという。さらに重要なことは、Starknet エコシステムはすでにこれに対する独自のソリューションを持っていることです。
BlockBeats: StarkWare が StarkEx と Starknet という 2 つの異なるプロジェクトを作成したのはなぜですか?なぜこの 2 つを組み合わせられないのでしょうか?
Eli：StarkEx と Starknet は 2 つの異なる目的を果たします。 NFTの鋳造や取引など、非常に明確な性質の高スループットのトランザクションについて話す場合、そのために専用に構築されたシステム、つまりStarkExからより優れたパフォーマンスとスループットを得ることができます。私たちは、非常に特殊な使用例から始めて、テクノロジー全体を徹底的にテストしたという事実を非常に誇りに思っています。
一方、Starknet は、より複雑な方が最初に構築されたため、当然後から登場し、別の目的を果たし、イーサリアムのような汎用コンピューティングを実行できるようになります。しかし、この汎用コンピューティングは、それとは異なり、次のことを意味します。 1 つのユースケースに特化した特定のパフォーマンスと比較すると、それほど優れたパフォーマンスは得られません。したがって、これは汎用性と効率性の間のトレードオフになります。
BlockBeats: つまり、StarkWare チームにとって、特定のアプリケーション シナリオで高いトランザクション TPS を達成することが非常に重要ということですか?
Eli：はい、この目標を達成することは私たちにとって非常に重要です。多くのチームは「Twitter で独自のプロジェクトを実行」しており、そこでかなりの数字を投稿し、人々がそれが機能するシステムであると騙されることを望んでいます。しかし、私たちは長年にわたって稼働し続けている高い TPS システムを誇りに思っています。スループットを向上させ、トランザクション コストを削減することがすべてです。
私が言いたいのは、これまで私たちのシステムは1兆米ドル近くの取引、4億5,000万件以上の取引、そして1億件以上のNFTを発行してきたということです。他の L2 ではこれができません。当社の日次 TPS はイーサリアムより 50% 高く、週次 TPS は 1 週間全体でイーサリアムより 30% 高くなります。他にこのレベルを達成したシステムはなく、TPS が 30% 増加したにもかかわらず、イーサリアム ガスを 1% を超えて使用したことはありません。
BlockBeats: StarkEx は非常に特殊なユースケースであり、テクノロジー主導のプロジェクトである StarkWare は、最初からビジネス モデルの位置付けを非常に明確にしているようです。
Eli：画像の説明
StarkWare チームのメンバー、画像ソースは StarkWare から
BlockBeats: 次に、カイロ語について話したいと思います。 Ethereum L2 として、Starknet は Ethereum EVM と互換性がなく、開発者はアプリケーションを構築するために Cairo 言語を使用する必要があります。これにより、Starknet は「EVM 互換エコロジー」の多くの利点を失うことになるようです。なぜ独自の言語を構築することを選択するのでしょうか?
Eli：はい、カイロについて言いたいことがいくつかあります。まず、これは高度な次世代スマート コントラクト プログラミング言語です。カイロ言語に組み込まれているスマート ウォレットやアカウントの抽象化など、いくつかの新機能を最初からサポートしています。これは Rust からインスピレーションを得たプログラミング言語であり、Solidity を試して使用する多くの開発者、特に Rust を知っている開発者は、Solidity よりも Cairo でのプログラミングの方が好きだと言うでしょう。したがって、それ自体は非常に優れたプログラミング言語です。
2 番目に言いたいのは、STARK 証明、または一般的な妥当性証明を作成するために専用の言語を使用する理由は、Solidity でスマート コントラクトを作成したい理由と非常に似ているということです。 Solidity を使用する必要があるのは、Python、Rust、または C++ よりも開発者エクスペリエンスが優れているからではありません。その代わり、開発者エクスペリエンスは悪くなりますが、ブロックチェーン インフラストラクチャを備えた新しいフレームワークに移行する場合は、別のプログラミング言語を使用する必要があります。Solidity は、イーサリアム仮想マシンに効率的にコンパイルされるため優れています。別の例を挙げます。 GPU を活用して本当に優れたグラフィックスを作成したい場合は、GPU のパフォーマンスを最大限に活用する言語である CUDA で作成する必要があります。
STARK 証明についても同じことが当てはまります。仮想マシンが異なると、何かを有効または無効にするための一連の制約も異なります。イーサリアムのブロックに100万個のNFTを入れるなど、STARKプルーフが達成できるパフォーマンスを達成したい場合は、プログラミング言語をより効果的に使用する必要があります。 Immutable X では 1 つのプルーフで 1,000 万個の NFT を鋳造できますが、EVM や zkEVM に基づくもので、ブロックチェーン上の 1 つのプルーフに入れることができるものに近づくとは想像できません。私は世界の zkEVM に挑戦できますが、彼らは挑戦しません。そのため、別のコンピューティング モデルと別のプログラミング言語が必要になります。
BlockBeats: ただし、Polkadot で Rust 言語を使用した多くのエコロジー プロジェクトからは、一般的に運営コストの問題についてフィードバックが得られます。Rust 言語で契約を作成する方法を知っているエンジニアを雇ったり、訓練したりするには非常に費用がかかるためです。一方、チームがイーサリアムまたは EVM 互換の L1 上でプロジェクトを開発する場合、コストは非常に安くなります。この状況についてどう思いますか?これはStarknetエコシステムにとって問題ですか?
Eli：それは問題かもしれないが、開発者はカイロとスタークに群がっている。開発者とチームの数は日々増加しており、彼らは可能性を見出していると思います。多くの人が規模の問題を理解しており、最善かつ最も先進的な解決策は何か、世界需要の拡張性を真に広げるものは何かと自問しています。そして、多くの人が正しい結論に達していると思います。 Starknet と Cairo 1.0 の道をたどります。
ここに類似点があります。通常、ソフトウェアの最初のバージョンは Python で作成しますが、規模を拡大したい場合は、C++、WASM、Rust などの他の非常に効率的な言語で作成する必要があります。 Cairo でもまったく同じことが起こると思います。Solidity コードを取得して Kakarot にデプロイするかもしれませんが、それは Python で高頻度取引エンジンを書くようなもので、そうあるべきではありません。別の言語で書く必要がありますが、その別の言語はカイロになります。
BlockBeats: Starknet に基づいて zkEVM を開発しているプロジェクトもいくつかあります。
Eli：はい、StarNet には ZK-EVM を構築する非常に優れたプロジェクトがあります。 1 つ目は Warp と呼ばれるもので、NetherMine チームによって作成されたもので、非常に優れています。 2つ目はカカロットと呼ばれるコミュニティが形成されつつあります。
最初のレベルのタイトル
ZK Rollup のトラック競技と Starknet のエコロジー開発
インタビューの中で、BlockBeats は ZK Rollups と Starknet 自体のエコロジー的発展との間の競争についても言及しました。暗号化業界全体の中で最も技術的で要求の厳しい分野であるため、一般ユーザーが zkSync と Starknet の長所と短所を区別するのは難しいようです。ほとんどの人にとって、「問題が起こる」可能性が高い人は誰であろうと楽観的であるというのが現実です。この観点から見ると、技術革新によって推進された StarkWare のコンセプトは、Starknet にとって問題を引き起こしたように見えます。 Eli自身はZKロールアップ間の競争をどのように見ていますか?スタークネット生態学の発展に対して彼は何を期待していますか?
BlockBeats: 現在の ZK Rollup トラックでは、Starknet と zkSync が絶対的なリーダーであり、この 2 つの間には強力な競争関係があるようです。 Starknet と zkSync の違いは何だと思いますか?また、Starknet の利点はどこにあると思いますか?
Eli：技術的に最適なステップはどこなのか、自問する必要があります。最も多くの開発者が集まり、最高かつ最も安全なテクノロジーを提供できる可能性が最も高い場所はどこでしょうか?私たちは zkSync の前に自分たちの能力を実証しました。彼らは素晴らしいストーリーテラーでしたが、彼らが語ったストーリーと開発者のエクスペリエンスの間には大きな不一致がありました。私から提案があります。これを読んでいる開発者には、zkSync で何かを開発またはデプロイすることと、Starknet で何かを開発またはデプロイすることを試みることをお勧めします。明らかな違いを感じるでしょう。
話をさせてください。ある人が Reddit で 300,000 トランザクションを実行できるものを作ってほしいと依頼しました。私たちはメイン ネットワーク上でそれを実行しました。TPS は約 3,000 です。 1、2 週間後、zkSync チームが出てきて、「我々には 3000 TPS があるが、この 3000 TPS は測定、証明、実証されたことはありませんが、良い話です」と言いました。物語を語るのが好きな人が多い業界では、事実を伝える人もいます。私たちは事実を伝える能力に誇りを持っています。
BlockBeats: ユーザーからのフィードバックもありますが、現在、アセットの転送や ZK Rollup でのやり取りのガスが非常に高いのですが、これはなぜですか?
Eli：Starknet は現在、需要が高いため混雑が発生しています。 2 週間以内にバージョン 12 をリリースする予定です。これにより、TPS が大幅に向上し、ほとんどのニーズが解決されます。次のリリースでは、オフチェーン データ処理のために Volition を完全に統合すると、価格が大幅に引き下げられます。これは 1 ～ 2 か月以内に実現する可能性があります。
BlockBeats: エコロジー開発者に関して言えば、エコロジー開発の点では Starknet の方が zkSync よりもバランスが取れていると報告している人もいます。
Eli：画像の説明
StarkWare Sessions 2023 カンファレンスの様子、写真の出典は StarkWare から
BlockBeats: しかし、Web3 の分野では、マーケティングを理解しているチームの方が人気があるようです。テクノロジー主導のプロジェクトの多くは、生態系の発展に問題を抱えていますね。
Eli：いいえ、次にそれが起こるとは思いません。私がそう思う理由は、イーサリアムがそのように開発されたからです。いつか、非常に成功したアプリが Starknet の能力を実現するでしょう。そのアプリは何ですか、今はわかりません。推測するなら、L1 にすでに存在しており、簡単に L2 にコピー＆ペーストできる製品ではないと思います。
したがって、これは L1 や他の L2 では不可能なまったく新しいアプリケーションであるため、誰もが目にし話題になるものだと思います。これが転換点となり、開発者はそこに群がるだろう。このため、私たちはここに最も注目しており、今回 EDCON に参加するのは、より多くの開発者と連絡をとり、私たちのエコシステムに参加するよう招待するためです。彼らの中には、私が予測できない素晴らしいものを生み出す人もいるからです。
BlockBeats: Starknet エコシステムでの開発を計画している開発者に何かアドバイスはありますか? Starknet は彼らに何を提供できるでしょうか?
Eli：私が彼らに代わってこの質問に答えることはできませんし、たとえ私が答えたとしても、彼らは私の言うことを聞くべきではなく、彼らが自分で決めるべきです。高度なオラクル サービス、Proof of Humanity、ソーシャル ネットワーキングなど、Starknet 上でのデータベース インフラストラクチャの構築など、いくつかのことは素晴らしいと思います。実行できる本当に素晴らしいことがたくさんあります。彼らはそれを調べて発見する必要があります。彼らは何が足りないと考えているのか、あるいは何が最も興味深いと考えているのか。
Starknet はブロックチェーン進化の次のステップであり、非常に重要です。あなたが開発者であれば、Starknet はすぐに使えるものになるでしょう。私たちはそれをエンドユーザー向けに構築しています。私たちは前進する道が非常に明確で、より多くの開発者がいて、構築すべきツールややるべきことがたくさんあると思います。懸命に努力することで、目立ち、名声を得るチャンスがたくさんあります。
BlockBeats: 最後に、読者に他に言いたいことは何ですか?
Eli：もしタイムマシンがあれば、イーサリアムの初期の頃に戻り、最初の予測市場や最初のウォレットなど、作りたいものはほとんどすべて大成功するでしょう。しかし、ゲームは終わったわけではありません。次の世代にはチャンスがあり、この世代の勝者は Starknet になると思います。タイムマシンを手に入れるだけでなく、Starknet についても学ぶことができるようになりました。今がその時です。
