Bitcoin CertiK releases blockchain with real-time smart contract auditing Share Tweet Share Share Email Comments The security company wants to build a formally secure blockchain for DeFi Related Items: Share Tweet Share Share Email Click to comment Leave a Reply Cancel replyYour email address will not be published. Required fields are marked *Comment Name * Email * Website Save my name, email, and website in this browser for the next time I comment. Notify me of follow-up comments by email. Notify me of new posts by email. This site uses Akismet to reduce spam. Learn how your comment data is processed.