CertiK - Creating a zero-defect contract (block-chain vaccine)