Sil.

There's a handful of people in Solana working directly on Pinocchio's security. One of them just sat down with @marko_pohlo for a 2h candid session on all things P-Token, Rust, K-MIR, formal verification & more. RV's own @danielkcumming spilled all the beans today. Soon 👀

🇧🇷Meet us at Rio for Meridian @StellarOrg and join our first side event in a really long time next Sept. 16th Praia Volleyball and Caipirinhas Show off your volleyball skills, or chill under the sun with a Caipirinha, the choice is yours🏐🍹 Sign up at luma.com/2vzcmo3o

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 did many times!—this (runtimeverification.com/blog/kontrol-a…) being just one public example. We worked with Foundry devs to integrate our cheatcodes into stdlib and improve experience for everyone by making FV as simple as testing. And we have CI integration through KaaS! kaas.runtimeverification.com

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 approach to security that Magnus puts forward, the wealth of data that Codexa provides, and the power of combining AI and formal reasoning tools, I'm sure that we will make web3 security a breeze, even for newcomers.” — Everett Hildenbrandt, CEO at Runtime Verification Learn more👇

1/ We're excited to announce that we're officially partnering with @Immunefi to build, and integrate our formal verification tooling and expertise into Magnus, the fully-integrated SecOps command center for on-chain security 🛠️ Read the blog for more details 👉 immunefi.com/blog/all/magnu… or check the following thread 👇

We are in Bangkok 🇹🇭🛺🧉 Check out our latest blog to learn what events our team will speak at, where to find us and an update on our tooling! runtimeverification.com/blog/meet-the-…

Today we are soft launching ERC X ercx.runtimeverification.com, a tool designed to help token investors identify and avoid scams. It also helps developers write contracts confidently by evaluating each token’s technical quality. 1/3

Last week, our team traveled to Bogota to attend and speak at DevCon - @EFDevcon and to host our first in-person event: Arepas, Cumbia & Security🔎⚒️🫓🍹💃 Here's a recap of what went down🧵

RV team at Guatavita - Colombia 🇨🇴

@lucasmanuel_eth @rv_inc We have one in the KEVM repo github.com/runtimeverific…

Does anyone have a reference implementation of using kevm symbolic execution with foundry?

🇨🇴 2nd batch of tickets for Arepas, Cumbia & Security is live🫓🥤💃 Register for free at runtimeverification.com/events/arepasc…

@trent_vanepps @EFDevcon We are going to celebrate Colombian culture with local food, cumbia live music and a dance show (and security talks too) 🫓💃 eventbrite.com/e/arepas-cumbi…

i am begging projects planning Bogota @EFDevcon side events to use their funds for chill and/or unique experiences let's not have the same club/ techno set that's at every conference pls 🙏

🇨🇴 AREPAS, CUMBIA & SECURITY 🫓🥤💃🕺🎶 🎟️1st batch is out (free) runtimeverification.com/events/arepasc… 📅10th Oct. | 1pm - 9pm 📍Cumbia House de Gaira Join us to re-think security through talks/panels while discovering Colombian culture with local food, live cumbia music & dance #DevCon

Thinking of organizing a side event for DevCon Week. Anyone organizing side events on "Zona T/ Usaquén"? Or just sticking to the Corferias area?

1/3 🧵 @rv_inc is going to Bogota this October!🇨🇴 We couldn’t be happier to have not one, but two of our formal verification engineers speaking at @EFDevcon We are looking forward to sharing insights about blockchain security with all of you 💙💛

Excited to announce that Everett Hildenbrandt from @rv_inc will be a speaker at @TheSecureum TrustX, a first-of-its-kind #Ethereum security event in collaboration with @EFDevconnect, on 21-22 April in Amsterdam🙏 To join in-person, apply: forms.gle/7LUCk51peKZ3FQ…

@rikardhjort @leonardoalt @EFDevconnect @MartinLundfall @joranhonig @Montyly @GNSPS @vwuestholz @SagivMooly Count us in!!!

Potentially organizing a Formal Verification Hangout day at @EFDevconnect , no talks just chill technical discussions and sharing, who's down? @MartinLundfall @rikardhjort @joranhonig @Montyly @GNSPS @vwuestholz @SagivMooly (sorry couldn't tag all, no offence)

We are looking for a Sr. Technical Product Manager to join @rv_inc Here is a not so formal test for our future PM: - Not afraid to turn ideas into real products - A healthy obsession with security - Ready to work with amazing devs 🛠️3/3? Hurry and apply! bit.ly/PMatRV

🎉 7 hours left for the "Formal Verification in the Ethereum Ecosystem" event Get ready for technical talks and panels about formal verification, formal methods, tools, and how to get started formally verifying your code Join us at crowdcast.io/e/formalverifi… @EFDevcon @EF_ESP