Comet is a fuzzing and formal verification tool for Soroban smart contracts. The demo walks through testing a vaults contract using property-based testing, showing how to write test contracts that interact with target contracts and use the Comet CLI to run automated fuzzing on contract functions.
Comet is a fuzzing and formal verification tool designed for Soroban smart contract developers. The presentation demonstrates how to use Comet by testing a vaults contract with functions like init, getCoreState, and calculateDepositRatio. Test contracts are written as special contracts that can manipulate blockchain state and interact with target contracts. The demo shows the init setup process, property-based test cases with assumptions to avoid overflow and division by zero errors, and the Comet CLI workflow that compiles test contracts and runs fuzzing with randomly generated inputs. The tool discovers test functions automatically and executes them, with plans to add symbolic execution alongside fuzzing in future versions.