The Hydra Framework for Principled, Automated Bug Bounties

摘要

The Hydra Framework is a new, principled approach to modeling and detecting security-critical bugs. Fusing a variant of classical N-version (redundant) programming with automated bug bounty payouts, Hydra provides economically rigorous and cost-effective bounty protections for smart contracts.