Le fondateur de Cardano dévoile un nouveau langage de programmation pour des transactions crypto plus sûres
Charles Hoskinson, le fondateur de Cardano, travaille sur un nouveau langage de programmation qui doit rendre les transactions cryptographiques plus simples et plus sûres. Les utilisateurs n'ont qu'à indiquer ce qu'ils souhaitent accomplir, après quoi le logiciel détermine lui-même les étapes nécessaires et fournit une preuve numérique du résultat. Hoskinson collabore avec le développeur Lucas Rosa sur ce langage, qui repose sur des "intentions", permettant à l'utilisateur de spécifier le résultat final sans avoir à définir chaque étape technique à l'avance. Le logiciel associera également une preuve au résultat, permettant à d'autres applications de vérifier si les règles ont été respectées sans avoir à recalculer les précédentes. Cela est désigné sous le terme de "proof-carrying data" et utilise la méthode Groth16 pour une vérification rapide. Des détails importants tels que le nom, le code public et la date de lancement du nouveau langage ne sont pas encore connus. Il n'est pas clair si le langage remplacera ou complétera des options existantes telles qu'Aiken et Plutus.
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

Standard Chartered acquiert Zodia Custody pour améliorer ses services de cryptomonnaie

Solana présente Quantumglow pour protéger Alpenglow des attaques quantiques

NEAR ajoute un effet de levier croisé aux contrats perpétuels confidentiels alimentés par Hyperliquid

Bitcoin Core 32.0 cause des problèmes de signature multisig sur les anciens nœuds

Protocole DeFi fermé : Ce qui reste récupérable

Meta accumule 825 milliards de dollars en engagements d'IA d'ici 2036

Une démonstration de coffre-fort de confidentialité Midnight nécessite des signataires externes pour libérer des jetons Ethereum

Que doivent faire les héritiers pour retirer légalement des cryptomonnaies laissées par un proche décédé ?

La société mère de Gold House acquiert THREESTONES VENTURES LTD au Canada

La Colombie capture un réseau ayant blanchi 42 millions de dollars avec des cryptomonnaies

Les règles de récupération de Qubic nécessitent des vérifications de propriété même pour des fonds non volés dans des portefeuilles vulnérables

Delphi Digital : Pourquoi la spéculation est le thème des dix prochaines années

Cysic propose un programme de récompense de 10 % pour les hackers éthiques, exigeant le retour de 275,872 ETH dans les 72 heures

USDC classé comme le premier "jeton de monnaie électronique significatif" de l'UE

La Banque de réserve d'Australie supprime les frais supplémentaires pour les paiements par carte à partir du 1er octobre 2026

GRVT brûle 1,1 million de tokens alors que le compte à rebours pour Grvt 2.0 commence

Albuquerque interdit les distributeurs automatiques de Bitcoin

Informations importantes de la nuit dernière et de ce matin (21-22 octobre)

D-Wallet Guardian Sign : une triple protection pour réduire le risque de fuite de certificats

OpenAI soutient le renforcement de la régulation de la sécurité de l'IA en Californie

Kaspa finalise 3 normes pour les jetons natifs et les applications de covenant

Zebec Network annonce un rachat de 100 000 $ de 40,5 millions de ZBCN au T3

NEAR AI dépasse 1 million de tokens stakés pour financer l'inférence AI

Mémorandum d'entente entre Meritz Securities et Optimism pour explorer les actifs financiers tokenisés

Standard Chartered va absorber Zodia Custody après avoir signé un accord d'acquisition

Élections de mi-mandat aux États-Unis : comment les changements de contrôle du Congrès affectent-ils la tarification du marché des cryptomonnaies ?

De Ledger à Bitget : Quels sont les « angles morts de confiance » négligés en matière de sécurité crypto ?

Le FSB propose 12 pratiques de gouvernance de l'IA pour les institutions financières

Mastercard ouvre l'accès anticipé à un système de paiement pour les agents IA










