Look at this amazing treat 😍

This!

It's been an absolute pleasure!! Thank you Defi Security Summit for the amazing opportunity 😍🚀

Kome have formal fun with us! ✨

👏 facts 👏

Imagine being Revolut and banning the most secure OS in the name of security while still allowing the app to run on extremely outdated Android versions 🤡🤡 If this mindblowing threat model is not fixed soon I'm going to ban myself from using Revolut 🙂

1/ Revolutionize your formal verification experience with KaaS! Introducing KaaS (K as a Service) – a cloud-based solution transforming how teams interact with formal verification. Trusted by industry leaders like Lido & optimism.eth 🧵⬇️

If you missed the Kontrol workshop at DSS, get cozy and watch it here! 💫

Extremely excited to be a part of this ✨ Helping in the developement of a Lean backend for K, and proving equivalence between two EVM models: Runtime Vеrification's KEVM, written in K, and Nethermind's CLEAR, written in Lean. The future looks incredible 😍😍

If you like nice numbers go read this thread

Extremely bullish on Runtime Vеrification Huge congratulations Palina!! I'm super excited for the future of RV!!

✨🤝✨

Brother this is such a huge UX improvement for developing Kontrol proof suites. RV is solving hard problems to give FV lads faster turnaround times ✨💪✨ Go fly with Kontrol 🛫

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 Palina or FormalBatiste in their DM's 📩

So much this

Being Cypherpunk also means defending the fundamental pillars of the free internet by funding them! Help keep the internet open and safe for everyone!

conFeRENS ✨🤝✨

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

Privacy isn’t a niche. It’s the default we lost. A generation ago, your words vanished when a conversation ended. Today they sit on someone else’s server -- mined, analyzed, and resold to strangers.