Certora TheDogShow Challenge @ ETHDenver

​Welcome to the Certora ETHDenver 2025 Workshop Challenge!

​Once the challenge has been completed, you can earn your precious gemstone for the Certora amulet.

Your goal is to find a buggy version of BestDogVoting that is not detected by the provided formal verification rules but still qualifies as a high-severity issue.

WORKSHOP SPEAKERS:
Tomer Ganor, Tech Lead
Jonan Scheffler, Dev Relations
Uri Kirstein, Product Manager

​Drinks, chef-made food and will be available during & after the challenge at The Blockspace Mansion. 👨‍🍳

​WIN YOUR AMULET AT THE WORKSHOP

​Each challenge venue (6 total) grants one of six semi-precious 5mm gemstones, arranged around a 20mm cubic zirconia centerpiece engraved with the Ethereum logo.

​To fully enable the amulet’s functions, all 6 gems must be collected. Complete the challenge and earn your gem.

About Certora
Certora is a blockchain security company that provides industry-leading formal verification tools and smart contract audits. Certora’s flagship security product, Prover, is helping protocols like Aave, Lido, and Maker integrate the power of formal verification into their development pipeline to catch even the most rare & hard-to-find bugs.