Palina
@palinatolmach
Followers
1K
Following
4K
Media
15
Statuses
209
CTO @rv_inc, prev @MakerDAO eng, PhD @NTUsg
UAE
Joined August 2020
Long time no write - but I was busy! We at @MakerDAO Protocol Engineering team examined the landscape of symbolic execution tools for Ethereum smart contracts. This is a first in a series of blog posts about our findings: A quick overview below ⬇️.
7
50
195
RT @VillageFarmerr: Thank you @palinatolmach and @rv_inc for taking the time to educate us on FV. I definitely feel like a 10x developer af….
0
1
0
See you in 40 minutes!.
Stop guessing your v4 hook is safe. Prove it. On Wednesday, @rv_inc demos Kontrol — turning your Foundry fuzz tests into formal proofs, sniffing out edge-case bugs, and shrinking debug cycles so your v4 hooks ship safely. 📅 July 2nd, 12PM ET. RSVP below ↓
0
0
5
RT @rektoff_xyz: 1/ .most bootcamps teach you how to code. we’re here to teach you how systems fail. > 6-week Rust + Solana security bootca….
0
64
0
RT @summit_defi: 🚨 The DSS 2025 Steering Committee is here!. DSS brings together the top voices in protocol security -hackers, builders, an….
0
16
0
Totally agree! FV should be for everyone, not just PhDs. That's why we worked on dev-friendly web3 FV since 2018 with MakerDAO, eventually providing developers an interface to write Foundry specs without needing another rule language!. Kontrol can find bugs before deployment—and.
Our competitors are pushing to use formal verification last and only by people holding Ph. Ds. We want every developer to use formal verification before the code is compiled.
2
6
34
Proud to be contributing to Stellar security with @rv_inc ❤️.
The latest updates to the program offer incentivized security at every stage, including:. - Complimentary, extensive follow-up audits at key traction milestones.- Access to advanced security tooling.- And enhanced audit readiness resources. Learn more ⬇️.
0
1
13
🦀.
ICMYI: Daniel Cummings of @rv_inc is building Kompass, a Rust-native formal verification tool for the Solana ecosystem🦀
0
0
5
RT @rv_inc: 🎤🗽 Daniel shared yesterday at Scale or Die about Kompass, a Rust-native formal verification tool for the Solana ecosystem. Tha….
0
1
0
An internal investigation revealed we still had something we hadn’t open-sourced — so we’re fixing that. Meet ERCx: a comprehensive test suite for ERC20, 721, 1155, and 4626 tokens, with _hundreds_ of Foundry tests: Pro tip: bookmark the online version.
1/ Security is a process. That’s why we’re building tooling that lives inside that process. Today, we’re open-sourcing another contribution to the @Optimism and more EVM-compatible ecosystems: the ERCx test suite, a rigorous, modular property-based testing library for ERC token
2
5
32
Grateful for the support from @EF_ESP to keep building Kontrol—@rv_inc's open-source Foundry-compatible formal verification tool for EVM smart contracts. Give it a try and let us know how to make it better:
The Q1 2025 Allocation Update just dropped!. Discover the standout projects that earned support at the beginning of the year 📣 .
0
1
16
It was definitely one of the highlights of last week!.
That said, there were some highlights. Got to hang out with @palinatolmach and @BatisteFormal from @rv_inc. Had some great chats about the current security landscape and twitter content strategy.
0
1
16
Ping me if you’re around and would like to chat!.
Our team is on its way to Dubai for Token2049 🇦🇪. If you want to meet with us, talk about security, or learn more about formal verification over a coffee, reach out to @palinatolmach or @BatisteFormal in their DM's 📩
0
1
7
RT @BatisteFormal: Brother this is such a huge UX improvement for developing Kontrol proof suites. RV is solving hard problems to give FV l….
0
1
0
RT @ArbitrumDevs: Stylus Sprint Spotlight - @rv_inc. Runtime Verification has been selected by the Stylus Sprint Grants Program to develop….
0
44
0
RT @immunefi: ON THURSDAY:. @MitchellAmador talks to Everett Hildenbrandt of @rv_inc about the world-class formal verification service comi….
0
10
0
RT @rv_inc: 🇫🇷 Today @palinatolmach joined Soirée's panel discussion (with @MitchellAmador, @RehmanSajjad, @rezc_karim and @neville_grech….
0
1
0
Excited about partnering with @immunefi and bringing FV to Magnus!.
Sharing Magnus’ first partner, @rv_inc — they’re bringing their world-class formal verification services to Magnus!. “I'm excited to be working side-by-side with the team at Immunefi to bring the next generation of security to web3 developers! With the unified and integrated
0
1
20
Join us tomorrow if you're in Paris! And DM me if you're around and would like to catch up 🇫🇷.
We're very excited to see everyone at our Soirée @ Paris Blockchain🙌 . Join an insightful panel discussion featuring Immunefi's CEO @MitchellAmador, VP of Revenue @RehmanSajjad, Group Product Manager @rezc_karim, @rv_inc's CTO @palinatolmach, and @dedaub's Co-Founder
0
0
7