Funds Proposals People Mark Petruska

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.

Go to Ideascale
•
•

Login to follow Mark Petruska

Forgot your password?

Mark Petruska gravatar Mark Petruska Claim Account
Follow

Bio

Missing Bio. Claim profile to add a bio.

Mark Petruska own proposals

Community Reviews across funding rounds

Proposals Across Funding Rounds

0
Completed
0
Approved
0
Proposed
₳0
$0
Requested
₳0
$0
Awarded
₳0
$0
Received

Mark Petruska Proposals (2)

Cardano <-> Polkadot Light Client Bridge - Feasibility Study

₳100,000 Requested

Solution: We drive a Feasibility Study and enable further developments for a Polkadot &lt;&gt; Cardano light-client bridge. These results should also drive other bridge developments on both ecosystems.

Challenge: Fund 12
not approved Requested 0.2% of the fund.
Ideascale logo
0 (1)

Anastasia Labs - Smart Contract Formal Verification Framework

₳32,000 Received
₳200,000 Requested

Solution: We propose a framework for formal verification of Cardano smart contracts in Coq.

Challenge: Fund 12
funded Awarded 0.4% of the fund.
Ideascale logo
0 (0)

Monthly Reports