10-11, 13:00–13:30 (America/Bogota), Talk 2
The Ethereum merge is a high-stakes event for the entire industry, and requires several large, stateful, distributed software systems to behave flawlessly in order for it to succeed. Unfortunately, it’s very difficult to develop distributed stateful systems like a blockchain with high confidence. Many of the worst bugs in these systems don’t show up in the happy case, but require particular network, hardware, or timing conditions in order to manifest.
Data nerd turned crypto enthusiast working at Antithesis to push the boundaries of finding bugs in distributed architectures.
