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 Jean-Frédéric Etienne
Jean-Frédéric Etienne
Claim Account
Follow
Bio
Missing Bio. Claim profile to add a bio.
Community Reviews across funding rounds
Jean-Frédéric Etienne Proposals (2)
On-chain Certifications & Secure Smart Contract Upgrade Mechanism
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.
SmartCodeVerifier: Automated Formal Verification Tool for Smart Contract Code
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.
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.