ヴィタリック・ブテリン、「サークルSTARKsの探求」を発表

PANewsは7月23日に、イーサリアムの共同創設者であるヴィタリック・ブテリンが「Circle STARKsの探求」と題した記事を発表し、Circle STARKsと呼ばれる構造について議論したと報じました。これはいくつかのユニークな特性を持ち、効率的なMersenne31フィールドと互換性があるように設計されています。ヴィタリックは、通常のSTARKと比較して、Circle STARKsは開発者にとってそれほど追加の複雑さをもたらさないと考えています。実装プロセスにおいて、通常のFRIと比較して、私が観察したところでは本質的に3つの違いしかありません。Circle FRIによって操作される「多項式」の数学的原理は非常に直感に反しており、理解し評価するには時間がかかります。しかし、この複雑さは開発者には容易に気づかれないように隠されています。Circleの数学の複雑さはシステム全体ではなく、カプセル化されています。Circle FRIとCircle FFTを理解することは、他の「エキゾチックなFFT」を理解するための良い知識のポータルにもなります。特に、以前BiniusやLibSTARKで使用されていたバイナリドメインFFTや、楕円曲線ポイント操作とよく調整された一対一のマッピングを使用する楕円曲線FFTのような、よりエキゾチックな構造です。Mersenne31、BabyBear、およびバイナリドメイン技術（Biniusのような）と組み合わせることで、STARKの「ベースレイヤー」の効率限界に近づいていると感じます。この時点で、STARK最適化の最前線は、ハッシュ関数や署名のようなプリミティブの非常に効率的な算術バージョンを作成し（この目的のためにこれらのプリミティブ自体を最適化する）、より大きな並列化のための再帰的構造を作成し、開発者の体験を向上させるために仮想マシンを算術化するなどの高度なタスクにシフトすることが予想されます。