Certora
2,808 posts
Your End-To-End Security Partner.
Manual Audits, Formal Verification, and Protocol Design Review.
Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
Joined February 2019
- Hot take from @tomer_ganor, the security researcher behind @aave, @LidoFinance, among other major protocols: Protocol design determines security before code exists. "There are a lot of bugs that exist before the code is written. I was able to find a lot of 'bugs' in the
00:00 - Certora repostedToday I'll be at @ethconf introducing Certora AutoProver, the new agentic formal verification tool we're launching soon. Join us at 2:40 pm at Breakout Stage to get early access.
- Certora repostedReplying to @solanaUnder the Hood: P-Token Solana saw a 95% drop in token compute costs from Anza's P-Token, plus it freed 12-13% in extra block space for the network
- Replying to @ValidatorInfo
- Certora repostedNews: @Certora Formally Verifies @solana’s P-Token Upgrade as Equivalent to SPL Token ✍️ @ideyquickvex
- Replying to @CertoraThanks to @SolanaFndn for the great collaboration. This is what rigorous security looks like. Full breakdown →
- Replying to @CertoraWhat equivalence actually means here? ✓ No new panics ✓ If SPL Token accepts an input, P-Token must too ✓ If P-Token rejects an input, SPL Token rejects it with the same error ✓ Byte-for-byte identical account state on success Verified across all shared instructions,
















