More on Certora

Certora and Aave unveil V4 security framework after 6-year tie-up, yet DeFi risks linger despite audits

Certora and Aave unveil V4 security framework after 6-year tie-up, yet DeFi risks linger despite audits

chainwire.org ·

Certora details Aave V4’s multi-layered security stack, blending formal methods, manual audits, and competitive testing to ensure protocol resilience at scale

Certora details Aave V4’s multi-layered security stack, blending formal methods, manual audits, and competitive testing to ensure protocol resilience at scale

𝕏/@Certora ·

$128M exploit on Balancer V2 reveals how a rounding error slipped past 11 audits from firms like OpenZeppelin, Certora and many more

$128M exploit on Balancer V2 reveals how a rounding error slipped past 11 audits from firms like OpenZeppelin, Certora and many more

𝕏/@TenaliaAudits ·

Pendle users explore Apyx yield opportunities as apxUSD introduces a basket-backed unstablecoin model with audits from Certora and Quantstamp

Pendle users explore Apyx yield opportunities as apxUSD introduces a basket-backed unstablecoin model with audits from Certora and Quantstamp

𝕏/@phtevenstrong ·

Certora has launched AI Composer, an open-source platform combining AI generation with formal verification to ensure smart contracts are safe before execution. The tool aims to make autonomous coding secure by default as it rolls out on Dec. 4.

Certora has launched AI Composer, an open-source platform combining AI generation with formal verification to ensure smart contracts are safe before execution. The tool aims to make autonomous coding secure by default as it rolls out on Dec. 4.

Cryptopotato ·

OpenZeppelin, Trail of Bits, Certora, and ABKD listed as auditors of Balancer v2 decline to comment on the biggest hack of the quarter in crypto world

OpenZeppelin, Trail of Bits, Certora, and ABKD listed as auditors of Balancer v2 decline to comment on the biggest hack of the quarter in crypto world

DL News ·

Explore the full feed

Comments

Up nextChaos Labs Walks Away From $5M Aave Risk Mandate Over V4 Architecture, Underfunded Risk Budget, And Fundamental Disagreement On How Risk Should Be Managed At DeFi’s Largest Lending Protocol.