Tagged in

Smart Contracts

Legicash

We are a blockchain technology that uses formal methods to increase the scalability and security of smart contracts.

Followers

Elsewhere

More, on Medium

A revised version of this article is available under the title “Scaling your dApps with Alacris.io” at…