BlockBeats rapporte que, le 5 mars, selon des sources officielles, Aave Labs a publié un rapport complet de transparence sur le plan de sécurité d’Aave V4, incluant les méthodes, processus et résultats, avec le soutien conjoint d’organismes de sécurité tels que Trail of Bits, Blackthorn, Certora, et d’autres. À travers des audits manuels, des vérifications formelles, des tests d’invariance, des tests de fuzzing, ainsi que des compétitions de sécurité publiques, environ 345 jours d’évaluation de sécurité ont été réalisés. Ce plan est soutenu par un budget de sécurité dédié de 1,5 million de dollars approuvé par le DAO.
Aave Labs a annoncé qu’il continuerait à respecter cinq engagements fondamentaux issus du plan de sécurité d’Aave V4 : intégrer la vérification formelle dès la phase de développement initiale pour garantir que la conception de l’architecture soit guidée par des méthodes de sécurité plutôt que simplement vérifiée ; adopter une approche de sécurité en couches, comprenant des revues manuelles, la vérification formelle, des tests d’invariance, une vérification assistée par IA, des tests de fuzzing et des compétitions de sécurité publiques, afin de couvrir un plus grand nombre de vulnérabilités potentielles ; maintenir une couverture de sécurité continue, avec un cadre de vérification formelle et une suite de tests d’invariance qui évolueront avec le protocole ; établir un programme de primes pour vulnérabilités à long terme, en utilisant une communauté de sécurité plus large pour une surveillance continue ; et optimiser la capacité de détection par IA, en améliorant continuellement la détection intelligente pour les futures versions, basée sur l’expérience acquise lors des tests précédents.
Avertissement : Les informations contenues dans cette page peuvent provenir de tiers et ne représentent pas les points de vue ou les opinions de Gate. Le contenu de cette page est fourni à titre de référence uniquement et ne constitue pas un conseil financier, d'investissement ou juridique. Gate ne garantit pas l'exactitude ou l'exhaustivité des informations et n'est pas responsable des pertes résultant de l'utilisation de ces informations. Les investissements en actifs virtuels comportent des risques élevés et sont soumis à une forte volatilité des prix. Vous pouvez perdre la totalité du capital investi. Veuillez comprendre pleinement les risques pertinents et prendre des décisions prudentes en fonction de votre propre situation financière et de votre tolérance au risque. Pour plus de détails, veuillez consulter l'
avertissement.
Articles similaires
Vitalik Buterin Introduit la Règle de Confirmation Rapide d'Ethereum pour Améliorer la Vitesse des Transactions
Vitalik Buterin a introduit une Règle de Confirmation Rapide pour Ethereum, promettant de réduire considérablement les temps d'attente des transactions, garantissant la finalité en 12 secondes. Ce mécanisme vise à améliorer la confiance des utilisateurs et l'efficacité du capital sans nécessiter un hard fork du réseau.
TheNewsCryptoIl y a 16m
THENA clarifies it did not suffer an attack, smart contracts and liquidity pools operating normally
THENA a clarifié les récentes fluctuations du marché de THE, déclarant que le projet n'a pas été attaqué. L'incident provient de Venus Protocol, les contrats intelligents et les pools de liquidité fonctionnant normalement. THENA collabore pour traiter les signaux et prévoit d'augmenter l'APR des THE Single Sided Vaults pour récompenser les votants.
GateNewsIl y a 36m
Vitalik Buterin propose un concept d'Ethereum allégé, ETH pourrait concilier vitesse et sécurité
Le co-fondateur d'Ethereum, Vitalik Buterin, a proposé le concept d'une « version allégée d'Ethereum », visant à améliorer simultanément la vitesse du réseau et la sécurité, en adoptant une architecture à double système pour renforcer la résilience du réseau. Cette mise à niveau pourrait modifier les normes d'évaluation des performances de la blockchain, avec une réaction positive de la communauté qui se concentre sur les indicateurs de performance réels futurs. Le succès établirait un avantage différencié pour l'ETH.
GateNewsIl y a 53m
SEC reconnaît officiellement XRP comme bien numérique, le directeur juridique de Ripple confirme le statut non-titrisé à long terme
Le chef du contentieux de Ripple, Stuart Alderoty, salue les dernières orientations de la SEC classant XRP comme bien numérique et non comme titre, mettant fin à la controverse réglementaire. Ce document fournit un cadre clair pour le marché des actifs numériques, renforce la confiance du marché, favorise l'adoption à long terme du XRP et soutient le développement de l'écosystème Ripple.
GateNewsIl y a 1h
Ripple soutient fermement XRP, un rapport de recherche révèle la position irremplaçable de son réseau de paiement
Un dernier rapport de recherche indique que XRP reste au cœur de l'infrastructure de paiements transfrontaliers de Ripple, jouant un rôle de pont de liquidité. Même avec le lancement de la stablecoin RLUSD, XRP reste irremplaçable en termes d'échange de valeur et de vitesse de transaction. Ripple la positionne comme un pont pour les monnaies numériques des banques centrales, renforçant ainsi la confiance du marché à long terme.
GateNewsIl y a 1h
Vitalik Buterin dit qu'une Ethereum allégée distinguera ETH
Le co-fondateur d'Ethereum, Vitalik Buterin, introduit le concept de Lean Ethereum, visant à combiner la vitesse et la sécurité dans la conception de la blockchain. Ce système dual innovant pourrait déplacer l'accent de la vitesse vers la fiabilité, modifiant potentiellement la manière dont les blockchains sont évaluées dans l'espace crypto.
CoinfomaniaIl y a 1h
