Gabriel Coutinho de Paula
Gabriel Coutinho de Paula develops layer-2 infrastructure in the Cartesi ecosystem, including Dave, a permissionless fraud-proof system. This work focuses on securing rollups against Sybil attacks while limiting the resources needed to challenge fraudulent claims.