Contract Verification
Contract verification demonstrates that published smart-contract source code compiles to bytecode corresponding to the code deployed at a blockchain address.
✦ Key Insight
Verified source code makes independent inspection easier and supports security research, but verification alone does not prove that a contract is safe.
✕ Common Misconceptions
Verified does not mean audited. For proxy contracts, also inspect the implementation contract and upgrade permissions.
Detailed Explanation
In Practice
Dig Deeper
Block Explorer
A block explorer is a search interface for viewing transactions, addresses, blocks, tokens, and other data recorded on a blockchain.
Smart Contract Audit
A smart contract audit is a security review of contract code intended to identify vulnerabilities, design flaws, and other risks before or after deployment.
ERC-20
ERC-20 is the widely used Ethereum standard that defines a common interface for fungible tokens.
Mint Function
A mint function creates new units of a token and increases its circulating or total supply according to the token's rules.
Proxy Contract
A proxy contract forwards calls to separate implementation code and can, in upgradeable designs, allow that implementation to be replaced later.