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's Glow language will overcome this problem by automatically proving the mathematical correctness of every interaction of a program.
NFT-DAO EZ-Name
Solution: alice.ada」のような人間が読める名前を、カルダノのアドレスのような機械が読める識別子にマッピングすることで、ユーザーエクスペリエンスを向上させる。
NFT-DAO EZ-Pay API wallet connector
Solution: Build extended wallet bridges to traditional systems like VISA, Venmo and a hub for things like MetaMask, Yoroi, Daedalus & exchanges.
AVOUM: Account View on UTXO Model
Solution: 私たちは、CardanoのUTXOモデルの上に「アカウント」ビューを提供し、マレブルなトランザクションとNode-Extractable Valueを使って、この問題を解決します。
AVOUM on Cardano
Solution: AVOUMは、eUTxOブロックチェーンのアカウントビューと、より高い並行性を可能にするmalleable transactionの概念を提示します。
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