# Vérification Articles associés

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

Huang Renxun : Le Prompt est mort, tout le monde de l'IA est en train de poursuivre frénétiquement les Loops

Le prompt engineering est en train d’être dépassé par le « Loop Engineering », une approche où les systèmes d'IA fonctionnent en cycles autonomes. Des figures comme Jensen Huang, Andrew Ng et Andrej Karpathy affirment que l'avenir réside non plus dans l'écriture manuelle de prompts, mais dans la conception de boucles automatisées où l'IA découvre, exécute, valide et améliore ses propres tâches. Un livre blanc viral en décrit le processus en cinq étapes clés : découverte, délégation, validation, persistance et planification. La validation, assurée par un agent évaluateur indépendant, est cruciale pour éviter les biais. Bien que plus coûteuse en temps et en calcul, cette méthode produit des résultats de bien meilleure qualité. Le risque majeur est la « reddition cognitive », où les ingénieurs, trop dépendants de l'automatisation, perdent la compréhension du code généré. Ainsi, la rareté ne sera plus la capacité à générer du code, mais le jugement humain pour guider et contrôler ces systèmes en boucle.

marsbit06/29 08:43

Huang Renxun : Le Prompt est mort, tout le monde de l'IA est en train de poursuivre frénétiquement les Loops

marsbit06/29 08:43

L'IA déferle sur le monde, pourquoi la combinaison Crypto + IA est-elle si morose ?

Résumé : Alors que l'IA connaît un essor mondial, la convergence avec la blockchain (Crypto + IA) reste en retrait. L'analyse révèle que le problème n'est pas une contradiction logique, mais un décalage structurel entre l'offre technologique et la demande actuelle du marché. Le secteur traditionnel de l'IA investit massivement pour résoudre des goulots d'étranglement immédiats (performance, coût, stabilité). En revanche, les projets Blockchain+IA se concentrent sur des avantages à long terme comme la propriété des données, la transparence ou la décentralisation, qui ne sont pas des priorités pour les entreprises. Quatre sous-secteurs sont examinés : 1. **Calcul décentralisé & stockage décentralisé** : Malgré une logique valable (coûts, souveraineté), ils manquent d'un avantage technique décisif pour justifier le risque de migration depuis les géants du cloud (AWS, Google Cloud). 2. **Marchés de données sur chaîne & vérification des modèles (ZKML)** : Ces solutions répondent à des besoins (transparence, confidentialité) qui ne sont pas encore des impératifs commerciaux urgents. Leur adoption dépendra probablement de régulations futures, comme l'AI Act de l'UE. 3. **Infrastructure pour agents IA** : La technologie devance la demande. Les entreprises automatisent d'abord des processus internes, tandis que les projets blockchain construisent l'infrastructure pour une économie future d'agents autonomes interagissant entre eux. 4. **Paiement pour agents IA** : C'est le seul sous-secteur où la blockchain est sur un pied d'égalité avec la finance traditionnelle, car aucun système n'a encore résolu le défi des micro-paiements en temps réel entre machines. Le principal obstacle est l'absence de cas d'utilisation à grande échelle et convaincant prouvant la valeur commerciale. La voie à suivre dépendra de la capacité du secteur à s'adapter aux standards actuels de performance ou à persister dans le développement d'une infrastructure pour les besoins futurs de l'IA.

Foresight News06/29 06:20

L'IA déferle sur le monde, pourquoi la combinaison Crypto + IA est-elle si morose ?

Foresight News06/29 06:20

Panorama du marché de l'inférence IA : comment les projets crypto peuvent-ils se démarquer ?

**Résumé : Le marché de l'inférence AI, nouvel enjeu économique** Le centre de gravité de l'économie AI se déplace de l'entraînement des modèles vers l'**inférence** – le processus de génération de réponses par un modèle. Ce marché, comparé à un jeu de "Risk", voit divers acteurs se disputer des territoires distincts. Les **fournisseurs traditionnels** (hyperscalers comme AWS, routeurs comme OpenRouter, spécialistes des modèles open source) dominent sur la fiabilité, l'expérience développeur et les processus d'entreprise. Les **réseaux cryptographiques** (Chutes, Akash, io.net, Targon, Venice, etc.) explorent des avantages différents : accès ouvert, offre à moindre coût, **confidentialité**, calcul vérifiable et nouveaux mécanismes d'incitation natifs pour les agents autonomes. Le **niveau routeur** (ex: OpenRouter) devient stratégique. Il agrège l'offre et achemine chaque requête vers le meilleur fournisseur selon le prix, la latence ou la confidentialité, devenant l'interface du marché. L'analyse distingue plusieurs catégories dans le camp crypto : réseaux d'inférence sans serveur (Chutes), marchés de GPU décentralisés (Akash, io.net), calcul confidentiel (Targon), applications privées (Venice, Darkbloom) et couches d'orchestration (NuNet). Pour réussir, les projets crypto doivent démontrer une **demande payante réelle**, une intégration aux routeurs, des garanties de vérification et de confidentialité solides, et une capture de valeur tangible par leurs jetons. La conclusion est que la valeur finale se situera au niveau du **contrôle de la demande**, du routage, de la vérification et du règlement, bien plus qu'au niveau de la simple possession de capacité de calcul. Les réseaux qui rendront l'inférence décentralisée fiable et ordinaire pour les développeurs seront les gagnants.

Foresight News06/25 07:15

Panorama du marché de l'inférence IA : comment les projets crypto peuvent-ils se démarquer ?

Foresight News06/25 07:15

L'histoire complète de Blockstream, la licorne de la cryptographie, profondément impliquée dans de graves fraudes

Depuis le début de l'année, Blockstream, la société cofondée par le pionnier du Bitcoin Adam Back, est sous le feu des critiques. Une enquête publiée début juin par NatInfoSec accuse la société d'avoir potentiellement levé des milliards de dollars via des billets de mine (BMN) liés à des revenus miniers, mais soulève des doutes sur la réalité des fermes de minage et de la puissance de calcul sous-jacente, évoquant des caractéristiques de type schéma de Ponzi. Les principaux points d'accusation sont les suivants : 1. **Capacité de minage et de paiement douteuses** : Pour honorer ses obligations, Blockstream aurait besoin d'une puissance de calcul bien supérieure (20-45 EH/s) à celle affichée sur son tableau de bord (15 EH/s). Aucune preuve publique (connexions électriques, importations de matériel, parts de pool minier) ne corrobore l'existence d'une infrastructure à cette échelle. Les clauses contractuelles permettraient de plus d'utiliser des bitcoins provenant de sources non divulguées pour les paiements. 2. **Rendements élevés et risque** : Les billets offriraient des rendements fixes allant jusqu'à environ 20% par an, ce qui est considéré comme très élevé et difficile à justifier dans le secteur cyclique du minage de Bitcoin. 3. **Antécédents et divulgation concernant Chris Cook** : Christopher William Cook, ancien responsable des opérations minières de Blockstream et actuel PDG d'Exacore (une entité scindée), a été condamné en 2008 pour fraude postale. Ce passé judiciaire n'aurait pas été divulgué dans les documents d'offre des BMN. Des allégations portent également sur des déclarations trompeuses concernant son expérience professionnelle. 4. **Implications potentielles pour BSTR** : L'enquête soulève des questions sur l'entreprise Bitcoin Standard Treasury (BSTR), liée à Adam Back, qui prévoit une introduction en bourse via SPAC, s'interrogeant sur la divulgation des risques liés aux BMN et sur d'éventuels conflits d'intérêts dans sa structure. La recherche BitMEX a apporté des nuances, confirmant probablement les antécédents de Cook et s'interrogeant sur les rendements, mais estimant que d'autres accusations manquaient de preuves ou étaient trompeuses, notamment concernant la séparation juridique entre les BMN et BSTR. Le débat dans la communauté s'est concentré sur la **vérifiabilité** : les investisseurs et observateurs peuvent-ils indépendamment vérifier la puissance de calcul, les revenus miniers réels et la source des paiements ? Malgré les prises de position divergentes, des questions cruciales sur les BMN demeurent sans réponse claire : leur taille réelle et leurs limites de responsabilité, l'adéquation entre la puissance minière et les obligations, l'origine des rendements élevés, la traçabilité des paiements en BTC, et le rôle exact de Chris Cook. Blockstream n'a pas encore publié de réponse systématique à ces allégations.

marsbit06/24 15:17

L'histoire complète de Blockstream, la licorne de la cryptographie, profondément impliquée dans de graves fraudes

marsbit06/24 15:17

Les IA Agent auront aussi un "casier judiciaire" : L'ERC-8126 comble le vide en matière de confiance on-chain

Les agents IA sur la blockchain posent désormais des questions de confiance au-delà de leurs simples capacités. L'ERC-8126, construit sur l'identité fournie par l'ERC-8004, propose une couche de vérification standardisée pour évaluer leur fiabilité. Ce protocole permet à des fournisseurs de vérification indépendants d'examiner un agent selon cinq axes principaux : la validité de ses contrats et tokens (ETV), l'authenticité de ses médias (MCV), la sécurité de son code Solidity (SCV), la fiabilité de ses applications web et API (WAV), et l'historique de son portefeuille (WV). Les résultats sont synthétisés en un score de risque unique (de 0 à 100) et des preuces, facilitant leur utilisation par les portefeuilles, marketplaces et autres applications. L'approche intègre des concepts comme la Preuve à Divulgation Nulle de Connaissance (ZKP) pour permettre une vérification sans exposer des données sensibles. Avec l'ERC-8183 dédié au commerce, l'ERC-8126 forme, aux côtés de l'ERC-8004, une base infrastructurelle pour une économie d'agents où l'identité, la vérification et les transactions sont interconnectées. En standardisant la manière de vérifier les agents et de consommer ces signaux, l'ERC-8126 cherche à réduire les coûts de confiance pour les utilisateurs et les applications, sans pour autant garantir une fiabilité absolue. Son impact dépendra de son adoption par l'écosystème.

marsbit06/22 14:00

Les IA Agent auront aussi un "casier judiciaire" : L'ERC-8126 comble le vide en matière de confiance on-chain

marsbit06/22 14:00

Quels secteurs de la crypto ont été « mangés » par les agents d'IA ?

Le paysage crypto évolue rapidement sous l'influence des agents IA, qui dominent désormais certains secteurs clés tout en coexistant avec les humains dans d'autres. Les domaines où les agents IA prédominent clairement incluent le trading de dérivés (contrats perpétuels), où leur vitesse et leur exécution 24/7 surclassent les traders humains, comme l'a démontré un concours sur Aster. L'arbitrage (MEV) est entièrement automatisé, les robots capturant la majorité de la valeur. L'optimisation des rendements (yield) est également un secteur « agent-first », avec une adoption croissante sur des plateformes comme Giza et ZyFAI. Le trading au comptant et l'optimisation de portefeuille voient une part importante de l'activité conduite par des agents. Certains secteurs sont des champs de bataille où agents et humains coexistent. Sur les marchés prévisionnels (comme Polymarket), les agents excellent dans l'arbitrage à court terme, mais les humains restent compétitifs pour les paris à long terme nécessitant du jugement. Dans le prêt DeFi, si les robots gèrent les liquidations, les décisions principales de dépôt et d'emprunt restent largement humaines. Enfin, des secteurs restent principalement dirigés par les humains. Les paiements par stablecoins et cartes sont massivement utilisés pour des transferts personnels et du commerce réel, notamment dans les marchés émergents. Les portefeuilles (wallets) constituent la couche d'interaction finale nécessitant un consentement et une supervision humaine. Face à la montée des agents, des projets comme World (AgentKit), t54, Self Protocol et Kite AI développent des couches de vérification pour lier de manière sûre et prouvable les agents à des humains, assurant responsabilité et confiance dans l'économie agentique. En conclusion, si les agents dominent les domaines basés sur la vitesse et l'optimisation, les activités humaines cruciales liées aux paiements, à l'identité et au jugement subtil restent essentielles et génératrices de valeur.

Foresight News06/22 07:15

Quels secteurs de la crypto ont été « mangés » par les agents d'IA ?

Foresight News06/22 07:15

De l'identité protocolaire au portail de l'IA, quelle est l'ampleur des ambitions de World ?

World (WLD) suscite une forte attention suite à l'annonce de son passage à l'étape 3 de son plan, marquant une évolution de la simple distribution de tokens vers une logique d'utilité. L'objectif central du projet est de créer un réseau mondial de "preuve de personnalité" (World ID) via un scan de l'iris, afin de différencier les humains des bots ou des agents IA dans l'espace numérique. Cette vision prend tout son sens avec l'explosion de l'IA générative, qui rend la vérification d'identité humaine de plus en plus cruciale. World déploie désormais sa technologie sur trois fronts : les entreprises (pour lutter contre la fraude), les particuliers (pour des services comme la billetterie) et, surtout, les agents IA. Son AgentKit vise à établir un cadre de confiance pour les autorisations entre humains et IA. La hausse de WLD reflète une réévaluation par le marché de la rareté et de la valeur d'une "identité humaine vérifiée" à l'ère de l'IA. World affine sa stratégie en se concentrant sur des marchés clés et en développant un Orb de nouvelle génération plus autonome, visant une viabilité commerciale. En introduisant des frais pour les utilisateurs professionnels du protocole, le projet commence à construire un modèle économique. À plus long terme, World ambitionne de devenir une infrastructure fondamentale et un point d'entrée pour l'économie des agents IA, en positionnant l'identité comme un actif composable au cœur de l'internet de demain.

marsbit06/16 00:05

De l'identité protocolaire au portail de l'IA, quelle est l'ampleur des ambitions de World ?

marsbit06/16 00:05

À quel point est-il difficile de fabriquer une puce ? Une erreur de division et 475 millions de dollars sont partis en fumée

Qu'est-ce qui rend la conception des puces si difficile ? Dans une conférence, Shi Kan, chercheur à l'Institut de technologie informatique de l'Académie chinoise des sciences et créateur de contenu scientifique, l'explique en prenant l'exemple du célèbre bogue de la division en virgule flottante du processeur Pentium d'Intel dans les années 1990. Une simple erreur de calcul a contraint la société à dépenser 475 millions de dollars pour rappeler les puces défectueuses. Contrairement aux logiciels, les puces électroniques ne peuvent pas être corrigées après leur fabrication. Leur développement exige donc une parfaite fiabilité dès le premier essai, ce qui est rare : seulement 24 % des projets de puces réussissent du premier coup. La phase de vérification, cruciale pour détecter les erreurs de conception avant la production, est devenue le goulet d'étranglement. Elle peut représenter jusqu'à 70 % du cycle de conception, d'autant plus que la complexité des puces ne cesse de croître. Vérifier exhaustivement un cœur de processeur avec les technologies actuelles prendrait des millénaires. Face à ce défi, Shi Kan et son équipe se consacrent à la recherche sur la vérification des puces, un domaine exigeant et souvent négligé. Ils ont développé une plateforme de vérification agile nommée ENCORE, basée sur des FPGA (Field-Programmable Gate Arrays), pour améliorer radicalement l'efficacité et la capacité de débogage. Parallèlement à ses travaux académiques, Shi Kan s'engage dans la vulgarisation scientifique sur les puces via sa chaîne "老石谈芯". Il considère à la fois la recherche pointue sur la vérification et la diffusion des connaissances au grand public comme des tâches difficiles mais essentielles, qui méritent un engagement à long terme. Pour lui, la difficulté et la persévérance requises sont souvent le signe de la justesse d'une voie.

marsbit06/15 10:36

À quel point est-il difficile de fabriquer une puce ? Une erreur de division et 475 millions de dollars sont partis en fumée

marsbit06/15 10:36

Claude oblige à « montrer patte blanche », à partir de juillet, plus de service sans carte d'identité ?

Anthropic, la société derrière l'IA Claude, a envoyé un e-mail à ses utilisateurs annonçant une mise à jour majeure de sa politique de confidentialité, effective à partir du 8 juillet. Le changement le plus marquant est l'introduction possible d'une vérification d'identité et d'âge pour les comptes grand public (Free, Pro, Max). Cette vérification, justifiée par des raisons de sécurité et de fiabilité, serait effectuée via le service tiers Persona. Le processus pourrait nécessiter de télécharger une pièce d'identité officielle avec photo (passeport, permis de conduire) et de prendre une photo de soi en temps réel pour comparaison. Anthropic précise que ces données de vérification ne seraient pas utilisées pour l'entraînement des modèles et ne seraient pas stockées sur ses serveurs. Cette mesure s'inscrirait dans un contexte où Claude gagne en capacités d'« agent », pouvant exécuter des tâches à plusieurs étapes et interagir avec des applications tierces, élargissant ainsi la circulation des données utilisateurs. L'article établit un parallèle avec des événements récents comme la suspension du compte "Fable 5", y voyant le signe d'un resserrement général des contrôles dans l'industrie de l'IA. L'ère des agents IA puissants nécessiterait, selon l'auteur, des mécanismes de traçabilité et de responsabilité plus stricts. Seuls les comptes personnels sont concernés par cette évolution ; les clients professionnels (Team, Enterprise) ne seraient pas affectés. Les conditions exactes déclenchant la demande de vérification restent à préciser par Anthropic après la date du 8 juillet.

链捕手06/15 10:23

Claude oblige à « montrer patte blanche », à partir de juillet, plus de service sans carte d'identité ?

链捕手06/15 10:23

Zcash Orchard : Quatre questions sur la faille : A-t-elle été exploitée ? Les fonds sont-ils récupérables ? La masse monétaire est-elle vérifiable ? Y en a-t-il d'autres ?

L'article aborde la découverte récente d'une vulnérabilité critique dans le bassin de confidentialité Orchard de Zcash, et répond à quatre questions principales concernant ses implications. **1. La vulnérabilité a-t-elle été exploitée ?** La réponse est inconnue, mais les auteurs estiment que l'exploitation antérieure est peu probable. La vulnérabilité, découverte par des recherches proactives avancées utilisant l'IA, est restée cachée malgré des audits continus. Une réponse rapide a gelé le bassin Orchard, limitant la fenêtre d'opportunité pour une attaque. Aucune preuve d'exploitation ou de liquidation massive de ZEC forgés n'a émergé, ce qui est cohérent avec le fait que les attaquants agissent généralement rapidement. **2. Les fonds légitimes dans Orchard peuvent-ils être récupérés ?** Oui, si la vulnérabilité n'a pas été exploitée. Si elle l'a été, le mécanisme de "tourniquet" (turnstile) limite la migration totale hors d'Orchard au montant de ZEC légitimement entrés. Ainsi, si des fonds forgés migraient avant les fonds légitimes, une partie de ces derniers pourrait être perdue. Les auteurs jugent ce scénario improbable mais conseillent aux utilisateurs prudents de transférer leurs fonds, en tenant compte des risques associés (perte de confidentialité, dépendance à une configuration de confiance pour Sapling, risques logiciels ou de garde). **3. Les utilisateurs peuvent-ils vérifier que l'offre de ZEC n'a pas été augmentée ?** **Pas actuellement.** L'existence passée de la vulnérabilité empêche toute vérification indépendante. Cependant, la mise à niveau réseau **Ironwood** proposée rétablira cette capacité en **scellant le bassin Orchard** (aucune nouvelle entrée ni circulation interne). Seule la sortie via le tourniquet reste possible, garantissant qu'aucun ZEC excédentaire ne peut rester en circulation. Cela permettra à chacun de vérifier que la limite d'offre du protocole est respectée, restaurant ainsi un pilier essentiel de la crédibilité de Zcash. **4. Existe-t-il d'autres vulnérabilités de falsification ?** On ne peut en être totalement certain, mais des examens approfondis et continus par plusieurs équipes, incluant l'utilisation de modèles d'IA avancés, n'ont jusqu'à présent **détecté aucune autre vulnérabilité de ce type**. Des collaborations sont en cours pour apporter des garanties supplémentaires. Bien que des travaux restent nécessaires pour une certitude absolue, la confiance dans l'absence d'autres failles similaires est forte. **Conclusion :** Les auteurs estiment que l'exploitation est improbable, que les fonds légitimes sont récupérables et que l'offre actuelle est sûre. Ils affirment également avoir une confiance croissante en l'absence d'autres vulnérabilités. Toutefois, ils soulignent que **la capacité des utilisateurs à vérifier par eux-mêmes l'intégrité de l'offre est cruciale**. La mise à niveau **Ironwood**, en scellant Orchard, est présentée comme la solution pour restaurer cette vérification indépendante, sans que les utilisateurs n'aient à se fier uniquement à des évaluations tierces.

marsbit06/15 07:54

Zcash Orchard : Quatre questions sur la faille : A-t-elle été exploitée ? Les fonds sont-ils récupérables ? La masse monétaire est-elle vérifiable ? Y en a-t-il d'autres ?

marsbit06/15 07:54

活动图片

Catégories populairesright-arrow

Tags tendancesright-arrow

Politiques réglementairesright-arrow