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:

Security is always a priority at Base. Join the security team as they discuss our "Security by Design" philosophy at 9:30am PT with the Immunefi team!

Try out the next generation of settlement layers now with @Pi_Squared_Pi2's devnet! Experience 150k+ TPS, language and framework agnostic contracts, seamless bridging between any chains. https://t.co/hnKsWTfMOF

6/ 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

5/ Findings The audit identified a series of findings ranging in severity. The auditors collaborated closely with Levery's team during the whole process, resulting in all identified issues being addressed or mitigated. Audit report 👇 https://t.co/VCQHE4Z3cF

4/ Methodology The audit began with a structured design review that mapped trust boundaries, actor roles, and lifecycle flows across routing, position management, fee calculation, compliance gates, and oracle inputs. From this analysis, a series of security-critical invariants

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

2/ Audit Techniques A code review was carried out over four and a half weeks, with the report being delivered by the end of August 2025. Our engineers combined a design review to surface security-critical invariants with deep manual Solidity inspection and formal methods. Kontrol

1/ We are thrilled to announce the completion of @Levery_org's smart contracts code review 🐞🔨 Big thanks to the @UniswapFND's Security Fund, which subsidized this audit through @areta_io marketplace. Keep reading to learn more about what went down👇

We are at ISPE in Charlotte, NC! Bringing Formal Verification into the pharma industry 🤝

Everyone audits smart contracts, but few look under the hood at the systems that run them. @palinatolmach, CTO of @rv_inc, will share how to secure the foundations of Web3, including nodes, interpreters, consensus protocols, and zkVMs.

Interesting and focused project on just zkproofs’ verifier! Just like us @rv_inc , we only focus on formal verification with our own language-independent project K. Based it, we provided solidity debugger Symbolik, solidity verifier Kontrol, Rust verifier kompass, and good Kaas!

🚨 Simbolik update! Foundry test case debugging is coming to Simbolik Premium, and we are looking for beta-testers 🦾 Check out Raoul's post for more details, and don't forget to fill out the form 👇

🚀 It’s happening! Foundry test case debugging is coming to Simbolik Premium! We’re offering a few free beta seats for active testers — limited spots only! Please fill out the form in the comments if you'd like early access 👇

🔴 We’re live Join @RosuGrigore from @Pi_Squared_Pi2, @sreeramkannan, and @0xkydo as they discuss EigenCloud, @eigen_da & FastSet, and what this partnership means for the future of Web3 infrastructure. https://t.co/bKiRxpIa8K

We are going to Buenos Aires 🇦🇷🧉!!! Catch Everett and the rest of the team at DSS!

Counterexample generation just landed in Kontrol. When a proof fails, Kontrol can now auto-generate a Foundry test by inserting concrete assignments from the model into the original failing test function—so you can reproduce in one run. Docs:

Stablecoins are now at $200b, Wall Street is ready, and trillions are waiting to come onchain, but they’re SCARED. This is why the Immunefi Foundation (@immunefiFdn) just launched today. Visit the Foundation site below to watch the upcoming livestream announcement that will

We are hiring 💼 Join us in helping our mission of building a safer ecosystem by applying to the newly published Business Development/Client Manager role! https://t.co/NmugALtPjY

We got to catch up with @AlmanaxAI team at #meridian2025 🇧🇷💚 They're building some awesome automation and audit-assist technologies, and we can't wait to continue testing their tech beyond Soroban Smart Contracts 🤝