Gabriel Coutinho de Paula

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.

22:58

The Dave fraud-proof algorithm — triumphing over Sybils with a laptop and a small collateral

· Nov 13, 2024

Gabriel Coutinho de Paula, Augusto Teixeira

23:13

The Dave fraud-proof algorithm — triumphing over Sybils with a laptop and a small collateral

· Nov 13, 2024

Gabriel Coutinho de Paula, Augusto Teixeira