Users can submit explanations of the functioning of smart contracts in natural language (ex: English). Users interacting with those smart contracts can read the description of the smart contract. Descriptions can be challenged and users putting wrong descriptions lose their deposit. Descriptions of smart contracts with vulnerabilities generally do not describe them, so finding a vulnerability generally allows to challenge the description. This also gives a bug bounty system as a byproduct.
Alice submits an English description of an Escrow contract. Bob, who is not a developer, reads this English description to understand this contract and decide whether he wants to interact with it or not.
Carl makes a CFD (contract for difference) which can be used to margin trade ETH and puts a description. Dave read this description and the smart contract. He finds that the contract contains a backdoor not described and challenges the description.
Users can submit explanations of the functioning of smart contracts in natural language (ex: English). Users interacting with those smart contracts can read the description of the smart contract. Descriptions can be challenged and users putting wrong descriptions lose their deposit. Descriptions of smart contracts with vulnerabilities generally do not describe them, so finding a vulnerability generally allows to challenge the description. This also gives a bug bounty system as a byproduct.