Archives

Simple Formally Verified DApps—and not just Smart Contracts

-

SPEAKER

François-René Rideau

EVENT

EthCC[3]

Date

3/3/2020

CATEGORY

Developer Tools

TYPE

Talk

LANGUAGE

EN

Developer Tools videos

ethcc6
Building with purpose, building for all

EthCC[6]

ethcc6
The Role of DevRel in Shaping Developer Tooling

EthCC[6]

ethcc6
Ethereum Protocol Fellowship | Becoming a core developer

EthCC[6]

ethcc6
OZ Contracts 5.0

EthCC[6]

ethcc6
Testing Best Practices in Foundry Projects

EthCC[6]

ethcc6
Master the Art of Slurping Yummy Data with a Single Query

EthCC[6]

ethcc6
Better onboarding & workflows through the right middle layer

EthCC[6]

ethcc6
Real-time monitoring of your validators. For you and the ETH network!

EthCC[6]

ethcc6
The invisible wallet: how to make crypto magic

EthCC[6]

ethcc6
Remix Features You Need To Know

EthCC[6]

ethcc6
Composable Web3 Wallet Development

EthCC[6]

ethcc6
Invariant Testing WETH with Foundry

EthCC[6]

ethcc6
Zero-Knowledge Machine Learning and its use cases

EthCC[6]

ethcc6
Reinventing the wheel: going away from TheGraph

EthCC[6]

ethcc6
Performant Eth validator key management

EthCC[6]

ethcc6
Why Decentralized Frontends Are the Future of Web3?

EthCC[6]

ethcc6
Making learning Solidity as enjoyable as playing Diablo III

EthCC[6]

ethcc6
MetaMask Snaps and the future of Web3 Accounts

EthCC[6]

ethcc6
Zero Knowledge Proofs Made Easy: A Guide for Developers

EthCC[6]

ethcc6
VampIR: LLVM for polynomial circuits, now with benchmarks!

EthCC[6]

ethcc6
Product building for protocols (in a bear market)

EthCC[6]

ethcc6
Understanding ERC-4337: how it works and exploring unknowns

EthCC[6]

ethcc6
ETHcc meets QPL

EthCC[6]

ethcc6
Everybody wants Account Abstraction.

EthCC[6]

ethcc6
Connect your dApp to a hardware

EthCC[6]

ethcc6
Unlocking Web3: The Power of Attestations

EthCC[6]

ethcc6
Diving deeper with EVM block explorers

EthCC[6]

ethcc6
Unified Specification for EigenLayer Nodes

EthCC[6]

ethcc6
Building the Next Generation of DeFi Applications

EthCC[6]

ethcc6
The road towards a truly decentralized messaging network

EthCC[6]

ethcc6
Permanent Decentralized Storage in 2 minutes

EthCC[6]

ethcc6
Scaffold-ETH-2: the best new way to build apps on ethereum

EthCC[6]

ethcc6
Benchmarking Mainstream ZKP Development Frameworks

EthCC[6]

ethcc6
Account Abstraction: Modular Smart Accounts

EthCC[6]

ethcc6
Standards and Democratization for Metaverse Builders

EthCC[6]

ethcc6
The State of APIs in Web3

EthCC[6]

ethcc6
50 Shades of Decentralization

EthCC[6]

ethcc6
Build a custom DAO with a few lines of code

EthCC[6]

ethcc6
ERCx, Fast Checking of ERC standards and Beyond

EthCC[6]

ethcc5
Infura

EthCC[5]

ethcc5
OpenZeppelin Contract: Past and future roadmap

EthCC[5]

ethcc5
Rapid DApp Development with useDApp

EthCC[5]

ethcc5
The Future is Multichain

EthCC[5]

ethcc5
Building Minimal DeFi Applications

EthCC[5]

ethcc5
Foundry, a portable, fast and modular toolkit for Ethereum application

EthCC[5]

ethcc5
The problem with Cross-Chain Governance

EthCC[5]

ethcc5
Gate your app without doxing your users

EthCC[5]

ethcc5
Bots + Exchanges: A Perfect Storm

EthCC[5]

ethcc5
Testing smart contracts with Waffle in 2022

EthCC[5]

ethcc5
Re-imagining the DevEx/Ux of Wallets & Dapps

EthCC[5]

ethcc5
Building the Metaverse using modern Web 3.0 tools

EthCC[5]

ethcc5
Building secure contracts: How to use fuzzing like a pro

EthCC[5]

ethcc5
Crossing the chasm for web2 devs

EthCC[5]

ethcc5
How to use IPFS to securely serve your content

EthCC[5]

ethcc5
The next generation of interoperable concurrent smart contract for wide-scale...

EthCC[5]

ethcc5
Moving from MVC to SACI - a development framework for modern DApps

EthCC[5]

ethcc5
BUIDLing DeFi protocol from perspective of compiler core dev

EthCC[5]

ethcc5
Vamp-IR: a universal language for arithmetic circuits

EthCC[5]

ethcc4
WalletConnect 2.0 - To Interchain and Beyond!

EthCC[4]

ethcc4
ChainSafe Products & Developer Tools

EthCC[4]

ethcc4
A Rust-based Smart Contract Language

EthCC[4]

ethcc4
Polywrap - Any Protocol, Any Language

EthCC[4]

ethcc4
Efficient data query through dense subgraph with OpenZeppelin and TheGraph

EthCC[4]

ethcc4
How Aavegotchi leverages the EIP-2535 Diamond Standard

EthCC[4]

ethcc4
Ethereum Extension for App Inventor 2

EthCC[4]

ethcc4
Stateless Ethereum and The Portal Network

EthCC[4]

ethcc4
Building and Publishing an Index of Every Address on Ethereum Mainnet

EthCC[4]

ethcc4
Solidity in 2021

EthCC[4]

ethcc4
EAS - Ethereum Attestation Service

EthCC[4]

ethcc4
DappConnect: Enabling decentralised communications using Waku

EthCC[4]

Secrets, Lies, & Spies: A History of Ciphers

EthCC[3]

Meta-Transaction, Pandora's box or weapon of mass adoption?

EthCC[3]

What's new in Solidity

EthCC[3]

Why you don't want to develop on Ropsten

EthCC[3]

ENS Beyond Ethereum

EthCC[3]

Dapp proxy contracts - an overview

EthCC[3]

Decentralized User Account Management

EthCC[3]

Setting up Ethereum Workflows with the Streamr Canvas

EthCC[3]

The secrets your keys hold

EthCC[3]

Keycard: an open framework for smart cards in crypto

EthCC[3]

RADON: a domainspecific language for oracles

EthCC[3]

Smart contracts as inductive systems

EthCC[3]

Towards decentralized alternatives for code collaboration

EthCC[3]

Smart Contracts for public admin

EthCC[1]

Gnosis Dutch

EthCC[1]

State of python ethereum tooling

EthCC[1]

Breaking TCR - Token Curated Registries

EthCC[1]

Web 3 Java Dapp API

EthCC[1]

Linking Dapps together with Metadata

EthCC[1]

Balance. Accounting Tools For Tokens

EthCC[1]

Infura

EthCC[1]

Bitfly. Analyzing the Ethereum Blockchain

EthCC[1]

Analyzing the Ethereum Blockchain with etherchain org 1

EthCC[1]

Blockchain UX: Building Seamless and Secure User Experiences

EthCC[2]

Decentralized governance: What have we learned so far?

EthCC[2]

Introduction to Token Engineering - How to Build Robust Token Ecosystems

EthCC[2]

Building and Scaling Decentralized Applications on Ethereum

EthCC[2]

Using Blockchain for Supply Chain Transparency

EthCC[2]

Privacy-Preserving Smart Contracts: State of the Art and Future Directions

EthCC[2]

Building a New Financial System with Ethereum

EthCC[2]

Data Availability and Scaling Ethereum to Thousands of Transactions Per Second

EthCC[2]

Blockchain for Renewable Energy

EthCC[2]

Decentralized Storage Solutions

EthCC[2]

Ethereum 2.0: What to Expect

EthCC[2]

Blockchain for Voting Systems

EthCC[2]

The DAO: Lessons Learned

EthCC[2]

Blockchain in Agriculture

EthCC[2]

Decentralized Cloud Computing

EthCC[2]

Building a Decentralized Internet

EthCC[2]

Blockchain for Social Good

EthCC[2]

Token Curated Registries

EthCC[2]

Scaling Ethereum with State Channels

EthCC[2]

ethcc7
Acting on-chain with AI Agents

EthCC[7]

ethcc7
Beyond Coverage: Mutation Testing

EthCC[7]

ethcc7
Try it out in Remix!

EthCC[7]

ethcc7
Developer Tooling in the Madness of Multichain

EthCC[7]

ethcc7
Formal verification vs fuzzing: the showdown

EthCC[7]

ethcc7
Levelling-up your consensus protocol's testing using Attacknet

EthCC[7]

ethcc7
MISERE : protecting your critical server keys

EthCC[7]

ethcc7
EVMole: function selectors and arguments from bytecode

EthCC[7]

ethcc7
Indexing blockchain data fast

EthCC[7]

ethcc7
The evolution of blockchain explorers

EthCC[7]

ethcc7
Data structures for a Verkle powered EVM

EthCC[7]

ethcc7
Human-Readable Push Notifications on Ethereum

EthCC[7]

ethcc7
Set up your own Ethereum Node with Stereum

EthCC[7]

ethcc7
Account Abstraction landscape in OpenZeppelin Contracts

EthCC[7]

ethcc7
Better DevEx: How to build and use web3.js plugins🧩

EthCC[7]

ethcc7
Protect and Monetize Your Data: A Web3 Developer Toolkit

EthCC[7]

ethcc7
Decentralized AI as a tool for blockchain apps

EthCC[7]

ethcc7
EasyRetroPGF.xyz - RetroPGF for any EVM Based Ecosystem

EthCC[7]

ethcc7
Building Trust: Ethereum Attestation Service

EthCC[7]

ethcc7
Universal frames

EthCC[7]

ethcc7
Time Travelling Transactions

EthCC[7]

ethcc7
Stepping into the New Era of The Graph

EthCC[7]