🇧🇷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 https://t.co/Gwq4HXDFCf

We have partnered up with @SoroswapFinance to make the event even better! Join us for Praia Volleyball and Caipirinhas next September 16th in Rio for Meridian @StellarOrg 🇧🇷 Register at

meridian is almost here 🌎 side events are 🔥 shoutout to stellar builders running them — @script3official @WisdomTreePrime @normalfi @rv_inc @Stellar_Brazil @SoroswapFinance @payabroad @etherfuse @Decaf_so @BeansApp see you in rio!! sign up here! 👇 https://t.co/0qk2KCFV9d

We're hiring at RV! If you have fuzzing and Rust expertise and want to work on open-source security tools that protect billions in value across industries, reach out:

Excited to see FastSet launch and get stress tested! This is the infrastructure the next generation of currency needs, achieving the level of throughput that actually will support global payment processors!

Debugging Kontrol proofs got even easier 🔍 Kontrol now decodes failed proof outputs, showing actual error messages and interpreting failed built-in Solidity checks for issues like overflows. Plus pretty-printed constraints and streamlined output focused on the most relevant

5/ We keep building 🤝 KEVM capabilities and use cases have been probed to help hundreds of developers write safer code and protect millions of dollars from potential exploits. Both teams at Runtime Verification and @Pi_Squared_Pi2 are committed to maintaining and expanding

4/ KEVM is now powering the next generation of Web3 infrastructure @Pi_Squared_Pi2 is developing FastSet, a settlement layer designed for over 100K TPS and under 100ms finality. KEVM will play a crucial role by verifying EVM and EVM-like executions as correct, producing proofs

3/ Building safer code thanks to KEVM Over the years, KEVM has helped secure protocols and EVM-compatible ecosystems. Our team went from using a raw version of KEVM to building free and easy-to-use formal verification tooling such as Kontrol and Simbolik, all powered by KEVM and

2/ KEVM and the K Framework In 2016, our team at Runtime Verification started developing KEVM, which is an executable, mathematically rigorous semantics of the Ethereum Virtual Machine (EVM). The K in KEVM stands for the K Framework, a rewrite-based executable semantic framework

1/ KEVM is the longest-maintained formal semantics of the EVM, actively developed by our team at Runtime Verification since 2016 ⚒️ But what is KEVM? How is it enabling easy-to-use formal verification or powering the next gen of Web3 Infrastructure built by @Pi_Squared_Pi2? 👇

6/ We'll provide a detailed update in the upcoming weeks after Levery's code review audit is complete. Remember that if you are a project building on Unichain, you can get a subsidized formal methods-oriented audit from us!

5/ Levery is part of Uniswap’s Hook Incubator cohort 01 alumni and also part of @AtriumAcademy's Hook Product Accelerator, sponsored by @Uniswap, which supports innovative projects building on Unichain with resources, mentorship, and direct ecosystem integration.

4/ Levery, through an innovative permissioned AMM approach, enables traditional finance institutions to deploy compliant DeFi platforms leveraging Uniswap v4 hooks. Levery provides dynamic fee structures, rigorous compliance checks (AML, KYC, KYB), and real-time oracle

3/ Levery's audit will last four and a half weeks and focus on a code review of their Solidity codebase. The review will focus on smart contracts implementing Levery's permissioned AMM protocol built on Uniswap v4 hooks. Some of the techniques used will include a design review,

2/ This code review audit with Levery is part of Uniswap's Foundation Security Fund (UFSF). Any project building with Uniswap V4 or deploying on @unichain can apply for a subsidized formal methods-oriented audit from us, just like Levery did 🔐 Get started in the @areta_io

1/ This week, we kicked off a code review audit of @Levery_org's code base. This audit was thanks to @UniswapFND's Security Fund, which subsidized this audit through @areta_io marketplace. Keep reading to learn more about the audit and how to get a formal methods-oriented audit

This is an awesome one, leveraging Kontrol for formal proving v4 hooks

📹 @palinatolmach joined @AtriumAcademy earlier this month and hosted a workshop on Kontrol, focusing on Uniswap's v4 hooks. Check out the recording at https://t.co/vT5RSkqEF8 or check out Atrium's thread for a quick summary 👇 Thanks for having us! 🩵

Thanks to the Lido team for trusting us to review their Dual Governance code 🩵 It's been a pleasure working with them for a large part of this year and last year, formally verifying their code with Kontrol and other manual techniques. We will publish more information about our