Vitalik Buterin présente une nouvelle solution pour un ZK-EVM efficace dans son dernier article
En bref
Vitalik Buterin a publié un nouvel article sur son blog intitulé « Exploring Circle STARKs », présentant une nouvelle solution pour un ZK-EVM efficace.
Le cofondateur d'Ethereum, Vitalik Buterin, a publié un nouvel article intitulé « Exploring Circle STARKs » sur son blog. L'article souligne que Starkware, à cumul de validité décentralisé et sans autorisation, peut traiter 620,000 2 valeurs de hachage Poséidon3 par seconde sur un ordinateur portable à puce M2. Cette avancée suggère que si PoséidonXNUMX est fiable en tant que fonction de hachage, il sera difficile de développer une méthode efficace à connaissance nulle. Ethereum La machine virtuelle (EVM) a été résolue.
L'article souligne que les STARK circulaires introduisent une complexité supplémentaire minime pour les développeurs par rapport aux STARK standard. Les principales différences se limitent essentiellement à trois problèmes clés lors de leur mise en œuvre, contrairement au FRI classique.
Même si les principes mathématiques derrière les « polynômes » utilisés dans le cercle FRI sont quelque peu contre-intuitifs et peuvent nécessiter du temps pour être pleinement compris, cette complexité est en grande partie cachée aux développeurs. L'article souligne que la nature complexe des principes mathématiques du cercle est résumée plutôt que systématique.
Parallèlement, la compréhension des FRI en cercle et des FFT en cercle peut également servir d'introduction utile à d'autres FFT spécialisées. Cela inclut notamment les FFT à champ binaire, qui sont utilisées dans des systèmes comme Binius et LibSTARK, ainsi que des constructions plus complexes telles que les FFT à courbe elliptique. Les FFT à courbe elliptique utilisent des mappages peu à 1 qui s'intègrent bien aux opérations de points de courbe elliptique.
Vitalik Buterin anticipe l'arithmétisation des primitives de base comme une avancée clé dans l'optimisation STARK
Enfin, Vitalik Buterin suggère que la combinaison de techniques telles que Mersenne31, BabyBear et de méthodes de champ binaire comme Binius se rapproche de la limite d'efficacité de la « couche de base » de STARK. Il prévoit que les progrès futurs dans STARK l'optimisation se concentrera sur l'optimisation de l'arithmétisation des primitives de base, telles que les fonctions de hachage et les signatures, et sur l'amélioration de ces primitives elles-mêmes pour atteindre cet objectif.
De plus, l'accent sera mis sur le développement de constructions récursives pour permettre une plus grande parallélisation, sur l'arithmétisation des machines virtuelles (VM) pour améliorer l'expérience des développeurs et sur d'autres tâches avancées.
Clause de Non-responsabilité
En ligne avec la Lignes directrices du projet de confiance, veuillez noter que les informations fournies sur cette page ne sont pas destinées à être et ne doivent pas être interprétées comme des conseils juridiques, fiscaux, d'investissement, financiers ou toute autre forme de conseil. Il est important d’investir uniquement ce que vous pouvez vous permettre de perdre et de demander des conseils financiers indépendants en cas de doute. Pour plus d'informations, nous vous suggérons de vous référer aux conditions générales ainsi qu'aux pages d'aide et de support mises à disposition par l'émetteur ou l'annonceur. MetaversePost s'engage à fournir des rapports précis et impartiaux, mais les conditions du marché sont susceptibles de changer sans préavis.
A propos de l'auteur
Alisa, journaliste dévouée au MPost, se spécialise dans les crypto-monnaies, les preuves sans connaissance, les investissements et le vaste domaine de Web3. Avec un œil attentif sur les tendances et technologies émergentes, elle propose une couverture complète pour informer et impliquer les lecteurs dans le paysage en constante évolution de la finance numérique.
Plus d'articlesAlisa, journaliste dévouée au MPost, se spécialise dans les crypto-monnaies, les preuves sans connaissance, les investissements et le vaste domaine de Web3. Avec un œil attentif sur les tendances et technologies émergentes, elle propose une couverture complète pour informer et impliquer les lecteurs dans le paysage en constante évolution de la finance numérique.