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…
Zoe BraitermanMay 6, 2022
“Security Through Clarity” and Why Programming Languages and Architecture Matter
Decentralized Applications (DApps) atop public blockchains are the very hardest programs to write and audit: they run in an adversarial…
Read More
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…
adminMarch 21, 2022
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…
adminJanuary 27, 2022
⬇️ 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…
adminDecember 8, 2021
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…
adminNovember 13, 2021
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…
Francois-Rene RideauOctober 21, 2021
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…
adminSeptember 29, 2021
Become as proficient as our team and use Glow to make your DApp projects come true.
adminSeptember 18, 2021
