Proof-Carrying Code for Verifying Smart Contracts
How are smart contracts being verified nowadays? Generally, smart contracts are stored on the blockchain and the executing party must inspect their source code before executing them. If there are N parties that want to execute the source code, all…