More on Certora

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 ยท

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 ยท

Balancer team identifies issue with v2 meta-stable pools and performs white hat recovery of $4.1M in coordination with Certora and Seal

Balancer team identifies issue with v2 meta-stable pools and performs white hat recovery of $4.1M in coordination with Certora and Seal

๐•/@Balancer ยท

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 nextRAAC puts 16 rental properties onchain with $iREET launch, routing $34.5K/month in tenant income through Curve