ETH Gathering: Barcelona 2022 | Made for builders by builders.
The conference provides a space to transfer knowledge on the latest tools, and innovations in DeFi, Security, DAO Governance, and Data Analytics, focusing on the working groups responsible for establishing new discoveries in blockchain.
Logistics | ETH Gathering: Barcelona 2022 offers space to dev teams the week (November 14th -19th) before it host’s a two-day conference on November 19th-20th.
ABOUT | Reverse bug bounty hunting with Certora
Participate in Certora’s unique competition and get the chance to win $1,000.
The competition: a reverse bug bounty hunt; it’s like a regular bug bounty, except the bugs aren’t visible in the code - yet. You’ll compete to find vulnerabilities and invisible bugs in a smart contract. Using the Certora Prover, you’ll be able to write specifications that will unravel malicious code planted into the contract.
What you can expect during the event
Attend an intro lecture and a technical workshop run by Certora experts, including Q&As. — No prior experience with Certora or formal verification needed.
Connect and hunt alongside like-minded developers.
Reasons to join
Secure a $1K prize for discovering at least three out of five planted bugs. The first three submissions win.
Gain 6-months of free access to the Certora Prover.
Exclusive Certora merch for all participants.
Good to know
Spots are limited to 51 participants and allocated on a first-come, first-served basis - so… hurry!
The exact deadlines and installation instructions will be sent to you by email just before the event starts. Pro tip: Install the docker image before to save time during the event.
Solidity skills are required.
Come prepared
Want to gain some advantage? Brush up on your knowledge with these resources:
—
About Certora: Whitepaper
Certora is a smart contract security tool designed to help developers detect and prevent security mistakes before code is deployed. So far it has successfully identified bugs for companies like Maker, Compound, Balancer, and SushiSwap and is securing over $50 billion in DeFi assets. Learn more about Certora.