Email: [email protected] (preferred) | LinkedIn: @fahree | Signal: +1 617 575 9012 | GitHub: @fare | Telegram: @FrancoisRene | Twitter: @ngnghm (Computer Science) or @phanaero (cryptocurrency).

Hello, I am Faré, President and Chief Scientist of Mutual Knowledge Systems, a.k.a. MuKn (pronounced “Moon”—the K is silent), and this is my personal page in this professional role.

My main current interest is to build the Chenilles network together with the Glow language. I also oversee the technology behind our entreprise payment solution web3-enabler and our combined efforts in formal methods and machine learning.

• Chenilles is our next-generation State Channel network. It enables safe self-custodial payments and smart contracts, across all blockchains, handling any baskets of any cryptocurrencies and stablecoins and NFTs. Seamless payments from the buyer's favorite tokens to send to the seller's favorite tokens to receive, priced in whichever token they agree to transact—privately, scalably, with low fees.
• Glow is our Domain-Specific Language (DSL) for Decentralized Applications (DApps). It is much higher-level than existing DApp languages, with builtin support for the notions of participants and assets. It thus eliminates the vast majority of existing risks with DApps, and makes development simpler, faster, safer, portable across blockchains, what more with the ability to target State Channels and zk-SNARKs for extra privacy.
• Of course, our innovative technologies only matter if they can be used by regular people, and not just cryptocurrency enthusiasts and professionals. This is why we at MuKn are working on Web3 Enabler, a product to help regular companies integrate web3 payments in their usual tools and workflows.
• Finally, we use formal methods to prove the correctness of our software, and our formal methods team uses machine learning to conduct this process faster. We are very excited to offer these technologies as part of Formal Foundry.

Other technologies I have designed for MuKn include AVOUM (combining the best of Accounts and UTXOs), Sigurity (multisig that is a regular signature on the outside, but allows for strict audits inside), Olapa (scaling solution based on mutual knowledge), IWillPersist (secure persistence of DApp data on blinded remote servers), TrieZip (10x faster Merkleization of large data structures).

I look forward to discussing with you how MuKn can help you adopt or enhance blockchain technologies, or provide you with great investment opportunities. Together we will have Blockchain made usable by normal people!—where anyone and everyone uses blockchain technology as a matter of course, without breaking a sweat, without even being more than vaguely aware that they are using a blockchain.

To connect, email [email protected] (preferred), send private messages on Signal +1 617 575 9012, or, if you must, contact on Telegram @FrancoisRene or on on linkedin @fahree. You may also follow on GitHub @fare my public code updates, on Twitter @ngnghm my infrequent programming language takes, or also on Twitter @phanaero my rarer tweets about cryptocurrency.

PS: Our super power is being simultaneously fluent in many domains of which our competitors can only handle a couple at a time—theoretical computer science, programming language design and implementation, logic (classical or intuitionnistic, epistemic or linear; game semantics), reflection, distributed systems, network protocols, cryptography, game theory, economic mechanism design, cryptoeconomics, finance, law, adversarial thinking, etc. Our secret weapons are the programming languages Gerbil Scheme and Cubical Agda, that enable us to do what our competitors can't. And we compete with better funded competitors by playing moneyball—hiring great but undervalued outliers that we know how to make productive when other companies don't.