Verifier Alliance: inside of the contract verification pipeline

Wed, Nov 13, 2024, 05:55 AM · 08:30

The talk will guide you through a smart-contract verification process step by step while introducing some technical details and challenges verification services have to handle. Will describe what we have learned building "Verifier Alliance" - a new collective that unites different verification providers to have an open and shared database of smart contracts (verifieralliance.org).