# Preuve Articles associés

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

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.

cointelegraphHier 01:17

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

cointelegraphHier 01:17

GPT-5.6 résout en 1 heure une conjecture mathématique vieille de 50 ans, 64 IA s'emparent de la couronne de la théorie des graphes

Le 11 juillet, OpenAI a annoncé que GPT-5.6 Sol Ultra avait prouvé la « conjecture de la double couverture par cycles », un problème non résolu en théorie des graphes depuis 50 ans, en moins d'une heure. Le système a utilisé 64 agents IA parallèles, orchestrés pour éviter les écueils classiques de la recherche : exploration de voies diverses, interdiction de suivre aveuglément une piste prometteuse, et présence d'une « équipe de vérification » chargée de critiquer rigoureusement chaque étape. Grâce au calcul parallèle en temps de test (TTC), cette approche a permis de compresser en une heure un travail qui aurait pu prendre des jours. La preuve générée par l'IA procède en plusieurs étapes clés. Elle commence par simplifier le problème aux graphes cubiques. Puis, elle utilise le théorème des 8-flots de Tutte pour associer à chaque arête un vecteur non nul. Ensuite, un lemme ingénieux montre que si l'on peut attribuer à chaque arête un ensemble de deux « étiquettes » satisfaisant certaines conditions de parité aux sommets, la conjecture est démontrée. Enfin, le problème est transformé en un système d'équations linéaires, où l'algèbre linéaire permet de prouver qu'une solution existe toujours. Cette démonstration entièrement automatisée marque un bond en avant dans les capacités de raisonnement abstrait de l'IA. Bien que des questions subsistent sur l'équivalence entre la profondeur et la parallélisation, cet exploit ouvre la perspective de résoudre d'autres problèmes scientifiques complexes à un rythme sans précédent.

marsbit07/15 08:04

GPT-5.6 résout en 1 heure une conjecture mathématique vieille de 50 ans, 64 IA s'emparent de la couronne de la théorie des graphes

marsbit07/15 08:04

Le mathématicien IA de Tsinghua est arrivé, des idées aux théorèmes, participe à la réalisation d'un article d'algorithme quantique de 84 pages

Le système AIM (Artificial Intelligence Mathematician) de l'Institut de recherche sur l'intelligence industrielle (AIR) de l'Université Tsinghua ne se contente plus de résoudre des problèmes mathématiques, mais commence à participer au processus de recherche scientifique en amont. Une étude récente démontre son implication dans le développement d'algorithmes quantiques. À partir d'une intuition de départ fournie par des chercheurs humains - l'utilisation d'approximations rationnelles pour concevoir des algorithmes quantiques - AIM a contribué à explorer des pistes, organiser des théorèmes et générer des ébauches de preuves. Guidée et validée à chaque étape par le jugement humain, cette collaboration a abouti à un article de 84 pages proposant une nouvelle famille d'**algorithmes quantiques par encodage du signe (Sign Embedding Quantum Algorithms)**. Le processus de travail collaboratif s'est articulé en cinq phases : expansion de pistes de recherche par l'IA, sélection et orientation par les humains, formation des théorèmes et dérivation assistée, audit et correction des complexités, et enfin validation et intégration finale par les chercheurs. Ce modèle met en avant non pas une découverte mathématique entièrement automatisée, mais une **synergie où l'IA augmente l'efficacité de l'exploration et de la dérivation, tandis que l'expert humain conserve le contrôle des décisions stratégiques, de l'évaluation de la valeur et de la validation rigoureuse**. Cette étude illustre l'évolution du rôle de l'IA dans la recherche théorique, passant d'une assistance sur des tâches ponctuelles à une participation intégrée dans un flux de travail complet, ouvrant de nouvelles perspectives pour accroître la productivité dans les domaines scientifiques fondamentaux. **Liens :** Rapport sur AIM : [arXiv:2606.24899](https://arxiv.org/abs/2606.24899) | Article sur les algorithmes quantiques : [arXiv:2604.25333](http://arxiv.org/abs/2604.25333)

marsbit07/10 02:58

Le mathématicien IA de Tsinghua est arrivé, des idées aux théorèmes, participe à la réalisation d'un article d'algorithme quantique de 84 pages

marsbit07/10 02:58

L'industrie de la cryptographie entre dans l'ère du "Prouvez-le" : la seule vision ne suffit plus

L'industrie de la cryptographie est entrée dans l'ère du "Montrez-moi" (Show Me Era). Alors que le secteur technologique était autrefois porté par des idées et des produits minimums viables (MVP), le paysage a changé. L'arrivée massive d'institutions de finance traditionnelle (TradFi) comme BlackRock, Fidelity et JPMorgan, lançant des produits concrets tels que des fonds tokenisés et des ETF, a considérablement relevé la barre. Les projets ne peuvent plus se contenter de promesses, de livres blancs ou de visions ambitieuses. Désormais, pour obtenir de la crédibilité auprès des médias, des partenaires et du marché, les projets doivent fournir des preuves tangibles. Cela implique de démontrer des partenariats réels avec des intégrations concrètes, de partager des données vérifiables sur la chaîne (volume de transactions sur le mainnet, nombre de portefeuilles actifs), et de prouver une adéquation produit-marché via une communauté organique et des clients récurrents. La communication efficace doit donc s'appuyer sur un "stack de preuves", en mettant d'abord en avant ce qui est déjà construit et utilisé. Par exemple, affirmer réduire le temps de règlement transfrontalier de trois jours à quatre minutes avec des entreprises clientes est bien plus puissant qu'énoncer une simple vision sur l'avenir des paiements. Si la vision reste importante, le ratio de la communication a basculé : il faut désormais 80% de substance et de preuves pour 20% de vision. Cette évolution, accentuée par un cadre réglementaire qui se précise, n'est pas temporaire. Elle profite aux projets sérieux ayant des fondamentaux solides, en filtrant le bruit et en permettant à leurs véritables signaux de ressortir. La question clé pour les équipes est de savoir si leur stratégie de communication est conçue pour prouver leurs réalisations ou simplement pour faire des promesses.

链捕手06/25 06:25

L'industrie de la cryptographie entre dans l'ère du "Prouvez-le" : la seule vision ne suffit plus

链捕手06/25 06:25

活动图片