09:42смарт-контракты 0 + Microsoft хочет исправить смарт-контракты Ethereum при помощи VeriSol17:28hard fork 0 + These are the top 10 programming languages in blockchain12:00Smart Contracts 1 + What Is Solidity: Ethereum’s Inclusive Development Language19:24Privacy & security 0 + Audits and Quality Assurance: Patching the Holes in Smart Contract Security19:12Privacy & security 1 + Blockchain Auditing and the Industry’s "Knowledge Gap"
19:24Privacy & security 0 + Audits and Quality Assurance: Patching the Holes in Smart Contract Security
13:41News 0 + Microsoft releases new tool for auditing smart contracts on Ethereum01:00Polkadot 0 + Polkadot’s New Proof of Concept Could Enhance Decentralized Governance18:00Technology 0 + Study Reveals Number of Blockchain Developers in India Second only to the USA18:41Review 1 + Bitcoin Magazine’s Week in Review: ETFs and Expansions12:58#tokens 0 + Bitcoin trade script and exchanging script
19:30solidity 0 + Microsoft releases Ethereum-based open-source formal verification tool for Solidity smart contracts23:06Adoption 2 + Sats Back: How the Ebates of Bitcoin Plans to Convert Holders to Spenders01:17ethereum 0 + Decentralization Gains Traction: Go-Ethereum Fifth Most Active on Github16:32blockchain 0 + Qtum Platform Now Available Through Amazon Web Services
19:30solidity 0 + Microsoft releases Ethereum-based open-source formal verification tool for Solidity smart contracts
