Certora - Свежие новости | |
Aave V4 Clears Formal Verification as Certora Confirms Core Protocol Security and Solvency
Key Takeaways: Certora has officially validated the core smart contracts of Aave V4, such as the Liquidity Hub and Spoke modules. The review ensured the accounting integrity, protocol solvency and The post Aave V4 Clears Formal Verification as Certora Confirms Core Protocol Security and Solvency appeared first on CryptoNinjas. дальше »
2026-7-10 08:44 | |
|
Разработчики запустили вторую версию Euler Finance после взлома на $200 млн
Команда Euler Finance запустила вторую версию DeFi-протокола. Рестарт после атаки на $200 млн в марте 2023 года последовал за 31 аудитом от Certora, Omniscia, OtterSec, Open Zeppelin, Trail of Bits и других специалистов, пишет The Block. дальше »
2024-9-6 17:11 | |
|
|
XLM price: could key Stellar news help stem bearish flip?
Stellar (XLM) price was changing hands around $0. 10 on Friday, down 7% and 15% in the past 7 and 30 days respectively. The Stellar Development Foundation has teamed up with Certora to boost security for Soroban. дальше »
2023-10-14 18:53 | |
|
|
Certora привлекла $36 млн от Jump Crypto, Tiger Global и Galaxy Digital
Израильская компания Certora, специализирующаяся на инструментах для анализа безопасности смарт-контрактов, привлекла $36 млн по итогам раунда финансирования Серии В. 1/ We raised a $36M series B round, led by @jump_ with participation from @Tiger_Global, @GalaxyDigitalHQ, and existing series A investors: @ElectricCapital, @hiFramework, @coinfund_io, @Lemniscap, @coinbase, @VMware and https://t. дальше »
2022-5-18 19:34 | |
|
|