Raoul (@raoulsaffron) 's Twitter Profile
Raoul

@raoulsaffron

Head of Developer Tooling @rv_inc
Creator of solarspace.dev

Building Simbolik: The Solidity Debugger

EVM | Solidity | Debugging | Formal Methods

ID: 1451148427073671174

linkhttps://raoulschaffranek.github.io/ calendar_today21-10-2021 11:29:00

484 Tweet

1,1K Followers

1,1K Following

Raoul (@raoulsaffron) 's Twitter Profile Photo

I took a snickers from the hotel minibar today and turns out I'm NOT financially ruined. Follow me for more investment advice.

Raoul (@raoulsaffron) 's Twitter Profile Photo

This year's audience at EthBelgrade is really technical, so I figured I should go deep in my talk. It's the last talk of the conference, but I promise you won't regret showing up. By the end, you'll be able to reverse-engineer Solidity internals easily. It's the best 20-minute

This year's audience at EthBelgrade is really technical, so I figured I should go deep in my talk. It's the last talk of the conference, but I promise you won't regret showing up. By the end, you'll be able to reverse-engineer Solidity internals easily. It's the best 20-minute
Raoul (@raoulsaffron) 's Twitter Profile Photo

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

Raoul (@raoulsaffron) 's Twitter Profile Photo

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

Raoul (@raoulsaffron) 's Twitter Profile Photo

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?

Raoul (@raoulsaffron) 's Twitter Profile Photo

Must read for everyone who wants to understand ABI encoding. Great job by Zaryab! After reading the article, I suggest you interactively run some examples inside a debugger. I created a Solar Space playground specifically for this article. solarspace.dev/github/RaoulSc…

Must read for everyone who wants to understand ABI encoding. Great job by <a href="/zaryab_eth/">Zaryab</a>!

After reading the article, I suggest you interactively run some examples inside a debugger. I created a Solar Space playground specifically for this article.
solarspace.dev/github/RaoulSc…
Nataly_Dmdv (@natly_demi) 's Twitter Profile Photo

🧠 Need your help — we’re researching formal verification in Web3 Are you a founder, CTO, or smart contract engineer? We’d love 15–20 min of your time to better understand how formal verification actually helps (or doesn’t). DMs open 💬 And if this might be relevant to someone

🧠 Need your help — we’re researching formal verification in Web3

Are you a founder, CTO, or smart contract engineer?
We’d love 15–20 min of your time to better understand how formal verification actually helps (or doesn’t).
DMs open đź’¬

And if this might be relevant to someone
Raoul (@raoulsaffron) 's Twitter Profile Photo

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 Runtime Vеrification? First, there are different ways to build formal verification tools. Nowadays, most tools have an ad-hoc encoding

Runtime Vеrification (@rv_inc) 's Twitter Profile Photo

1/We're excited to share our ongoing partnership with Pi Squared đź’ś Born from the same team and aligned on the same mission, Pi2 and Runtime Verification have been collaborating behind the scenes for the last year to bring formal methods, protocol design, and trust at every

1/We're excited to share our ongoing partnership with <a href="/Pi_Squared_Pi2/">Pi Squared</a> đź’ś

Born from the same team and aligned on the same mission, Pi2 and Runtime Verification have been collaborating behind the scenes for the last year to bring formal methods, protocol design, and trust at every
Raoul (@raoulsaffron) 's Twitter Profile Photo

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.

Atrium Academy (@atriumacademy) 's Twitter Profile Photo

Stop guessing your v4 hook is safe. Prove it. On Wednesday, Runtime Vеrification 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 ↓

Stop guessing your v4 hook is safe. Prove it.

On Wednesday, <a href="/rv_inc/">Runtime Vеrification</a> 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 ↓