Musab

Most verifiable computing systems force your code through a translation layer first. Pi2 Labs built a different way. One universal proof checker. Every language. Mathematically guaranteed. Read the full paper ↓

Wonderland is hosting the biggest CTF in history and there’s no way we’re missing it! Our formal verification engineers have designed a rabbit hole that will require you to stay curiouser and curiouser. See you in Cannes on April 1st, find us on-site if you need a hint 🥖

1/We're continuing to walk you through what's new in Simbolik. Today: testing 🧪 Testing is your second line of defense (after static analysis). And with Simbolik, running your Foundry test suite never requires leaving VSCode. Here's what the new test explorer looks like in practice: → Open the testing panel directly in VSCode, your entire test suite is listed and ready → Run a single test, all tests within a contract, or the full suite in one click → No terminal. No commands to remember. No context switching. → Foundry runs under the hood, so you keep all the power, cheatcodes, fuzz testing, detailed execution tracing, with none of the friction For developers, this tightens the feedback loop. Write a function, write a test, run it immediately, right where you are. Iteration becomes faster and more natural. For security researchers, test suites are executable documentation. They reveal the assumptions, invariants, and intended behaviors of a system, and they're the best starting point for exploring edge cases that nobody thought to test for. Simbolik doesn't replace Foundry. It puts Foundry exactly where you need it.

Fast. Coming soon. fast.xyz

1/ Simbolik just launched. Let's walk you through what's new 🚀 Static analysis the first line of defense in every security process. The new Simbolik runs linting continuously in the background, no setup, no test cases, no extra steps. The moment you write code, Foundry's native detectors are already scanning it! Reentrancy risks, shadowed variables, arithmetic precision loss, and unused imports are flagged inline, right where the issue lives, while you're still writing. Here's what that looks like in practice: → Blue and yellow underlines highlight issues directly in your source code → Hover over any flagged line to see exactly what the problem is → Open the problems view sidebar to see everything ranked by severity → Zero configuration. Zero context switching. Just faster, safer code. This is the fastest security feedback loop available to Solidity developers. Most vulnerabilities caught by static analysis don't need a test suite to be discovered, they just need someone paying attention. Simbolik is bringing Foundry's detectors natively into VS Code, so defensive engineering becomes part of how you write code every day, not just something you run before a deployment. The first line of defense. Now inside your editor.

This is a great point, runtime logging was something not scoped into our verification effort, but difference of side effects from changes like this should be considered! Our proofs are verifying functional correctness, specifically that conditions and ordering of errors are the same between the protocols, and that the state updates in the success case are equivalent. Logging (and other side effects for that matter) are not considered, but this analysis is certainly important. Reach out to @danielkcumming, he would be happy to provide additional insights from this formal verification effort!

Good things happen when the community meets IRL. OpenClaw builders in NYC, this one's for you.  Wednesday, March 18 5:00 PM - 8:00 PM EDT

There's a room. One door. A billion agents trying to get through. They wait. They timeout. They retry. We removed the door.

I'm starting to host a series of OpenClaw events! If you're in NYC and building with OpenClaw (or just curious), come hang! Meet your fellow builders, come chat about skills, cronjobs and .md files. Luma link below.

3.14159265358979... Most people stop there. We kept going. Formal verification means proving something works not for 10 decimal places, but for every possible case. Forever. Happy Pi Day from the team that takes math personally.

1/ Minus 3 days to our Simbolik relaunch🗓️ When we started building Simbolik, we had one goal: give Solidity developers the debugging experience they deserved. The kind that every other programming ecosystem had taken for granted for years. Step through your code. Inspect your state. Understand what's actually happening inside the EVM. We built that. And thousands of developers used it. But we kept asking ourselves the same question: what does it actually take to ship secure smart contracts? Debugging is part of the answer. But only part. Secure code doesn't come from one tool or one technique. It comes from a discipline, the same discipline that mature software engineering has practiced for decades. You need to catch issues statically, before you even run anything. You need tests, and you need to know how much of your code those tests actually cover. You need to be able to debug not just transactions, but the tests themselves. You need everything working together, seamlessly, without ever leaving your editor. That's what we've been building. On March 16th, Simbolik stops being just a debugger. It becomes your all-batteries-included security extension, a complete code analysis environment for Solidity, living natively inside VS Code. Same Simbolik. Much more powerful. ✨

What a beautiful window into @ethereumfndn's philosophy of “subtraction” and it’s ethos of actively decentralizing the ecosystem's critical infrastructure! And now anyone can easily track and understand every project that’s been funded by the @EF_ESP since 2024. Over the last 8 years of collaborating with the Ethereum Foundation we’ve remained incredibly grateful for their ongoing trust in ensuring our security research continues to benefit the whole ecosystem.

We don't ship assumptions. We ship proofs.

كم يملك المؤسسون كوسيط في شركاتهم الناشئة بعد كل جولة استثمارية؟ • جولة Seed: يملكون 54.8% • جولة Series A: تنخفض إلى 35.6% • جولة Series B: تصل إلى 21.8% • جولة Series C: تستقر عند 16.1% • جولة Series D: يتبقى لهم 10.4% لاحظ أن جولة (B) هي المرحلة التي يصبح فيها "المستثمرون" هم أصحاب الكتلة الأكبر في الشركة.

One of the coolest things about Arbitrum Stylus is its interoperability. If you are building with both Solidity and Rust and security is a mission-critical part of your development cycle, try Skribe: it’s open source and free to use! Skribe supports mixed-language fuzzing, testing how your Rust logic interacts with Solidity contracts in a single environment. P.S. better fuzzing -> tighter code -> cheaper transactions for your users, as a bonus secondary effect that comes with refining logic.

Agents are already transacting billions. Trading across networks. Settling value 24/7. But every transaction still runs through infrastructure designed for humans clicking buttons. The agentic economy showed up. Payments didn't

What if you could teach AI to deliberately forget sensitive information like your age or location, while still doing its job? Researchers built exactly that. The results are striking. ↓