Programming languages, the infinite garden, and great storytelling. I research and build public-good technologies in Web3.

Currently contributing to the Cartesi ecosystem, where I develop core L2 infrastructure like Dave, a permissionless fraud-proof system.

Gabriel Coutinho de Paula

Current fraud-proof algorithms are susceptible to Sybil attacks, impacting security, decentralization, and (settlement) liveness. This presentation introduces _Dave_, a novel algorithm that offers an unprecedented combination of these three properties. We demonstrate that there's no realistic Sybil attack capable of exhausting defenders' resources or causing significant delays, even with minimal bond requirements.