devcon 7 / wtf is the pessimistic proof
- YouTube
- Details
WTF is the pessimistic proof
Duration: 00:07:50
Speaker: Ignasi Ramos, Jesus
Type: Lightning Talk
Expertise: Intermediate
Event: Devcon
Date: Nov 2024
Cryptographic safety for the AggLayer requires a novel solution. It’s called the pessimistic proof and it treats all chains suspiciously. The AggLayer will be a decentralized protocol that scales blockchains by unifying liquidity, users, and state. The Pessimistic proof is a proof generated to securely grant this shared liquidity, and it will be technically explained in this flash talk by one of the developers.
- Related
Devcon
Workshop
1:16:15
Optimize zkEVM throughput: Series II
There are different ways to optimize the zkEVM, the one exposed in this workshop is through optimizing the zkASM (zk assembly) code itself so that it consumes fewer counters for the same execution. The first 40min of the workshop is a deep explanation of the zkASM language, instructions, operations, counters, build... And the rest of the time we will be live coding and explaining in detail two optimized core functions of the zkEVM so that attendees can appreciate the before and after optimizing
Devcon
Talk
25:43
Keynote: Unifying Ethereum Through Intents and ERC-7683
Ethereum has scaled with a diverse ecosystem of L2s—but this created a new challenge: how can this fragmented landscape of potentially millions of rollups feel like a **unified Ethereum**? In this talk, I’ll discuss how intent-based architectures—and new standards like ERC-7683—can help unify Ethereum while maintaining the benefits of Ethereum’s rollup centric architecture.
Devcon
Talk
22:58
Advancing OP Stack to ZK Rollup: Achieving Efficiency and Security with Zero Knowledge Proofs
OP-stack based rollups now retrieve L1-to-L2 deposit transactions and L2 transactions from Blobs. Current solutions face two issues: 1) increased operational costs due to batch submission overhead or 2) protocol complexity during challenges. We'll share our experience addressing these using ZK fault proof. Our new challenge system is cost-free for users and easily extendable to ZK rollups. The presentation includes our example of switching from zkEVM to zkVM and optimizing proof generation speed
Devcon
Talk
25:28
Defragmenting Ethereum - Interoperability and the Superchain
With the proliferation of L2s and Dencun (4844), Ethereum has scaled. However, we have a new challenge -- fragmentation. Now we're introducing various interoperability standards across Ethereum and Superchain ecosystem from intents to low latency cross chain bridging primitives. What are these standards and what will enable? How can we create scalable and composable blockspace which enables application developers to onboard the rest of the internet?
Devcon
Talk
25:52
L2 EVM Common Core: A Path Beyond EVM Equivalence
Network effects of the EVM have locked many of the L2s into equivalence with the L1 EVM. L1 is optimized for moderate throughput and maximal decentralization, but L2s need higher throughput and can rely on heavier full nodes. The talk will present a vision for an L2 EVM Common Core as a new base VM for participating L2s. It aims to offer a way to ship more ambitious EVM changes without increasing L2 fragmentation. It is a result of our work as leads of the RollCall L2 coordination process.
Devcon
Workshop
1:32:04
RIP-7755: Empowering Cross-Chain Interactions
Cross-chain interactions are becoming essential as Ethereum Layer 2 solutions multiply. RIP-7755 changes the game by trustlessly bridging the gap between L2 chains, allowing new use cases that rely solely on Ethereum and its rollups. In this workshop, we’ll explore RIP-7755 by building a cross-chain NFT minting app, focusing on nested storage proof implementation details to eliminate trust assumptions.
Devcon
Talk
25:30
Keynote: The REAL state of L2s
The evolution of Layer 2 solutions has been pivotal in scaling blockchain technologies. This talk, led by L2BEAT founder Bartek Kiepuszewski, delves into the current landscape, recent advancements, and future potential of L2 ecosystems. It will try to address some myths and current challenges of the space. Some important changes to L2BEAT risk framework will also be announced.
Devcon
Talk
23:54
Beyond recursive proving for Starknet
Recursive proving is very cool tech enabling very large proofs or combining many different statements into a single proof. Beyond recursive proving, statements can be combined in interesting ways to further reduce system overheads such as data availability compression and layer1 state updates as well as various privacy concepts. In this session we'll discuss some of these technologies and how they are being applied in Starknet to achieve various user and system benefits.
Devcon
Talk
26:59
Ethereum needs native L2
Right now, L2beat tracks 116 L2s. However, they represent a wide range of trust assumptions, which makes assets—or more abstractly, messages—from these L2s non-fungible and thus significantly hampers interoperability. We are advocating for Ethereum to deploy a large number of native L2s, developed and governed by Ethereum's open-source developers. These L2s would be highly interoperable with L1, fulfilling Ethereum's early promise to provide sharding using L2 technology.
Devcon
Talk
Decentralize your sequencer -- A guide for L2’s
This talk will act as a river guide exploring the design space for L2 sequencer decentralization. It will cover: 1. Should L2’s care about decentralizing a sequencer? 2. What does it mean for UX? 3. Forced Inclusion ≠ Decentralised sequencing 4. ELI5 the approaches being taken by L2's 5. Based rollups to the rescue? 6. What are for optimistic / zk and / privacy rollups 7. L2 Consensus networks are not the solution 8. Decentralisation is not just about sequencing rights