Succinct SP1 découvre une vulnérabilité de haute gravité, le réseau principal pourrait accepter des preuves invalides
Le système de preuve à connaissance nulle SP1 de Succinct a révélé une vulnérabilité de fiabilité de haute gravité. Cette vulnérabilité a été divulguée le 11 octobre via l'annonce GitHub GHSA-p7v2-jjv3-8p8f, affectant les versions 6.0.0 à 6.8.0 du vérificateur Rust natif de SP1, ce qui pourrait permettre au réseau principal Prover Network d'accepter des preuves invalides. Des prouveurs malveillants peuvent soumettre des preuves d'exécution invalides, et le vérificateur du réseau continuera de les accepter. La cause de la vulnérabilité est que le vérificateur ne lit que les étiquettes des données, sans vérifier si le nombre d'éléments stockés correspond au produit des dimensions, permettant aux attaquants de falsifier les étiquettes pour faire passer des preuves invalides. Les preuves Groth16 et Plonk utilisant des formes fixes ne sont pas affectées, et le vérificateur Solidity sur la chaîne est également sécurisé. Succinct a publié la version corrigée 6.8.1 le 24 septembre, qui a été déployée sur le réseau principal ; cette version a ajouté une vérification de la longueur de désérialisation. La vulnérabilité a été découverte par Vitalis Salis et signalée par le programme de récompense des vulnérabilités Immunefi. Les utilisateurs exécutant le vérificateur Rust natif et acceptant des prouveurs non fiables doivent mettre à niveau vers la version 6.8.1.
Prix de --
Ce contenu est fourni à titre informatif uniquement et ne constitue pas un conseil financier, d'investissement, juridique ou fiscal. Les événements, récompenses, promotions en ligne ou informations mentionnées ici ne doivent pas être considérés comme une recommandation, une sollicitation ou une invitation à acheter, vendre, trader ou effectuer toute autre opération sur des actifs crypto. Les actifs crypto sont très volatils et peuvent entraîner des pertes. La disponibilité des services, produits et événements liés à WEEX peut varier selon les régions. Veuillez vous assurer que votre participation respecte les lois et réglementations locales applicables.
Vous pourriez aussi aimer
Qui est Kimchi, trader crypto ? Âge, vrai nom et parcours de trading
Qui est Kimchi, trader crypto ? Découvrez ce que l’on sait de son âge, du nom Clayton Kim, de son parcours de trading, de ses gains revendiqués et de son partenariat avec Pump.fun.

Un législateur sud-coréen affirme qu'un conseiller de Kim & Chang a promu des partenariats avec Vitoz dans l'enquête KOK

Buterin évoque la possibilité de coûts SNARK inférieurs à 10 fois

Le protocole Hashcheck, au cœur de la technologie des preuves à connaissance nulle

Le PDG de Cysic déclare que la preuve ZK doit aller au-delà des GPU alors que l'IA resserre l'approvisionnement en calcul

100 millions de tokens PROVE débloqués aujourd'hui au milieu des préoccupations de liquidité

Déblocages de tokens : 1,28 milliard de dollars en circulation

12,8 milliards de dollars de cryptomonnaies déverrouillées en août

Informations importantes de la nuit dernière et de ce matin (2 août - 3 août)

Qu'est-ce qu'une preuve à divulgation nulle de connaissance ? Explication de la confidentialité et de l'évolutivité

EMPIRES ouvre les inscriptions, pariant pouvoir résoudre le problème économique des jeux Web3

Polygon co-fondateur Sandeep: Rédaction après l'explosion de la chaîne de pont de chaîne

Projet d'investissement Paradigm Succinct lance l'application de caméra anti-falsification IA ZCAM

L’article original était trop court ou vide
Points clés : l’article souligne le rôle essentiel de données complètes dans la rédaction de contenus exhaustifs. Des techniques d’extraction précises…

Le ZEC poursuit sa hausse : quels projets axés sur la confidentialité méritent l’attention dans l’écosystème ?

Article de recherche Brevis : ZKVM et coprocesseur de données – la couche de calcul vérifiable infinie et fiable

a16z : une approche par phases pour une implémentation sécurisée et efficace des zkVM (à lire absolument pour les développeurs)

Un chercheur signale une faille dans Cake Wallet qui permettrait de détourner des paiements en bitcoin

Actions tokenisées : pourquoi 22 géants rejettent le plan de l'OKX et de l'ICE

Le tour de Tenstorrent concentre 85,1 % des financements en capital-risque crypto

Trump se prépare à une possible intensification des actions militaires contre l'Iran après les élections américaines et israéliennes

Crypto : Le Pentagone interdit à ses soldats de parier sur Polymarket et Kalshi

Chain Theory propose de dériver la constante fine à partir d'informations quantiques

Ethereum enregistre le plus grand retrait d'échange en quatre mois alors que les pertes des ETF d'octobre dépassent 1 milliard de dollars

Le marché de repo de Wall Street de 359 milliards de dollars par jour a trouvé une utilisation pour la blockchain

Le retard de la mise à jour Glamsterdam sur Ethereum retarde l'activation sur Hoodi

JPMorgan propose désormais deux fonds monétaires tokenisés sur Solana

Aperçu de la réglementation des actifs cryptographiques (onze) : Afrique du Sud, de la licence FSCA à la déclaration transfrontalière

Cryptomonnaies : ce géant du capital-risque raye le mot de son nom et se tourne vers l’IA

Suivre l'argent : 630 millions de dollars pour Strive, activité de Tether et attention à CeFi
Qui est Kimchi, trader crypto ? Âge, vrai nom et parcours de trading
Qui est Kimchi, trader crypto ? Découvrez ce que l’on sait de son âge, du nom Clayton Kim, de son parcours de trading, de ses gains revendiqués et de son partenariat avec Pump.fun.









