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 applied for a grant (determined by the votes of the community) to fund our formal verification.
We are proud to announce that we have been supported by the community, and that Mutual Knowledge Systems’s project has been funded.
On top of that, one of our partners, NFT DAO, was also funded on a project that will use the Glow language…
Party time !