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.
BSV- Not End of Game. Starting a War
Heroes can indulge in trifling beer-bar fights. Super-heroes can’t. There is no time.
There is a new tussle between...
Dash will help feed the children of Venezuela
The Dash project team announced the launch of a charity program to create a transparent system for the distribution of raised funds....
Monero: Not THE Earliest Bird, and still getting the worm
Why using open-source and GPU approaches is making Monero a smart second-mover in cryptocurrency forest?
The First One gets...
Warning! Fake Monero called Monero Rings
A project called Monero Rings advertises itself on the sites monero-rings.org and myxrmwallet.com.
Monero Rings is positioning itself...
Electroneum launched a smartphone!
Out of hundreds ICOs of the past year, Electroneum is the one that doesn't want to go away and it seems that...
How can XRP grow by 2000% in 2019?
In 2018, the "bears" pretty much crushed all cryptocurrencies, but could not undermine faith in them. In addition to Bitcoin, XRP has...
Central Bank of Iran introduced Payman cryptocurrency
After a year of speculation and news about various improvements, Iran has finally introduced Payman digital currency.
State-supported cryptocurrency...
Gram cryptocurrency valued at $29.5 billion
According to the estimates of HASH Crypto Investment Bank, the value of the future Telegram cryptocurrency may reach $29.5 billion by the...
Monero: something strange is going on
CEO of Lunar Digital Assets, Han Yoon wrote an article, warning that Monero network possibly showing signs of an imminent attack.
