Archives

Fuzzing the EVM: poor man's verification

-

SPEAKER

Casey Detrio

EVENT

EthCC[1]

Date

3/8/2018

CATEGORY

Core Ethereum & Scalability

TYPE

Talk

LANGUAGE

EN

Core Ethereum & Scalability videos

ethcc6
Expanding the Capabilities of the Ethereum Virtual Machine

EthCC[6]

ethcc6
Ethereumverse... loading. Or: Why we NEED horizontal scaling

EthCC[6]

ethcc6
How ETH and BTC Can Collaborate for a Renewable Energy Future

EthCC[6]

ethcc6
Beyond scaling - Unified UX in a multichain world

EthCC[6]

ethcc6
Rollup Wars

EthCC[6]

ethcc6
Base’s commitment to decentralization

EthCC[6]

ethcc6
Can Rollups-as-a-Service be the AWS for Web3?

EthCC[6]

ethcc6
Beyond L(x) - Hybrid Scaling Strategies for Web2 Scale

EthCC[6]

ethcc6
Minimum Viable Data Availability for Optimistic L2s

EthCC[6]

ethcc6
Crypto + AI : use cases beyond the buzz words

EthCC[6]

ethcc6
Starknet Vision

EthCC[6]

ethcc6
Accelerating Interoperability: Unleashing the Power of Speed in Cross-Chain Swaps

EthCC[6]

ethcc6
Fault Proofs on Optimism with Cannon

EthCC[6]

ethcc6
Cross-chain EVM Calls in a Multichain Future

EthCC[6]

ethcc6
ERC-20 as gas tokens -- lessons learned

EthCC[6]

ethcc6
Multi-Verifiers as a Hedge Against Bridge Vulnerabilities

EthCC[6]

ethcc6
L2 sequencing. Where we at? Where we want to be?

EthCC[6]

ethcc6
Understanding Design Choices in Data Availability Sampling

EthCC[6]

ethcc6
zkEVMs: one year in

EthCC[6]

ethcc6
Hyperchains and Hyperbridges: How the ZK Stack will power the Internet of Value

EthCC[6]

ethcc6
web3:// - Decentralized Access Protocol

EthCC[6]

ethcc6
Roll ups, IBC, and the Bond Markets

EthCC[6]

ethcc6
Cheap transactions with Ethereum security

EthCC[6]

ethcc6
Reth: A new Rust Ethereum Client

EthCC[6]

ethcc6
QED: A Horizontally Scalable, zk-Native Blockchain

EthCC[6]

ethcc6
Can Tezos become EVM compatible? A Smart Rollup Use Case.

EthCC[6]

ethcc6
Beerus: The Revolutionary Starknet Light Client

EthCC[6]

ethcc6
zkEVM next steps

EthCC[6]

ethcc6
Linea under the hood: from arithmetizatio to prover

EthCC[6]

ethcc6
Cairo1 advances and vision

EthCC[6]

ethcc6
ENS for the multichain world

EthCC[6]

ethcc6
How LUKSO will UP!grade the blockchain user experience

EthCC[6]

ethcc6
Kakarot: the zkEVM written in Cairo

EthCC[6]

ethcc6
Account Abstraction in Starknet

EthCC[6]

ethcc6
Latency Racing vs Bidding in Fair Transaction Ordering

EthCC[6]

ethcc6
ZK Stack and the Rise of the Rollup-State

EthCC[6]

ethcc6
The Semantics of Rollup Finality

EthCC[6]

ethcc6
Next Gen Cross-Chain Bridges & How All Bridges Still Suck

EthCC[6]

ethcc6
The Rise of Ethereum Rollups: Scaling through Arbitrum

EthCC[6]

ethcc6
Introducing zkBlob and data-compression to the zkEVM

EthCC[6]

ethcc6
Mesh Security: why we don't need L2s?

EthCC[6]

ethcc6
Native USDC as a Liquidity Layer for Cross-Chain Applications

EthCC[6]

ethcc6
Making Blockchains more useful for Mainstream Adoption

EthCC[6]

ethcc6
Hyperproofs: Maintainable and Aggregatable Vector Commitment

EthCC[6]

ethcc6
Mastering Cross-Chain Bridges

EthCC[6]

ethcc6
IBC: Exploring the frontiers of Interchain interoperability

EthCC[6]

ethcc6
Token Plugins

EthCC[6]

ethcc5
The Soul of a New Machine: Next-Generation Optimistic Rollups with Cannon

EthCC[5]

ethcc5
From Layer 2 to Layer 3

EthCC[5]

ethcc5
Distributed validator technology & eth merge

EthCC[5]

ethcc5
Optimism Bedrock: Upgraded optimistic rollups architecture

EthCC[5]

ethcc5
Celestiums: Scaling Ethereum Rollups by using Celestia for Data Availability

EthCC[5]

ethcc5
Beamer - an optimistic bridge

EthCC[5]

ethcc5
How a below average programmer found his way into searching

EthCC[5]

ethcc5
Polygon-Hermez zkEVM Bridge L1-L2

EthCC[5]

ethcc5
Oracle of Ethereum: adding native Oracles to EVM

EthCC[5]

ethcc5
State tree - Hermez zkEVM

EthCC[5]

ethcc5
Ethereum L2 + multi-chain = the next step in DeFi UX

EthCC[5]

ethcc5
Stark Recursion

EthCC[5]

ethcc5
Trustless bridges in the Ethereum Beaconverse

EthCC[5]

ethcc5
Polygon Hermez zkEVM testnet

EthCC[5]

ethcc5
Developing Smart Contracts in Sway

EthCC[5]

ethcc5
"Always Has Been" (or, "Wait, It's All Resource Pricing?" Part 2)

EthCC[5]

ethcc5
What does "merge" look like?

EthCC[5]

ethcc5
A year's progress in Sway, the smart contract language for the FuelVM

EthCC[5]

ethcc5
Possible Future of EVM

EthCC[5]

ethcc5
Applications of Transient Storage (EIP-1153)

EthCC[5]

ethcc5
The Future of Blockchain Interoperability

EthCC[5]

ethcc5
The Merge - Bringing Ethereum to Proof of Stake

EthCC[5]

ethcc5
StarkNet - Next steps

EthCC[5]

ethcc5
The Age of Rollups

EthCC[5]

ethcc5
Intent-centric (intent-solver pattern) architectures for fully decentralized dApps

EthCC[5]

ethcc5
Maximal Decentralization On All Axes

EthCC[5]

ethcc4
Ethereum : un protocole en mutation

EthCC[4]

ethcc4
SSV: distributed and trustless staking infrastructure

EthCC[4]

ethcc4
Managing Eth2 Validators at Scale

EthCC[4]

ethcc4
MEV in eth2: introduction & open questions

EthCC[4]

ethcc4
An Outlook on Block Explorers and the Beacon Chain

EthCC[4]

ethcc4
Liquid staking in Ethereum security

EthCC[4]

ethcc4
Blockchain tech and tech law

EthCC[4]

ethcc4
Eth2/Lighthouse update

EthCC[4]

ethcc4
It's time to do something about hardware decentralisation

EthCC[4]

ethcc4
Ethereum Scalability, DEX, and DeFi

EthCC[4]

ethcc4
Degens for the Public Good

EthCC[4]

ethcc4
Building Bridges, Not Walled Gardens

EthCC[4]

ethcc4
Scaling Ethereum RPC APIs with Amazon Web Services

EthCC[4]

ethcc4
How the Inter-Blockchain Communication Standard Is Shaping an Interoperable Future

EthCC[4]

ethcc4
Wait, It's All Resource Pricing?

EthCC[4]

ethcc4
zkSync — first EVM-compatible zkRollup

EthCC[4]

ethcc4
StarkNet is Coming

EthCC[4]

ethcc4
Decade after ETH2: Your post-ETH2 dreams for scalability, DeFi, NFTs, ....

EthCC[4]

ethcc4
How to reach cross-chain interoperability

EthCC[4]

ethcc4
Mathematics of PoS blockhains for Impatient

EthCC[4]

ethcc4
Combining Scalability with Composability

EthCC[4]

ethcc4
Layer-2 Composability and Communication

EthCC[4]

ethcc4
ZK-EVM

EthCC[4]

The State of STARK Tooling

EthCC[3]

Decentralized workload distribution with VRFs and reputation systems

EthCC[3]

Optimistic Virtual Machine: Full Ethereum Smart Contracts with Optimistic Rollup

EthCC[3]

Big zkSNARKs circuits for zkrollups with circom

EthCC[3]

Off-the-Chain transactions: Understanding the layer 2 landscape

EthCC[3]

Running EVM on sidechains: five innovations

EthCC[3]

Fuel - A Trustless Scalable Sidechain

EthCC[3]

Stateless Ethereum

EthCC[3]

EVM Bytecode Merklization

EthCC[3]

Turbo-Geth and Stateless Ethereum

EthCC[3]

Removing state from Ethereum layer 1 to enable rich dApps like Pepo

EthCC[3]

Scaling ethereum 1.x with WASM precompiles

EthCC[3]

Building Effective Trustless Networks on Ethereum

EthCC[3]

Lessons learnt from building blockchains

EthCC[3]

LUKSO - The Blockchain for new creative economies

EthCC[3]

Bridging non PoW/PoS sidechains with Ethereum

EthCC[3]

Extending Atomic Swaps for Interoperability

EthCC[3]

The Gateway for Real-World Assets into the Blockchain Multiverse

EthCC[3]

Overview of more than 15 Ethereum-based blockchains

EthCC[3]

Phase2 Update from Quilt

EthCC[3]

“Protolambda” LoerakkerEth2Real Workshop

EthCC[3]

Funding ecosystem public goods

EthCC[3]

Why Open Source is the Future of Finance?

EthCC[3]

Liveness in CBC Casper

EthCC[3]

Navigating Eth2 with Simple Serialize

EthCC[3]

Design Choices in Eth2.0

EthCC[3]

Eth1 meets Eth2: forecasting the future

EthCC[3]

Interblockchain Communication for Eth 2.0

EthCC[3]

Lighthouse: Road to Eth2 mainnet

EthCC[3]

EthCC[3] Closing Ceremony

EthCC[3]

Validator Privacy in Eth2.0

EthCC[3]

ZoKrates. A Toolboxes for zkSNARKs on Ethereum

EthCC[1]

CBC Casper Safety Proof part 2

EthCC[1]

ERC 777 Q&R

EthCC[1]

Cross blockchain atomic swaps between ethereum and bitcoin

EthCC[1]

Ethereum alarm clock : Scheduling transactions for the futur

EthCC[1]

Ethereum scaling : Plasma & shading

EthCC[1]

Scaling with cosmos, tender mint and plasmag

EthCC[1]

Plasma - a blockchain scaling story

EthCC[1]

Scalabe spanking

EthCC[1]

Raiden and state channels

EthCC[1]

Scalability and inter-blockchain connection via Oraclize

EthCC[1]

Scaling EthCC

EthCC[1]

Ethereum

EthCC[1]

ERC 808

EthCC[1]

Blockchain identity ERC725 and 735

EthCC[1]

Building Blockchain Communities

EthCC[2]

Blockchain in Emerging Markets

EthCC[2]

Decentralized Autonomous Corporations

EthCC[2]

ERC-725: A Proposal for a Standard Interface for Identity

EthCC[2]

Art and Blockchain

EthCC[2]

Blockchain for Supply Chain Transparency

EthCC[2]

Decentralized Finance Platforms

EthCC[2]

Smart Contract Security

EthCC[2]

Institutional Adoption of Blockchain

EthCC[2]

Blockchain for IoT

EthCC[2]

Decentralized Finance: Building the Future

EthCC[2]

Ethereum 2.0: The Road Ahead

EthCC[2]

Security and Privacy in Blockchain

EthCC[2]

Formal Verification of Smart Contracts

EthCC[2]

Mathematical Models for Blockchain Protocols

EthCC[2]

Blockchain for Education

EthCC[2]

Sharding: Scaling Ethereum

EthCC[2]

Blockchain for Supply Chain Transparency

EthCC[2]

Decentralized Finance: Opportunities and Challenges

EthCC[2]

Building Blockchains with Substrate

EthCC[2]

Zero-Knowledge Proofs for Privacy

EthCC[2]

Blockchain for IoT

EthCC[2]

Scaling Solutions for Ethereum

EthCC[2]

Decentralized Data Marketplaces

EthCC[2]

Blockchain for Governance

EthCC[2]

Decentralized Storage Solutions

EthCC[2]

Scaling Ethereum with zkRollups

EthCC[2]

Smart Contract Security

EthCC[2]

Blockchain for Real Estate

EthCC[2]