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.

Augusto Teixeira

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.