* Thomas Pani | blltprf.xyz is leading a hands-on session where participants build a smart contract fuzzer in Python and rethink what good fuzzing actually looks like. Formal Methods meets fast prototyping. Happening now in Cinema 9.

Power packed morning Protocol Berg v2

web3 needs more spaces like this: a focus on genuine information and relaxed, open conversations, not just endless shilling and self-promotion. This was a breath of fresh air 🙏😊 Huge thanks to Protocol Berg v2 and Department of Decentralization for an absolutely incredible two days!

In #Amsterdam, visiting the Spar hard-fork at block 4370000. Jokes aside, I'm attending #systemsdistributed by TigerBeetle — if you want to chat about fuzzing or formal verification, lmk!

Amen Joran Dirk Greef

We are finally back to humanity after v2, and just in time to drop you all a treat before the weekend! The Protocol Berg recordings are now live, thanks to our friends over StreamETH 🖤 Read below to see how you can catch up on all the awesome content from this year’s event👇

All talks from Protocol Berg v2 v2 are now available to watch! Grab your 🍿and catch up on all the content you missed, or rewatch your favourite talks👇

Curious about lessons learned shifting from web3 red team to blue team? My #ETHBelgrade talk is now live: youtube.com/watch?v=AB4st_…

Solana’s new Alpenglow consensus now has a Quint spec. Instead of explaining the protocol, we’re giving you the tools to understand it yourself. The blog post gets you started with the interactive tooling, and challenges you to build scenarios where Byzantine nodes cause

Runtime monitoring, fuzzing, formal verification. Plenty of things can be done beyond code review to catch edge-cases 🫡

Most developers don't know how to book an audit the right way. They ask 1 or 2 firms and go with the cheaper one. That's the wrong approach. You should get a few quotes from different firms and then compare by quality in relation to price, not by price alone. The "secret":