llill retweeted
we have tools for FORMAL VERIFICATION
we have decades of experience in FORMAL VERIFICATION
we have PhDs in FORMAL METHODS
we have top notch security researchers who know how to find bugs and PROVE what matters
we are @Certora
we have decades of experience in FORMAL VERIFICATION
we have PhDs in FORMAL METHODS
we have top notch security researchers who know how to find bugs and PROVE what matters
we are @Certora
3
9
63
179,656
Looks promising
The full scope of Lido Lend - including feature highlights (Fallback Exits, Guardian Security Council, Turbulence Controls), technical specifications, committees, and more - is now live:
research.lido.fi/t/unveiling-li…
Watch as @IsdrsP expands on the motivation behind Lido Lend:
0
2
9
218
llill retweeted
💎 How do you know your smart contract’s safety checks actually work?
Plant a bug on purpose and see if they catch it.
Formal verification mathematically proves code follows a set of rules. But if those rules cover only 75% of behaviours, bugs slip through the gaps.
a: get close to 100%, or keep writing rules.
Plant a bug on purpose and see if they catch it.
Formal verification mathematically proves code follows a set of rules. But if those rules cover only 75% of behaviours, bugs slip through the gaps.
a: get close to 100%, or keep writing rules.
1
4
24
965
llill retweeted
What does it take to build and integrate applications on @CantonNetwork?
Join @Jpandya26 from @CantonFdn, alongside @ChandrakanaNaN and @iamandreiski from Certora, to discuss wallet integrations, Daml development, and what it takes to ship on Canton.
Plus, a live demo of Canton Package Analyzer ⬇️
luma.com/9l2p1nr1
Join @Jpandya26 from @CantonFdn, alongside @ChandrakanaNaN and @iamandreiski from Certora, to discuss wallet integrations, Daml development, and what it takes to ship on Canton.
Plus, a live demo of Canton Package Analyzer ⬇️
luma.com/9l2p1nr1
2
6
13
10,455
llill retweeted
At @EFDevcon India, @SagivMooly @VitalikButerin, @0xfredrik, @Montyly and @0xRajeev to discuss Ethereum security in the age of AI.
His argument: write the formal spec before the code, and use LLMs to get there earlier.
Recap from the panel ↓
certora.vercel.app/blog/devcon-in…
His argument: write the formal spec before the code, and use LLMs to get there earlier.
Recap from the panel ↓
certora.vercel.app/blog/devcon-in…
1
3
7
927
llill retweeted
Tomorrow at Devcon, @imderl and I will be talking about rounding and accounting hazards in lending protocols🙃
If you’re around, come join us at 13:00 (India time)!
app.devcon.org/schedule/every…
If you’re around, come join us at 13:00 (India time)!
app.devcon.org/schedule/every…
1
3
19
425
llill retweeted
Huge respect to the team at @Certora 🫡
You put together an outstanding security event, easily the best in DeFi this year. Thank you for hosting it, and big thanks to everyone who attended and shared their knowledge! 🛡️
You put together an outstanding security event, easily the best in DeFi this year. Thank you for hosting it, and big thanks to everyone who attended and shared their knowledge! 🛡️
We had a blast at @summit_defi in Mumbai 🙌
Certora shared insights on formal verification, security monitoring, non-EVM auditing and risk management.
Here’s a recap 🧵
0
3
15
803
llill retweeted
Looking forward to joining the @EFDevcon opening ceremony tomorrow and putting formal verification at the center of the conversation.
Security has always been central to Ethereum, and this year it's part of the @EFDevcon opening ceremony.
Join Certora co-founder @SagivMooly alongside @nethan_eth, @VitalikButerin, @drakefjustin, @ncsgy, @donnoh_eth, @dhsorens, Kev, and @audreyt.
See you tomorrow, Mumbai! 🇮🇳
3
4
24
1,160
llill retweeted
We had a blast at @summit_defi in Mumbai 🙌
Certora shared insights on formal verification, security monitoring, non-EVM auditing and risk management.
Here’s a recap 🧵
Certora shared insights on formal verification, security monitoring, non-EVM auditing and risk management.
Here’s a recap 🧵
3
5
34
2,043
llill retweeted
Security has always been central to Ethereum, and this year it's part of the @EFDevcon opening ceremony.
Join Certora co-founder @SagivMooly alongside @nethan_eth, @VitalikButerin, @drakefjustin, @ncsgy, @donnoh_eth, @dhsorens, Kev, and @audreyt.
See you tomorrow, Mumbai! 🇮🇳
Join Certora co-founder @SagivMooly alongside @nethan_eth, @VitalikButerin, @drakefjustin, @ncsgy, @donnoh_eth, @dhsorens, Kev, and @audreyt.
See you tomorrow, Mumbai! 🇮🇳
2
6
32
2,475
llill retweeted
The Certora team will be in Mumbai this week for @summit_defi and @EFDevcon.
Come talk smart contract security, formal verification, and safer AI-generated code with our researchers and team.
See you there 🇮🇳
Come talk smart contract security, formal verification, and safer AI-generated code with our researchers and team.
See you there 🇮🇳
0
6
25
2,237
llill retweeted
Today is the last regular working day for the @Balancer team.
Some of the people on this team have been here since Balancer's earliest days. Others joined along the way. Together, they helped build and evolve the protocol over the years.
From the original weighted pools and liquidity bootstrapping to the v2 Vault, Boosted Pools, and v3, Balancer helped shape how liquidity works in DeFi. Behind all of that were years of research, engineering, integrations, operations, and work with partners that most people never saw.
The last year was especially difficult. The exploit hurt people who trusted Balancer, and the team went through the recovery, restructuring, and eventually the decision to wind down. Even after the end date was set, they continued doing the work needed to support users and partners.
This isn't the ending we worked for. But it doesn't take away what the team built and contributed to DeFi.
The winddown itself continues under BIP-928. For the remaining steps and withdrawal information, please follow the official Balancer updates.
To everyone who helped build Balancer over the years, thank you.
I'm grateful I got to work with so many of you.
Some of the people on this team have been here since Balancer's earliest days. Others joined along the way. Together, they helped build and evolve the protocol over the years.
From the original weighted pools and liquidity bootstrapping to the v2 Vault, Boosted Pools, and v3, Balancer helped shape how liquidity works in DeFi. Behind all of that were years of research, engineering, integrations, operations, and work with partners that most people never saw.
The last year was especially difficult. The exploit hurt people who trusted Balancer, and the team went through the recovery, restructuring, and eventually the decision to wind down. Even after the end date was set, they continued doing the work needed to support users and partners.
This isn't the ending we worked for. But it doesn't take away what the team built and contributed to DeFi.
The winddown itself continues under BIP-928. For the remaining steps and withdrawal information, please follow the official Balancer updates.
To everyone who helped build Balancer over the years, thank you.
I'm grateful I got to work with so many of you.
39
20
280
12,551
llill retweeted
What does it take to audit @solana programs?
In our latest blog, we share insights from our security work with Solana protocols including @uselulo, @ManifestTrade, @kamino, and @fragmetric.
From account validation and cross-program calls to oracle integrations and protocol accounting, we explore common security risks, real audit findings, and what developers should watch out for.
Read more ⬇️
certora.com/blog/auditing-…
In our latest blog, we share insights from our security work with Solana protocols including @uselulo, @ManifestTrade, @kamino, and @fragmetric.
From account validation and cross-program calls to oracle integrations and protocol accounting, we explore common security risks, real audit findings, and what developers should watch out for.
Read more ⬇️
certora.com/blog/auditing-…
3
1
17
1,589
llill retweeted
Yuri Tkachenko · DSS 2026
“Audits Don't End at Publication”
Explore the talk and add it to your agenda:
defisecuritysummit.org/2026/agenda#ds…
Tickets: luma.com/9qtxqqxx
“Audits Don't End at Publication”
Explore the talk and add it to your agenda:
defisecuritysummit.org/2026/agenda#ds…
Tickets: luma.com/9qtxqqxx
1
5
10
460
llill retweeted
I’ll be there, this is too important to miss. EIP-8205 solves this problem in a very simple way, and it just doesn’t make sense to keep the current behavior. This would be a huge improvement for @LidoFinance and other staking protocols, especially from a security perspective.
This issue makes EIP-8205 even more valuable. With a reasonable pre-registration mechanism for @ethereum validators, we could have avoided that.
Join ACDC #190 next Thursday to support EIP-8205 inclusion in Hegota!
0
2
10
387
llill retweeted
Kevin Lotz · DSS 2026
“Formal Verification of Stake Pools: From General Design to a Real-World Application”
Explore the talk and add it to your agenda:
defisecuritysummit.org/2026/agenda#ds…
Tickets: luma.com/9qtxqqxx
“Formal Verification of Stake Pools: From General Design to a Real-World Application”
Explore the talk and add it to your agenda:
defisecuritysummit.org/2026/agenda#ds…
Tickets: luma.com/9qtxqqxx
1
4
8
432
llill retweeted
@AliceAndB0b · DSS 2026
“Proving the Spoke: Formal Verification of Aave V4’s Hub-and-Spoke Architecture”
Explore the talk and add it to your agenda:
defisecuritysummit.org/2026/agenda#ds…
Tickets: luma.com/9qtxqqxx
“Proving the Spoke: Formal Verification of Aave V4’s Hub-and-Spoke Architecture”
Explore the talk and add it to your agenda:
defisecuritysummit.org/2026/agenda#ds…
Tickets: luma.com/9qtxqqxx
0
3
7
824
llill retweeted
We're hiring
Only people smarter than me
Roles below 👇
Only people smarter than me
Roles below 👇
Come build the future of onchain finance with Kamino.
We’re hiring across engineering, product, business development, marketing, legal, and operations.
Explore open positions: jobs.ashbyhq.com/kamino
24
15
217
16,011