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 message
MuKn
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: A formal verification engine for the Glow language that enables automatic checking of programmer supplied assertions.
Glow on the PAB
Solution: Glow simplifies DApp development, but right now needs the EVM. We propose porting Glow directly to Plutus using the PAB.
AVOUM on Cardano
Solution: AVOUM presents an account view on eUTxO blockchains, together with a notion of malleable transactions, which enable much higher concurrency.