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 Jean-Frédéric Etienne

Jean-Frédéric Etienne gravatar Jean-Frédéric Etienne Claim Account
Follow

Bio

Missing Bio. Claim profile to add a bio.

Jean-Frédéric Etienne 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

Jean-Frédéric Etienne Proposals (2)

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.
0 (1)

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.
0 (0)

Monthly Reports