Wednesday, February 8, 2023
Home Tags Smart contract

Tag: smart contract

VeriSol - Verifier for Solidity under development by Microsoft

VeriSol – Verifier for Solidity under development by Microsoft

In its blog, Microsoft announced the development of an open formal verification scheme for smart Ethereum contracts in the Solidity programming language. The tool will...
NEO cryptocurrency

NEO cryptocurrency

NEO - cryptocurrency from China, launched in 2014 under the Antshares name. NEO supports smart contracts that can be written in C #, C ++, Java,...
Ethereum Platform and ETH What are they

Ethereum Platform and ETH: What are they?

What is an Ethereum? Ethereum is an open platform based on the blockchain, which helps developers to create their decentralized applications. The platform has its...
Why CryptoKitties matters

Why CryptoKitties matters

A blockchain-based game that lets you birth and trade digital kittens raised $12 million in new funding last week from some of the most...

get connected


Recent Posts

Most Popular