11-13, 11:40–11:50 (Asia/Bangkok), Stage 4
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).
A developer of Blockscout blockchain explorer, with focus on smart-contract verification functionality