# サークルスタークを探索する近年、STARKsプロトコルの設計のトレンドは、より小さなフィールドの使用に移行しています。最初のSTARKs実装では256ビットフィールドが使用されていましたが、この設計は効率が低いです。効率を向上させるために、STARKsはGoldilocks、Mersenne31、BabyBearなどのより小さなフィールドを使用し始めました。! 【ヴィタリック新作:サークルスタークの探索】(https://img-cdn.gateio.im/social/moments-7aa9220380d346efa2a3619b0f4e3372)小さなフィールドの使用は、ランダム性が不足するという問題など、いくつかの課題をもたらしました。この問題を解決するために、2つのアプローチがあります: 複数回のランダムチェックを行うか、フィールドを拡張することです。フィールドの拡張は、有限体に基づいた複素数に似ています。! [ヴィタリックの新作:サークルスタークの探索](https://img-cdn.gateio.im/social/moments-fdfa1b29fc7f12d9ab7c1ec0449e654c)Circle STARKsは巧妙なソリューションです。素数pが与えられると、pのサイズを持つグループを見つけることができ、その特性は二対一です。このグループは、x^2 mod pが特定の値に等しい点の集合など、特定の条件を満たす点で構成されています。! [ヴィタリックの新作:サークルスタークを探索する](https://img-cdn.gateio.im/social/moments-b32679a50fc463cfc1c831d30ab2d7e2)Circle STARKsは、Circle FFTと呼ばれる特別なFFTを使用しています。それが処理する対象は厳密な多項式ではなく、Riemann-Roch空間です。開発者は具体的な詳細を理解する必要はなく、多項式を評価値の集合として扱うだけで済みます。! [ヴィタリックの新作:サークルスタークの探索](https://img-cdn.gateio.im/social/moments-cb343bb0791734002ef1a3b813eea1e2)Circle STARKsを実現する際に注意すべき点は以下の通りです:1. 商運算は2つのポイントで評価する必要があります2. 消失多項式は異なる方法で構築される3. 特殊な逆位相を使用して評価順序を決定する! 【ヴィタリック新作:サークルスタークの探索】(https://img-cdn.gateio.im/social/moments-4e2ceec842bcdcc68f5efb0e9ec2d6ab)Circle STARKsは31ビット素数フィールド上で非常に効率的です。大きなフィールドSNARKsと比較して、計算スペースをより十分に活用できます。Biniusは特定の点で優れていますが、Circle STARKsの概念はよりシンプルです。! 【ヴィタリックの新作:サークルスタークの探索】(https://img-cdn.gateio.im/social/moments-0277731a7327da529c85417a01718c59)未来STARK最適化は以下に焦点を当てる可能性があります:- 暗号プリミティブの効率的な演算 - 再帰的な構造で並列性を向上させる- 算術化バーチャルマシンによる開発体験の向上! [ヴィタリックの新作:サークルスタークの探索](https://img-cdn.gateio.im/social/moments-13da9460855ee8c504c44696efc2164c)全体的に見て、Circle STARKsは概念がシンプルでありながら効率的なSTARKの実装ソリューションであり、さらなる探求と応用に値します。! [ヴィタリックの新作:サークルスタークの探索](https://img-cdn.gateio.im/social/moments-972d4e51e7d92462c519ef900358a6af)
Circle STARKs：効率的でシンプルな新しいタイプのzk-SNARKsソリューション
サークルスタークを探索する
近年、STARKsプロトコルの設計のトレンドは、より小さなフィールドの使用に移行しています。最初のSTARKs実装では256ビットフィールドが使用されていましたが、この設計は効率が低いです。効率を向上させるために、STARKsはGoldilocks、Mersenne31、BabyBearなどのより小さなフィールドを使用し始めました。
! 【ヴィタリック新作:サークルスタークの探索】(https://img-cdn.gateio.im/webp-social/moments-7aa9220380d346efa2a3619b0f4e3372.webp)
小さなフィールドの使用は、ランダム性が不足するという問題など、いくつかの課題をもたらしました。この問題を解決するために、2つのアプローチがあります: 複数回のランダムチェックを行うか、フィールドを拡張することです。フィールドの拡張は、有限体に基づいた複素数に似ています。
! ヴィタリックの新作:サークルスタークの探索
Circle STARKsは巧妙なソリューションです。素数pが与えられると、pのサイズを持つグループを見つけることができ、その特性は二対一です。このグループは、x^2 mod pが特定の値に等しい点の集合など、特定の条件を満たす点で構成されています。
! ヴィタリックの新作:サークルスタークを探索する
Circle STARKsは、Circle FFTと呼ばれる特別なFFTを使用しています。それが処理する対象は厳密な多項式ではなく、Riemann-Roch空間です。開発者は具体的な詳細を理解する必要はなく、多項式を評価値の集合として扱うだけで済みます。
! ヴィタリックの新作:サークルスタークの探索
Circle STARKsを実現する際に注意すべき点は以下の通りです:
! 【ヴィタリック新作:サークルスタークの探索】(https://img-cdn.gateio.im/webp-social/moments-4e2ceec842bcdcc68f5efb0e9ec2d6ab.webp)
Circle STARKsは31ビット素数フィールド上で非常に効率的です。大きなフィールドSNARKsと比較して、計算スペースをより十分に活用できます。Biniusは特定の点で優れていますが、Circle STARKsの概念はよりシンプルです。
! 【ヴィタリックの新作:サークルスタークの探索】(https://img-cdn.gateio.im/webp-social/moments-0277731a7327da529c85417a01718c59.webp)
未来STARK最適化は以下に焦点を当てる可能性があります:
! ヴィタリックの新作:サークルスタークの探索
全体的に見て、Circle STARKsは概念がシンプルでありながら効率的なSTARKの実装ソリューションであり、さらなる探求と応用に値します。
! ヴィタリックの新作:サークルスタークの探索