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.
Login to follow Alexander Smart
Alexander Smart
MuKn
Claim Account
Follow
Bio
Missing Bio. Claim profile to add a bio.
Community Reviews across funding rounds
Funding data last updated
Alexander Smart Proposals (8)
Glow Formal verification
Solution: MuKn的Glow语言将通过自动证明程序的每个交互的数学正确性来克服这个问题。
NFT-DAO EZ-Name
Solution: 通过将 "alice.ada "等人类可读的名字映射到机器可读的标识符（如Cardano地址）来改善用户体验。
NFT-DAO EZ-Pay API wallet connector
Solution: 建立扩展的钱包桥梁，与传统系统如VISA、Venmo和MetaMask、Yoroi、Daedalus及交易所等的枢纽。
AVOUM: Account View on UTXO Model
Solution: 我们通过在Cardano的UTXO模型之上提供一个 "账户 "视图来解决这个问题，使用可塑性交易和节点可提取价值。
AVOUM on Cardano
Solution: AVOUM提出了一个关于eUTxO区块链的账户观点，以及一个可塑性交易的概念，这使得并发性大大增加。
Glow Formal Verification Stage 2
Solution: Glow语言的形式验证引擎，能够自动检查程序员提供的断言。
Glow on the PAB
Solution: Glow简化了DApp的开发，但现在需要EVM。我们建议使用PAB将Glow直接移植到Plutus。
Glow on the PAB
Solution: Glow is a simple yet efficient language for DApps.
It already works on the EVM, and we propose porting Glow directly to Cardano by making it compatible with the PAB (Plutus Application Backend)
Monthly Reports
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.
Nothing to add, the project looks promising