devcon 7 / the dave fraud proof algorithm triumphing over sybils with a laptop and a small collateral
- YouTube
- Details
The Dave fraud-proof algorithm — triumphing over Sybils with a laptop and a small collateral
Duration: 00:23:13
Speaker: Augusto Teixeira, Gabriel Coutinho de Paula
Type: Talk
Expertise: Expert
Event: Devcon
Date: Nov 2024
Current fraud-proof algorithms are susceptible to Sybil attacks, impacting security, decentralization, and (settlement) liveness. This presentation introduces _Dave_, a novel algorithm that offers an unprecedented combination of these three properties. We demonstrate that there's no realistic Sybil attack capable of exhausting defenders' resources or causing significant delays, even with minimal bond requirements.
- Related
Devcon
Talk
24:31
Fraud proofs war
Fraud proof systems were originally envisioned to be able to protect a rollup with just a single honest challenger assumption. As it turns out, the matter is much more complex because of exhaustion attacks, a form of sybil attack where the attacker tries to win by economically outlasting the defenders. The talk discusses the tradeoffs in the proposed solutions to this form of attack by analyzing Arbitrum, Cartesi and Optimism fraud proof systems.
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
Lightning Talk
05:55
Gas Metering: Comparing Appchain Rollups vs. General Purpose Rollups
General purpose rollups, with all applications running in the same virtual machine, face specific constraints in their gas metering systems that appchain rollups do not. In this lightning talk, we'll explore the differences and the design freedom in gas metering when your application isn't in an adversarial setting, avoiding potential attacks from newly deployed code. Discover the benefits and challenges of customized gas metering in appchain rollups.
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
24:55
A Revenue Model for Based Rollups
We outline the costs that a based rollup has, followed by the paths it has to revenue generation, revenue capture and finally revenue redistribution. We demonstrate that based rollup costs are front-loaded and non-negligible. Based rollups must pay for ZK-provers, app- and user-onboarding, R&D, etc, as well as L1 fees. We consider several continuous and once-off revenue models, and compare the pros and cons of each according to several key properties that based rollups are expected to have.
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:30
L2 Interoperability via Collaborative SNARKs
Can contracts across rollups interact synchronously while maintaining horizontal scalability? The L2 interoperability problem can be viewed through the lens of collaborative SNARKs, where a coordinator splits a witness over N provers who collectively generate a proof, and the work each prover does should decrease linearly in N (horizonal scaling). This talk presents a solution for the special case of L2 interoperability and motivates new design constraints for SNARKs.
Devcon
Talk
25:03
The Future of Light Clients
Ethereum has achieved a remarkable feat: production-ready light clients. There are now at least seven light client projects active on Ethereum today. However, light clients have kept up with Ethereum’s future, Layer 2s. Implementations for layer 2s have been mostly overlooked. This is due to both the low prioritization of work on light clients and significant technical challenges. In this talk, we will discuss the path to layer 2 light clients and our work to bring them to production in Helios.
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
23:03
Unlocking New Possibilities with Stateless Architecture in Layer 2
Explore the potential of stateless architecture in Layer 2 solutions. As Layer 2 technologies evolve, we will discuss the fundamental trade-offs and present how combining client-side Zero-Knowledge Proofs (ZKPs) with stateless architecture enhances efficiency. This session will highlight innovative possibilities not yet widely discussed in the Ethereum community, showing how this approach can revolutionize scalability, security, and privacy.