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
Le directeur de Ripple met en lumière une nouvelle étape réglementaire dans le secteur des cryptomonnaies au Royaume-Uni - U.Today
Cassie Craddock, PDG de Ripple Labs UK, a annoncé que l'entreprise avait obtenu une licence EMI et une inscription en crypto auprès de la FCA, marquant une étape importante dans la transition entre la finance traditionnelle et la finance décentralisée. Ripple continue d'étendre sa présence aux États-Unis et dans l'UE avec de nouveaux partenariats et développements d'infrastructures.
UTodayIl y a 2h
Morpho Vaults V2 le montant total des dépôts dépasse 1 milliard de dollars
Gate News annonce qu’au 6 mars, le montant total des dépôts du protocole de prêt Morpho et de ses Morpho Vaults V2 a dépassé 1 milliard de dollars.
GateNewsIl y a 3h
PayPal et TCS introduisent un réseau blockchain pour accélérer les paiements de fret
PayPal et TCS Blockchain ont lancé un réseau de règlement basé sur la blockchain pour accélérer les paiements dans l'industrie du transport routier. En utilisant le stablecoin PayPal USD, les factures de fret peuvent être réglées presque instantanément, améliorant la liquidité pour les transporteurs et réduisant les coûts jusqu'à 90 %. Le système vise à améliorer la transparence et l'efficacité dans le financement logistique.
CryptometerIoIl y a 4h
Molecule en partenariat avec Bio Protocol lance Science Beach, pour soutenir la recherche collaborative entre agents IA et humains
La plateforme scientifique décentralisée de Solana, Molecule, en partenariat avec Bio Protocol, lance Science Beach, visant à soutenir la collaboration entre agents IA et humains pour formuler des hypothèses scientifiques. Le projet a généré plus de 1 100 hypothèses, couvrant le financement et les frais de recherche.
GateNewsIl y a 4h
Nansen lance un service intelligent on-chain destiné aux agents IA, prenant en charge trois modes de connexion et un modèle de paiement à l'usage
Nansen lance le service intelligent on-chain « Nansen for Agents » destiné aux agents IA, prenant en charge la sélection de jetons sur 18 blockchains. Les utilisateurs peuvent se connecter de plusieurs manières, et le service fonctionne selon un modèle de paiement à l'usage, sans besoin de clé API, avec un tarif de départ de 0,01 dollar.
GateNewsIl y a 5h
Polygon dévoile un kit d'outils CLI permettant aux agents IA d'effectuer des transactions sur la chaîne
Polygon a publié un kit CLI qui donne aux agents IA accès aux portefeuilles, paiements, échanges, ponts, identité onchain, et plus encore.
Le fondateur Sandeep Nailwal déclare que le kit revient à donner aux agents leur propre Open Money Stack.
Polygon a rejoint la liste croissante de réseaux blockchain lançant
CryptoNewsFlashIl y a 5h