Funds Proposals People Romain Soulat

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 Romain Soulat

Forgot your password?

Romain Soulat gravatar Romain Soulat Claim Account
Follow

Bio

Missing Bio. Claim profile to add a bio.

Romain Soulat own proposals

Community Reviews across funding rounds

Proposals Across Funding Rounds

0
Completed
0
Approved
1
Proposed
₳200K
$0
Requested
₳0
$0
Awarded
₳0
$0
Received

Romain Soulat Proposals (3)

On-chain Certifications & Secure Smart Contract Upgrade Mechanism

₳400,000 Requested

Solution: A framework that can enforce a secure upgrade path for on-chain smart contracts.

  • DApp Upgrades without the ability to misuse or steal user funds.
  • Migrate funds to only the correct audited contracts.
Challenge: Fund 11
over budget Requested 0.8% of the fund.
Ideascale logo
0 (1)

XSY - On-chain DApp Certifications

₳60,000 Received
₳300,000 Requested

Solution: A robust on-chain DApp certification framework to empower developers to introduce powerful interoperability features and smart contract upgrade logic to decentralized protocols.

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

SmartCodeVerifier: Automated Formal Verification Tool for Smart Contract Code

₳200,000 Requested

Solution: An automated tool, combining both model checking and theorem proving techniques, to formally verify smart contract implementations with proof artifacts and counterexample generation capabilities.

Challenge: Fund 13
vote pending Requested 0.4% of the fund.
Ideascale logo
0 (0)

Monthly Reports