Claim Your Account

Lets get you verified!

Verification Code
CODE$:

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 gravatar Alexander Smart MuKn Claim Account
Follow

Bio

Missing Bio. Claim profile to add a bio.

Alexander Smart own proposals

Community Reviews across funding rounds

51
Total reviews
Addresses Challenge
4.71 Star
Feasibility
4.24 Star
Auditability
3.82 Star

Proposals Across Funding Rounds

2
Completed
2
Approved
4
Proposed
₳0
$225.5K
Requested
₳0
$86.5K
Awarded
₳0
$86.5K
Received

Funding data last updated

Alexander Smart Proposals (8)

Glow Formal verification

$60,000 Received
$60,000 Requested

Solution: MuKn's Glow language will overcome this problem by automatically proving the mathematical correctness of every interaction of a program.

Fund: Fund 5 Challenge: F5: Developer ecosystem
completed Awarded 10% of the fund.
4.44 (9)

NFT-DAO EZ-Name

$40,000 Received
$59,842 Requested

Solution: Improve user experience by mapping human-readable names like 'alice.ada' to machine-readable identifiers such as Cardano addresses.

Fund: Fund 5 Challenge: F5: Developer ecosystem
funded Awarded 9.974% of the fund.

NFT-DAO EZ-Pay API wallet connector

$40,000 Received
$69,945 Requested

Solution: Build extended wallet bridges to traditional systems like VISA, Venmo and a hub for things like MetaMask, Yoroi, Daedalus & exchanges.

Fund: Fund 5 Challenge: F5: Developer ecosystem
completed Awarded 11.658% of the fund.
4.33 (9)

AVOUM: Account View on UTXO Model

$45,000 Requested

Solution: We solve issue by offering an "Account" view on top of the UTXO model of Cardano, using malleable transactions and Node-Extractable Value.

Fund: Fund 5 Challenge: F5: Scale-UP Cardano's DeFi Ecosystem
not approved Requested 18% of the fund.
2.19 (32)

AVOUM on Cardano

$26,500 Received
$26,500 Requested

Solution: AVOUM presents an account view on eUTxO blockchains, together with a notion of malleable transactions, which enable much higher concurrency.

Fund: Fund 7 Challenge: F7: Seeding Cardano's Grassroots DeFi
completed Awarded 13.25% of the fund.
4.27 (15)

Glow Formal Verification Stage 2

$76,000 Requested

Solution: A formal verification engine for the Glow language that enables automatic checking of programmer supplied assertions.

Fund: Fund 7 Challenge: F7: Open Source Developer Ecosystem
over budget Requested 38% of the fund.
4.25 (12)

Glow on the PAB

$63,000 Requested

Solution: Glow simplifies DApp development, but right now needs the EVM. We propose porting Glow directly to Plutus using the PAB.

Fund: Fund 7 Challenge: F7: Open Source Developer Ecosystem
over budget Requested 31.5% of the fund.
4.13 (15)

Glow on the PAB

$300,000 Requested

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)

Fund: Fund 9 Challenge: Developer Ecosystem
over budget Requested 30% of the fund.
4.56 (18)

Monthly Reports

Nothing to add, the project looks promising

Disbursed to Date
$26,500
Status
Still in progress
Completion Target
4/30/2022
Comments 0

Login or Register to leave a comment!