semantic decentralized and transparent code verification A smart contract that builds a decentralized, semantic and transparent code verification network of smart programmers.