Claim Your Account
Lets get you verified!
Great! You may close this page
after you've sent us the code on ideascale.
You will receive a confirmation once your account is validated
To verify your ownership of this profile,
please send a personal message to
Lido Nation
on ideascale and include the code above.
Do you already have a catalyst catalyst explorer or lido nation account?
How is this data calculated?
- A human at Lido Nation manually comb through proposals 2 identify core members of a group. People denoted as such are listed on the group page.
- For these core member, a script finds all the proposals for which they are the primary author & attribute that proposal to the group.
Despite our best efforts to maintain the accuracy of the information presented here, inconsistencies may exist.
Questions or feedback about this data?
Send us a messageMuKn Claim Account How is this data calculated?
Bio
We make blockchain technologies smoother and safer. Our expertise helps companies save costly resources by either optimizing current solutions, or developing new ones.
Community Reviews across funding rounds
Funding data last updated
Top of mind of MuKn in Catalyst
most frequent words in proposal details
Challenges
The Team (1)
Members in Catalyst that have co-proposed with MuKn. Individuals may not be employed at MuKn. This is is is not representative of MuKn's full team.
Follow MuKn monthly project reports to have them delivered to your inbox, for all 4 projects.
Individual Projects can also be followed on project page.
Error following
Successfully subscribed. Watch your inbox!
We will check for new reports and deliver them directly in your email.
Your email will not be shared with any 3rd party or be used for anything else.
-
Alexander Smart
Missing Bio
MuKn Proposals (4)
Glow Formal verification
Solution: MuKn's Glow language will overcome this problem by automatically proving the mathematical correctness of every interaction of a program.
Glow Formal Verification Stage 2
Solution: Un motor de verificación formal para el lenguaje Glow que permite la comprobación automática de las afirmaciones proporcionadas por el programador.
Glow on the PAB
Solution: Glow simplifica el desarrollo de DApp, pero ahora mismo necesita el EVM. Proponemos portar Glow directamente a Plutus utilizando el PAB.
AVOUM on Cardano
Solution: AVOUM presenta una visión de cuenta en blockchains eUTxO, junto con una noción de transacciones maleables, que permiten una concurrencia mucho mayor.