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
Aster API V3 正式上线，V1 延迟将于 3 月 18 日增至 200 毫秒
Gate News 消息，3 月 14 日，Aster 发布公告称，Aster API V3 已正式上线。自 3 月 16 日起，V1 版本的延迟将逐步增加，预计到 3 月 18 日将达到约 200 毫秒。Aster 建议用户立即迁移至 V3 版本。
GateNewsIl y a 1h
以太坊基金会发布"EF Mandate"文件，明确生态角色与核心使命
以太坊基金会发布了"EF Mandate"文件，明确其在生态系统中的角色与职责，强调CROPS原则，致力于用户主权、安全与优化体验。该文件为内部行动纲领及社区参考提供指导。
GateNewsIl y a 2h
Pump.fun Launches Automated Buybacks for Tokenized AI Agents
Pump.fun enhances the AI-driven crypto economy by automating buybacks for agent tokens, linking success with community holders. Revenue in $SOL or $USDC buys and burns tokens, addressing value accrual issues and encouraging engagement. Developers can adjust buyback rates, ensuring a streamlined process for launching tokenized agents.
CryptoFrontNewsIl y a 2h
Vitalik Buterin Calls Ethereum a “Sanctuary Technology”
The Ethereum Foundation's new EF Mandate clarifies its supportive role in the decentralized Ethereum ecosystem, emphasizing principles like censorship resistance and infrastructure support while avoiding direct governance control. Vitalik Buterin highlights Ethereum as a “sanctuary technology” that promotes digital freedom, contributing to positive market responses.
CoinfomaniaIl y a 2h
Solana Approves SIMD-0266 Upgrade for Faster Transactions
Solana has approved a major network upgrade that could make transactions much faster and cheaper. The upgrade, called SIMD-0266, introduces a new token model known as p-tokens. Developers say this change could make some transactions up to 19 times more efficient.
The proposal was first introduced
CoinfomaniaIl y a 4h
Pi Network Celebrates Pi Day With Growing Ecosystem
The Pi Network community around the world is celebrating Pi Day on March 14. The date comes from the number 3.14. This represents the mathematical symbol π (pi). The day has become a yearly event for many users to reflect on the project’s progress.
This year, the celebration arrives as the Pi
CoinfomaniaIl y a 4h
