Succinct a annoncé avoir réalisé des progrès significatifs dans la fourniture de preuves zk-SNARKs pour Arbitrum. La société a réussi à vérifier de véritables blocs Arbitrum, y compris des smart contracts écrits en Solidity et utilisant l'Ethereum Virtual Machine, ainsi que des smart contracts Stylus écrits en Rust et en C. Pour atteindre ce jalon, Succinct a développé plusieurs fonctionnalités dans son système de preuves SP1, y compris la gestion de l'accès à la mémoire et la capacité de convertir du code WebAssembly en architecture RISC-V. En août de cette année, Succinct a conclu un partenariat exclusif d'un an avec Tandem pour fournir des preuves zk-SNARKs pour Arbitrum.
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
Succinct avance Arbitrum zk-SNARKs, atteignant une étape clé
Succinct a annoncé avoir réalisé des progrès significatifs dans la fourniture de preuves zk-SNARKs pour Arbitrum. La société a réussi à vérifier de véritables blocs Arbitrum, y compris des smart contracts écrits en Solidity et utilisant l'Ethereum Virtual Machine, ainsi que des smart contracts Stylus écrits en Rust et en C. Pour atteindre ce jalon, Succinct a développé plusieurs fonctionnalités dans son système de preuves SP1, y compris la gestion de l'accès à la mémoire et la capacité de convertir du code WebAssembly en architecture RISC-V. En août de cette année, Succinct a conclu un partenariat exclusif d'un an avec Tandem pour fournir des preuves zk-SNARKs pour Arbitrum.