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 Mark Petruska
Mark Petruska
Claim Account
Follow
Bio
Missing Bio. Claim profile to add a bio.
Community Reviews across funding rounds
Mark Petruska Proposals (2)
Cardano <-> Polkadot Light Client Bridge - Feasibility Study
Solution: We drive a Feasibility Study and enable further developments for a Polkadot <> Cardano light-client bridge. These results should also drive other bridge developments on both ecosystems.
Anastasia Labs - Smart Contract Formal Verification Framework
Solution: We propose a framework for formal verification of Cardano smart contracts in Coq.
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.