Raoul
@RaoulSaffron
Followers
1K
Following
2K
Media
105
Statuses
559
Head of Developer Tooling @rv_inc Creator of https://t.co/Dcto1PwaRD Building Simbolik: The Solidity Debugger EVM | Solidity | Debugging | Formal Methods
Joined October 2021
gm!.Thrilled to introduce Solar Space ☀️ a FLOSS platform for building and sharing Ethereum projects. Each space comes with essential devtools, runs locally or in your browser, and is shareable via link. Hack, explore, and share – all in one place.
3
2
34
🎂 Happy 10th birthday, Solidity!. The family’s grown. We now have at least four compilers:. Solc The OG boomer: "Back in the old days, we compiled for 10 years without crits, but today's devs can only complain about stack-too-deep.". Solx.
github.com
Solidity, the Smart Contract Programming Language. Contribute to ethereum/solidity development by creating an account on GitHub.
1
2
23
Join us in 1h to learn how to debug, test, fuzz, and formally verify your Uniswap V4 hooks.
Stop guessing your v4 hook is safe. Prove it. On Wednesday, @rv_inc demos Kontrol — turning your Foundry fuzz tests into formal proofs, sniffing out edge-case bugs, and shrinking debug cycles so your v4 hooks ship safely. 📅 July 2nd, 12PM ET. RSVP below ↓
0
0
5
I messed up the time zones. Talk tomorrow is at 11:30 AM on the Tech Stage.
I'm excited to be speaking at EthCluj!.Today, at 2 PM, I will host a beginner workshop on setting up Solidity development environments. Tomorrow, I will give an advanced talk on solidity debugging at 10:30 AM.
0
0
2
RT @AtriumAcademy: Stop guessing your v4 hook is safe. Prove it. On Wednesday, @rv_inc demos Kontrol — turning your Foundry fuzz tests int….
0
4
0
RT @Natly_Demi: 🧠 Need your help — we’re researching formal verification in Web3. Are you a founder, CTO, or smart contract engineer?.We’d….
0
1
0
I'm excited to be speaking at EthCluj!.Today, at 2 PM, I will host a beginner workshop on setting up Solidity development environments. Tomorrow, I will give an advanced talk on solidity debugging at 10:30 AM.
Delighted to welcome on stage @RaoulSaffron from @rv_inc 🙌.Creator of Simbolik, he is bringing breakpoint-style debugging to Solidity. He is a formal verification advocate and builder of tools that make smart contracts safer. ETHCluj awaits.🗓️26–28 Jun.🎟️
0
2
19
RT @rv_inc: 1/We're excited to share our ongoing partnership with @Pi_Squared_Pi2 💜. Born from the same team and aligned on the same missio….
0
4
0
It's hard to believe how far formal methods have come. So what's the big deal here, and how does it relate to the kind of formal verification work we do at @rv_inc?. First, there are different ways to build formal verification tools. Nowadays, most tools have an ad-hoc encoding.
1/ The Pi Squared VSL Devnet is live. This is more than a launch; it's a leap toward making verifiability and parallelization the norm in decentralized computation. Explore the future today ↓
3
4
25
Must read for everyone who wants to understand ABI encoding. Great job by @zaryab_eth!. After reading the article, I suggest you interactively run some examples inside a debugger. I created a Solar Space playground specifically for this article.
Solidity ABI Encoding is NOT easy to master. But important. And, this is the ONLY article you need. 📢 Releasing Part-1 of the ABI Encoding Article series. best part: It's written for devs of all levels ( ELI5 ). Quick Short Thread ( link below 👇)
0
4
27
Let's spread more love ❤️.
6 months after genuinely meaning what I wrote, it's very sad to see the EF becoming a place of fear, intimidation, disrespect and arrogance towards many brilliant people, even in the presence of exciting tech. Wish everyone staying and leaving luck and success moving forward.
1
0
7
I got accepted last minute to attend Protocol Berg. Now road tripping to Berlin. Any crypto nomads know of a good camping or parking spot?.
0
0
4
There’s a lot of talk about how AI agents are starting to play a role in security—both as tools in audits and as instruments for malicious actors. I genuinely believe that LLMs have the potential to make the Web3 space much safer in the long run. But in the short term, they.
1
0
13
Improved error handling:.Solar Space now detects if you have unpushed changes that won’t be shared, and suggests one-click actions to sync everything before sharing. No more surprises.
0
0
2
You can now create beautiful code snapshots 🖼️.Links are great, but now you can also share clean, visual previews of your code—even before someone enters the space.
1
0
2
Goodbye GitHub OAuth 👋.Solar Space is now fully permissionless—just open and start building.
1
0
1
Until now, every new Solar Space started as a blank canvas: tools included, but no structure. I’ve added template spaces for Foundry and Hardhat, so you can jump right into coding without the boilerplate. Just select your fav template from:
2
0
3
Spent the weekend hacking on Solar Space again—made some exciting improvements I’m really happy about 👇
1
2
23
I'm thinking of doing a Solidity internals deep dive live stream. Would you watch?.I'd show how compiler allocates variables, function dispatching, checked arithmetic and other stuff that's usually hidden by the compiler.
30
5
178