# Smart contract verification How might we add more resources to ethereum.org on smart contract verification? ### 2022-05-12 sync Kaan <> Sam ### Agenda - Potential for a "smart contract verification" page - Places e.org should highlight sourcify.eth - ...anything else? ### Notes - Potential for a "smart contract verification" page - Best name for this topic? Potential confusion with formal verification of smart contracts? - "Source code verification" is more descriptive. Because we don't verify the contracts safety etc. we just make sure this is the actual Solidity code of this contract. But at the same time it follows nicely with the sidebar menu items "Compiling Smart Contracts", "Deploying Smart Contracts", and then "Verifying Smart Contracts". I lean towards naming the page "Verifying Smart Contracts" but immediately explaining what we mean by verification on the page. - New page or part of existing page (e.g. [compiling smart contracts](https://ethereum.org/en/developers/docs/smart-contracts/compiling/), add section on metadata)? - What other tools exist? - Places e.org should highlight sourcify.eth - [Smart contract docs](https://ethereum.org/en/developers/docs/smart-contracts/)? Compiling page? - Sourcify tutorial? - Mentioning ABI + ABI is found in contract metadata? Is there an "Interacting with Smart Contracts" page? - Also mention ABI on [compiling page](https://ethereum.org/en/developers/docs/smart-contracts/compiling/)? - Potentially mentioning NatSpec? - We should replace all (Solidity) smart contract examples on the site with NatSpec! ### Decision - Create dedicated "smart contract verification" page - Right after "deploy smart contracts" - Mention this is source code verification (separate from security verification) - Page structure - General intro to source code verification as a concept - Projects/tools that help devs achieve this - Sourcify - Etherscan - Tenderly - https://docs.tenderly.co/monitoring/verifying-a-smart-contract - Sourcify presentation: https://docs.google.com/presentation/d/1J9af54o20b01OBh1wig6JlDfEGfawDSSH0eiDxFCel4/edit?usp=sharing - ### Action items - [x] Create GH issue for “verifying smart contracts” page - [ ] Create GH issue for “interacting with smart contracts” page - [ ] Create GH issue to replace all (Solidity) smart contract examples on the site with NatSpec