Become as proficient as our team and use Glow to make your DApp projects come true.

Summary: Harmony One proposed an asynchronous cross-shard CALL2 extension to the EVM, to complement its synchronous CALL of a contract on the same shard. Unfortunately, it is all too easy to introduce security vulnerabilities to existing contracts with such an extension, and very hard to make sure you don’t. Meanwhile, this model cannot bridge the …

Safe cross-chain contract interactions Read More »

In case you hadn’t noticed, the results of the Caradano-backed Catalyst5 fund have been released. As you know, formal verification is extremely important in the field of DApps, and one of our grails has always been to implement a built-in formal verification in the Glow language to ensure its safety. That is precisely why we …

MuKn won a Catalyst5 grant Read More »