Archives

Formal verification vs fuzzing: the showdown

A study comparing formal verification, which exhaustively checks invariants, to fuzzing, an efficient technique to detect vulnerabilities. We evaluate bug detection, usability and performance, focusing on recent Defi protocols and critical bugs found

SPEAKER

Nurit Dor

EVENT

EthCC[7]

Date

7/11/2024

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]

Simple Formally Verified DApps—and not just Smart Contracts

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
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]