I like cryptography, programming languages, and mechanized proofs.
-
PUC-Rio
- Rio de Janeiro, Brazil
Pinned Loading
-
cartesi/rollups-contracts
cartesi/rollups-contracts PublicSmart Contracts for Cartesi Rollups
-
crypto-bug-hunters/bug-buster
crypto-bug-hunters/bug-buster Public🪲 Bug Buster, a bug bounty platform powered by Cartesi Rollups
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.