Le délégué de Cardano soutient la proposition High Assurance avec un vote oui de 66,68 millions d’ADA axé sur les outils de sécurité des contrats intelligents.
Un délégué de Cardano a voté oui avec 66,68 millions d’ADA sur la proposition de retrait de la trésorerie intitulée « IO : Cardano High AssuranceCollaboration technique.»
Le vote a été exprimé au nom de délégués fidèles et il soutient des outils visant à renforcer la sécurité des contrats intelligents et à faciliter l’intégration des développeurs.
La proposition du Trésor de Cardano reçoit un large vote en faveur du oui
Le délégué a déclaré que le vote soutient formellement la proposition de collaboration technique Cardano High Assurance.
La proposition se concentre sur les outils de sécurité, l’accès des développeurs et la collaboration technique à travers le monde.Écosystème Cardano.
Le oui a été obtenu avec 66,68 millions d’ADA. Ce montant représente un pouvoir de vote délégué, et pas seulement une seule participation personnelle.
Le délégué a déclaré que le vote avait été soumis « au nom de mes fidèles délégués ».
Je viens de voter OUI avec 66,68 millions d’ADA sur la proposition de retrait du trésor : IO : Cardano High Assurance Technical Collaboration
Au nom de mes fidèles délégués.
Raisonnement
J’enregistre officiellement un vote OUI sur la collaboration technique Cardano High Assurance. Tout au long de…-Dave (@ItsDave_ADA)20 mai 2026
La proposition recherche un financement du Trésor pour des outils liés au développement à haute assurance.
Il se concentre sur la vérification formelle, qui aide les développeurs à tester les logiciels avec des méthodes mathématiques avant leur lancement.Cardano promeut depuis longtemps la sécurité et le développement basé sur la recherche.
La proposition présente les outils de haute assurance comme une ressource plus large pour les constructeurs, plutôt que comme un service limité aux spécialistes.
L’outil Blaster cible la sécurité des contrats intelligents
La proposition comprend des plans visant à intégrer l’outil de vérification formelle Blaster dans les langues natives de Cardano.
Les langues répertoriées incluent Aiken, Scalus, Pebble et Futura.Vérification formellepeut aider les développeurs à vérifier si le code répond aux règles de sécurité définies.
Cela peut également réduire les risques liés aux contrats intelligents et à la logique des applications défectueux.Le délégué a déclaré que Web3 avait subi d’importantes pertes dues aux exploits de contrats intelligents et de ponts.
La déclaration fait valoir que des outils de vérification plus solides pourraient aider à protéger les applications avant leur déploiement.
« La proposition de valeur fondamentale de Cardano est sa sécurité de haute assurance », a déclaré le délégué dans la justification.
Le communiqué indique également que cette sécurité a souvent nécessité des experts et des audits coûteux.La proposition vise à rendre ces contrôles plus accessibles aux développeurs.
Il présente l’intégration de Blaster comme un moyen de prendre en charge la sécurité pendant le travail de développement normal.
Lire aussi :
Cardano DRep s’abstient lors du vote révisé sur la gouvernance au sommet de Singapour
L’environnement de développement vise à réduire les obstacles à la configuration
La proposition comprend également un environnement de développement basé sur des conteneurs. L’objectif déclaré est de simplifier les étapes de configuration complexes pourConstructeurs de Cardano.
Les environnements de développement peuvent nécessiter plusieurs outils, versions et étapes de configuration. La proposition indique que le système de conteneurs pourrait réduire le temps de configuration et aider les développeurs à commencer à travailler plus rapidement.
Le délégué a déclaré que l’environnement pourrait compresser des configurations sur plusieurs jours en une configuration en un seul clic.
Cette affirmation concerne l’intégration, qui reste un problème clé pour les écosystèmes de développeurs blockchain.
La proposition appelle également à une gestion partagée entre les partenaires de l’écosystème. Le délégué a déclaré que cette approche soutient la résilience et correspond au modèle open source de Cardano.
Le vote attire l’attention surCardanogouvernance et utilisation de la trésorerie. Cela place également les outils de sécurité au centre du débat actuel sur l’écosystème.
La proposition fait désormais partie du processus de gouvernance plus large de Cardano.
Les partisans devraient observer l’évolution du vote du Trésor et la manière dont les constructeurs réagissent aux outils proposés.
Source : Live Bitcoin News
Laisser un commentaire