Результатов: 33

Smart contract security company CertiK introduces its own blockchain

Smart contract security company CertiK introduces its own blockchain » CryptoNinjas CertiK, a platform for blockchain and smart contract auditing, today introduced the CertiK blockchain. The CertiK Chain is built to enhance the security of smart contracts, leveraging the CertiK Foundation’s unique Formal Verification platform at its core. дальше »

2019-7-23 21:29


Microsoft seems very proud of its smart contract auditing tools for blockchain

Microsoft is very proud of its Azure Blockchain-powered smart contract auditing tools for Ethereum – so much so it decided to flaunt some of the benefits of the software in a new blog post. “One of the key drivers making blockchain-based applications programmable, accessible to enterprise customers, and able to meet the diverse needs of a variety of sectors [are smart contracts],” the post reads. дальше »

2019-6-4 12:53


Ethereum Constantinople Fork Delayed After Detecting Introduced Smart Contract Vulnerabilities

A security firm identified a vulnerability introduced by the planned Jan. 16th Constantinople hard fork, compelling the core Ethereum developers to issue an emergency postponement. On Jan. 15th, 2019, ChainSecurity—a smart contract auditing and security firm—detected a vulnerability introduced by the Constantinople hard fork upgrade. дальше »

2019-1-16 02:53