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 (11)
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: Improve user experience by mapping human-readable names like 'alice.ada' to machine-readable identifiers such as Cardano addresses.
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: We solve issue by offering an "Account" view on top of the UTXO model of Cardano, using malleable transactions and Node-Extractable Value.
AVOUM on Cardano
Solution: AVOUM presents an account view on eUTxO blockchains, together with a notion of malleable transactions, which enable much higher concurrency.
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.
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)
Sky Protocol: Data Availability for Cardano Layer 2 Solutions
Solution: The Sky Protocol Network makes Data Available to Side-Chain participants. Its committee members sign messages in a format designed to be easy for Plutus contracts to validate and use.
Dynamic Compliance Guidelines for the Cardano Network
Solution: We will build and maintain a wiki-style source for compliance information, including creating a vetted international network of compliance professionals.
Sky Protocol level 2—a Proof-of-Authority (PoA) Data Availability (DA) network for Cardano.
Solution: On Fund 12, we built a contract and a centralized off-chain infrastructure. On Fund 13, we will add a minimal decentralized network for the infrastructure with a fixed committee of DA validators.
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