On Tuesday, January 29, the head of the Russia-based Waves blockchain platform, Sasha Ivanov, stated on Twitter that Microsoft Azure has begun featuring its products for developers – Smart Assets and Smart Accounts, which allow building smart contracts and operating them in a much easier manner. Continue reading Waves Adds New Tools to Microsoft Azure, Promising to Surprise Smart Contract Devs
Formal verification is currently a popular method of debugging smart contracts. This method relies on logical and mathematical testing. However, it also requires developers to define what is correct, a task that becomes more complex as a project grows larger. But despite its inconveniences, formal verification is currently a leading option for bug testers. Continue reading Ethereum Classic (ETC) Prof Proposes Simpler Smart Contract Debugging
Bakkt‘s Bitcoin (USD) Daily Futures Contract, the physically-settled daily futures contract, is quite close to getting the green light from the authorities, according to reports on the Wall Street Journal (WSJ). The exchange has been working with the Commodity Futures Trading Commission (CFTC) to ensure its business plan is compliant with the agency’s regulatory framework. A couple of areas that stood out are the exemptions for the exchange to keep customer’s bitcoins, cybersecurity issues that could crop up and the financial liability, in the event of a hack. Once the CFTC decides to approve the project, the public has 30 days to weigh in with comments. Continue reading Bakkt’s Futures Contract Is Set to Be Launched
“IoTrust,” which has established a strategic partnership with TEMCO, the world’s first Bitcoin (RSK) based supply-chain data platform, will reveal D’CENT Cold Wallet that supports RSK’s RRC-20 Tokens at the 2018 Beyond Blocks Bangkok Summit for the first time. Continue reading Grand Partnership of TEMCO X RSK X D’CENT to Develop RRC-20 Cold Wallet: D’CENT Revealed a Cold Wallet Supporting Bitcoin Smart Contract at the “2018 Beyond Blocks Bangkok Summit” for the First Time!