基本原則が重要です。

StarkWare であることについて私が最も気に入っている部分 CEOは、私よりも賢く、知識豊富なチームメンバーの意見に耳を傾け、修正されています。

ストーリータイム -- 西洋最速の証明者と、それがどのようにして生まれたのか。 2018年にStarkWareを設立したとき、私たちは最初の量産グレードのSTARK証明器の構築に着手しました。当時、制限要因はイーサリアムのガスコストでした。膨大な数(256ビットのもの)を使用して証明者を構築するのが最も簡単で安価でした。これにより、フィールドサイズを小さくすることで効率を高めることができることがわかっていた単純なSTARK証明器が生まれました。 2023 年に早送りします。今では全世界がzkSTARKが最終目標であると確信しており、多くのチームが小さなフィールドを使用してシステムを構築し始め、より迅速な証明者につながります。 2023年夏、次世代の実証技術を選定するプロジェクトを開始しました。私たちは、SNARK、折り畳みベースのもの、GKRなど、既存のすべての証明技術を調査しました。 私たちはすぐに、支配的な性能要因は有限場のサイズが重要であり、32ビット素数が最適であることに気づきました。なぜでしょうか。(1)最新のハードウェアアーキテクチャはすべてそれらに最適化されています、(2)GPUはバイナリ乗算をうまくサポートしていないため、なぜプライム(バイナリではない?)なのか。 さて、これで、GKRやSTARKのような32b素数以上の証明技術が残ります。 今、私たちは問題に直面しました。高速計算に最適なフィールドは M31 ですが、高速 STARK を持つためのグループ構造がありません。 幸いなことに、Ulrich Habock (当時は Polygon に在籍し、現在は StarkWare でフルタイム)、David Levit、Shahar Papini の優秀なトリオは、M31 上で「サークル グループ」を使用して最適解を得る方法を見つけ出しました。 新しいチームは計算の実装を開始しました。私たちが考えることができる最も効率的な方法で、効率をテストして検証し、他のチームが使用できるほどモジュール化された方法で構築しました。同時に、AIR制約のインフラは、これまでの経験に基づいてゼロから再構築され、健全で効率的なものにつながりました。 そして現在、Stwo は Starknet の本番環境に参入し、コストと遅延を削減しています。私たちがテストしたベンチマークはこの世のものとは思えません。同時に、複数の外部チームがインフラの構築に使用しています。これは証明されるゴールドスタンダードのオープンソース証明者になると思いますので、皆さんはぜひ使用してください。 最後です。

なぜ私は Starknet に強気なのでしょうか?最高の技術。 確かに、TVL と DeFi のボリュームはさらに増える可能性があります。しかし、私は長期的に考えています。エコシステムは醸造中で、新たな火花を待っており、その火花は必ずやって来るでしょう。そして、そうなったとき、ユーザーと開発者は、最高のテクノロジーが最高のUX、最高のセキュリティ、最高の機能を意味し、アクティビティが増えてもそれらは減少しないことに気付くでしょう。 なぜそれが最高の技術なのでしょうか? - 次世代かつ史上最高のスマートコントラクト言語。はい、Cairo は Solidity や Solana の Rust よりもはるかに優れています。 - 次世代スマートアカウント(ネイティブアカウント抽象化のおかげで)-エンドユーザー向けのUX>向上し、最高レベルのセルフカストディアルセキュリティを実現します。 - オンチェーン最大のコンピューティング能力 - > Perp 取引所、ゲーム開発者、その他の重いコンピューティング アプリは、ブロックチェーンの他の場所では見られない複雑なロジックを実行できます。 - ビットコインとイーサリアムへの最も安全な接続。 - 完全かつ真の分散化に向けて積極的に動いている唯一の L2。 - シーケンサーと証明者に関しては、最も冗長性があります。 最も安全で、最速で、最も健全な証明技術です。 だから私は長期的に考えており、Starknetには非常に強気です。そして、あなたもそうすべきです。

スタークネットはグリンタモードに移行していますが、誰もマルガグリンタ🍹🍹🍹スで次のレベルに引き上げていないことに少し驚いています(悲しいですか?

@ercwlからタングステンキューブを手に入れそうになった方法 私は、不正証明は機能しないと主張しました(そして今もそうしています)。つまり、「誰でも仲裁手続きを開始できる」という約束は成り立ちません。 数年前、エリックは夕食時に私に尋ねました:「これにタングステンキューブを賭けませんか?」 私は「はい!今後 3 年間で、シーケンサーとバリデーターの真の分散化を提供し、平均的なユーザーが利用できる 100 ドル未満の紛争保証金を可能にする不正証明ベースのシステムはないに違いありません。」 不正防止ベースのシステムがその価格で紛争保証金を提供できない単純な理由は、システムを荒らす/DoSへの扉を開くからです。 私たちはこれを正式に書面にしたことはなく、かなり長い時間が経ったと思いますが、今日も彼と、あるいは挑戦する人と一緒にこの賭けをできることを嬉しく思います。

意見： L2 は分散化する必要があります。 *分散化は、L1 と同様に L2 でも重要です。 Starknet は少し前に分散化ロードマップを公開し、それを段階的に追跡してきました。 他のL2チームは、その方向で実際の計画や取り組んでいるとは見当たりません。

「ETHのみ」「BTCのみ」の戦いが大好きです。 このような一週間後、それらはまったく意味をなさない。

この仮想通貨週間の終わりに、私の結論は次のとおりです。 (TL;DR - 2つの世界の間に橋が架けられています)

TradFi と DeFi の間には強い矛盾要素があります。 TradFiは「私たちを信頼してください」、「私たちを信頼してください」を伝えます。 DeFiは「自分以外は誰も信用しない」、「数学では信頼する」と言います。 2つの世界が近づいているのを見るのは興味深いことです。