# zkProof Articles associés

Le Centre d'actualités HTX fournit les derniers articles et analyses approfondies sur "zkProof", couvrant les tendances du marché, les mises à jour des projets, les développements technologiques et les politiques réglementaires dans l'industrie crypto.

AmericanFortress a proposé un schéma pour protéger les portefeuilles cryptographiques contre les menaces quantiques

La société AmericanFortress a publié un préprint présentant ZKPoSP, un schéma cryptographique visant à protéger les portefeuilles déterministes hiérarchiques contre les menaces quantiques potentielles, sans nécessiter de changement d'adresses. Le mécanisme propose de remplacer les signatures classiques par une preuve à divulgation nulle de connaissance non interactive (NIZK), tout en conservant le format d'adresse existant. Le schéma décrit, QBIP32, est conçu pour générer un scalaire de signature, une preuve résistante aux attaques quantiques et un code de chaîne en un seul appel de fonction. Il serait applicable à diverses courbes elliptiques, dont secp256k1 et Ed25519. Sa sécurité post-quantique repose sur la robustesse supposée des fonctions de hachage et des preuves NIZK face à des adversaires quantiques. Cependant, pour être déployé, les nœuds des réseaux blockchain (comme Bitcoin, Ethereum ou Solana) devraient prendre en charge la vérification de ces nouvelles preuves, ce qui n'est pas le cas actuellement. Un prototype implémenté en Rust via RISC Zero indique des temps d'environ 12-13 secondes pour générer une preuve et 9-10 ms pour la vérifier. Cette annonce s'inscrit dans un contexte plus large de préparation de l'industrie aux défis quantiques, avec des initiatives récentes de sociétés comme Galaxy, Anchorage Digital et un consortium incluant BlackRock et Coinbase, qui investissent dans la recherche sur la cryptographie post-quantique. AmericanFortress avait déjà proposé en mai un schéma pour sécuriser les actifs existants, y compris d'anciens portefeuilles Bitcoin.

cryptonews.ruIl y a 9 h

AmericanFortress a proposé un schéma pour protéger les portefeuilles cryptographiques contre les menaces quantiques

cryptonews.ruIl y a 9 h

Zcash affirme que la preuve Ironwood exclut les bogues de contrefaçon indétectables

Les chercheurs de Zcash ont achevé la vérification formelle d'Ironwood, en publiant une preuve vérifiée par machine que le nouveau pool protégé du réseau ne contient pas de bogues de contrefaçon indétectables, sous ses hypothèses cryptographiques. Ce travail, écrit dans le langage de programmation Lean et comprenant plus de 2 700 théorèmes, a pris plus d'un mois à trois équipes. Il établit une propriété de sécurité appelée intégrité du solde, garantissant que le pool protégé ne peut pas distribuer plus de valeur qu'il n'en a reçu publiquement. La preuve couvre les composants nécessaires à cette propriété, comme le système de preuve à divulgation nulle de connaissance (ZKP) d'Ironwood, ses règles de circuit et sa comptabilité au niveau du registre. Elle ne couvre pas ses garanties de confidentialité séparées. Ironwood a été introduit via la mise à niveau NU6.3 de Zcash en réponse à une vulnérabilité découverte dans son ancien pool protégé Orchard, qui aurait pu théoriquement permettre une contrefaçon indétectable de ZEC. Les développeurs n'ont trouvé aucune preuve d'exploitation de cette faille. Le nouveau pool vise à restaurer la confiance dans l'intégrité de l'offre de Zcash. Les fonds migrant d'Orchard doivent passer par un point de contrôle public appelé "tourniquet", conçu pour empêcher toute entrée hypothétique de pièces excédentaires dans Ironwood. Ce processus pourrait également fournir des indices sur une éventuelle exploitation de l'ancien pool.

cointelegraphIl y a 16 h

Zcash affirme que la preuve Ironwood exclut les bogues de contrefaçon indétectables

cointelegraphIl y a 16 h

Le nouveau nœud Zcash, Zakura, est désormais en ligne : les paiements privés peuvent atteindre 50 000 TPS, visant à rivaliser avec Visa et Mastercard

Zcash lance Zakura, un nouveau nœud visant à transformer le réseau en une plateforme de paiement privée et hautement performante. Actuellement limité à environ 1 transaction privée par seconde, l'objectif est d'atteindre 50 000 TPS, rivalisant avec Visa et Mastercard, tout en préservant la confidentialité totale. Développé par Sean Bowe (cofondateur de la cryptographie Zcash) et Dev Ojha, et financé par des donations privées, Zakura est un fork du logiciel Zebra. Il introduit des fonctionnalités clés comme l'élagage ("pruning") et des instantanés de blockchain, réduisant la taille des données à 11 Go et permettant une synchronisation en moins de deux minutes. Pour atteindre ce débit, le projet Tachyon utilise des preuves récursives, réduisant considérablement la quantité de données à vérifier. Parallèlement, le Valar Group travaille sur des techniques de "Private Information Retrieval" (PIR) pour permettre aux portefeuilles de récupérer leurs transactions sans révéler leur identité. Cet effort fait suite à la découverte critique d'une faille dans le pool de confidentialité Orchard en mai, qui aurait permis de créer du ZEC contrefait. La mise à jour "Ironwood" (NU6.3), prévue pour fin juillet, isolera les éventuels ZEC frauduleux pour restaurer la confiance dans l'offre du réseau. Zakura représente ainsi une première étape cruciale pour concilier évolutivité de masse et garanties de vie privée robustes sur Zcash.

marsbit07/21 06:18

Le nouveau nœud Zcash, Zakura, est désormais en ligne : les paiements privés peuvent atteindre 50 000 TPS, visant à rivaliser avec Visa et Mastercard

marsbit07/21 06:18

活动图片