My guest today is Paul Razvan Berg. Paul is a longtime Solidity developer whose open source tools, including prb-math and prb-proxy, are integrated into many Ethereum contracts and protocols. Paul is also the co-founder and lead developer of Sablier, the token streaming protocol which launchced its v2 in July 2023.

On this episode, Paul and I go in-depth on three topics. First, we discuss a handful of his influential open source repos. Second, we talk about testing in Foundry and recap the Branch Tree Technique test writing framework that Paul presented at EthCC this year. Finally, we cover Sablier, its origins, and what's new in the recently launched v2. In the course of discussing Sablier, we also touch on PRBProxy, which is a new proxy implementation that Paul believes is a great update to Maker's DSProxy.

This was an excellent conversation and it was a pleasure learning from Paul, who is not only a brilliant and expert Solidity dev, but also a generous soul. I hope you enjoy the show.

As always, this show is provided for entertainment and education purposes only and does not constitute financial advice or any form of endorsement or suggestion. Crypto is risky and you alone are responsible for doing your research and making your own decisions.

Links

• PRBMath
• EIP-1620
• Paul's Testing Best Practices in Foundry Projects talk at EthCC
• Paul walks through Sablier v2 on The Bytecode
• Shafu's Sablier walkthrough with Paul
• Shell script to turn natspec into docusaurus
• Alex Fertel's CLI tool for making Tree files into test scaffolds
• Invariant Examples by Lucas Manuel and Paul
• K Framework
• SMTChecker formal verification in Solidity
• FREI-PI
• solc bugs
• Mocha testing framework
• Cucumber Gherkin
• The Withdraw .tree example in Sablier