Human Friendly Contract Interactions w/ Sourcify
summary
Sourcify verifies contracts by re‑compiling sources from the metadata.json and comparing deployed bytecode plus the embedded metadata hash (CBOR footer) to produce a full match that cryptographically proves exact source, or a partial match when only bytecode aligns. It runs a UI, API, automatic monitor, and plugins (Hardhat, Remix), hosts a public IPFS/IPNS repository of over one million files (~11 GB), and decodes NatSpec to produce human‑readable wallet call descriptions.
AI-written summary · about
chapters (8)
- 0:00Start
- 2:04Natspec: Dynamic Expressions
- 4:08Source Code Verification
- 5:47Full/Perfect Verification: How?
- 8:54Tooling
- 9:27Automatic Verification
- 10:04Contract repository
- 10:55From wallet/block explorer
related talks
27mHuman-friendly Contract Interactions with Sourcify Verification
25mThe State of Source Code Verification Closed, Painful, and Ready for Change
26msub0 Asia 2024 - Ariel Waissbein (CoinFabrik)
25mBehavioral simulation for smart contracts
57mCode Genome - Fingerprinting Code to Build Trustworthy SBOMs
46mFormal verification of C# smart contracts
20mBillion Dollar Bugs
30mVerifying Solidity Smart Contracts Via Communication Abstraction in SmartACE