11-13, 11:00–11:30 (Asia/Bangkok), Stage 5
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.
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.
Augusto holds a PhD in Mathematics from ETH-Zürich and a degree in Physics; he is also a Professor at the Institute of Pure and Applied Mathematics (IMPA) in Rio de Janeiro. Augusto is one of the co-founders of the crypto project Cartesi, an L2 solution empowering computationally intensive DApp chains.