As mentioned at the end of our last blog post, simplicity isn't automatic, and if it isn't specifically sought, complexity is the default. This is especially true when management prioritizes…
Dear followers, After two years of existence, our founding team has a better understanding of how we work together, and who performs best in which context. This made us…
As you may know, we at MuKn want to commoditize the blockchain sector by simplifying the use of the tools necessary to make DApps.That’s where formal methods come in. They…
⬇️ TOMORROW at 4PM UTC ⬇️MuKn CEO François-René Rideau talks about our AVOUM tech on Input Output's main stage on discord.🐦🐦Some times ago, crypto twitter was all aflutter about the…
You might have seen our previous blog post about safe cross-chain interactions, which was an analysis of one aspect of the Harmony One ecosystem. Well, this analysis let us to…
Decentralized Applications (DApps) atop public blockchains are the very hardest programs to write and audit: they run in an adversarial irreversible public environment; one bug, and someone may lose his…
Dear community of Glow enthusiasts, Our MOOC is now live. Repeat, our MOOC is now live.You can now access our online course to learn the Glow language: we want to…