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的Glow语言将通过自动证明程序的每个交互的数学正确性来克服这个问题。
Glow Formal Verification Stage 2
Solution: Glow语言的形式验证引擎，能够自动检查程序员提供的断言。
Glow on the PAB
Solution: Glow简化了DApp的开发，但现在需要EVM。我们建议使用PAB将Glow直接移植到Plutus。
AVOUM on Cardano
Solution: AVOUM提出了一个关于eUTxO区块链的账户观点，以及一个可塑性交易的概念，这使得并发性大大增加。