We Need To Talk About Fraud Proofs with Gabriel Coutinho of Cartesi
The Rollup25 Huhti 2024

We Need To Talk About Fraud Proofs with Gabriel Coutinho of Cartesi

Rollups as we know them today are more centralized than we'd like.

Basically, rollups operate using a secure multi-sig and centralized sequencer for transaction batching and ordering.

This isn't good for a multitude of reasons, notably censorship resistance. We are trying to build resilient, long-lasting systems in crypto and to do this effectively these systems need to be sufficiently decentralized...or else we are at risk of nation-state intervention.

Today, we focus on the critical topic of fraud proofs within rollups. Verifiability is integral to enhancing the scalability and security of Ethereum-based solutions without sacrificing the decentralized foundation which Vitalik has created for us.

Security varies significantly across different rollups currently. Some are based on a permissioned set of validators, while others are advancing with permissionless algorithms that resist both delay and civil attacks.

We are here to analyze these variations, particularly looking at how recent innovations, like the Kineti algorithm, utilize computation hashes and structured tournament brackets to meet these challenges head-on. The goal of our discussion is to provide a comprehensive understanding of how fraud proofs work, why they matter, and what role they play in building a more censorship resistant Ethereum.

By the end of this technical session, you'll have a clearer understanding of the complexities involved in fraud proof design and where we are headed as a community to make the modular future a verifiable one.

Join us as we delve into the technical depths of rollup designs.


Cartesi Website: https://cartesi.io/

Cartesi Socials: https://twitter.com/cartesiproject

Gabriel Coutinho Socials: https://twitter.com/GCdePaula_


๐—ช๐—ฒ ๐˜๐—ฟ๐˜† ๐—ผ๐˜‚๐—ฟ ๐—ฏ๐—ฒ๐˜€๐˜ ๐˜๐—ผ ๐—ฝ๐—ฟ๐—ผ๐—ฑ๐˜‚๐—ฐ๐—ฒ ๐—ต๐—ถ๐—ด๐—ต-๐—พ๐˜‚๐—ฎ๐—น๐—ถ๐˜๐˜†, ๐—ป๐—ผ๐—ป-๐—ฏ๐—ถ๐—ฎ๐˜€๐—ฒ๐—ฑ, ๐—ฒ๐—ฑ๐˜‚๐—ฐ๐—ฎ๐˜๐—ถ๐—ผ๐—ป๐—ฎ๐—น ๐—ฐ๐—ผ๐—ป๐˜๐—ฒ๐—ป๐˜ ๐—ณ๐—ผ๐—ฟ ๐˜๐—ต๐—ฒ ๐—ฐ๐—ฟ๐˜†๐—ฝ๐˜๐—ผ ๐—ฒ๐—ฐ๐—ผ๐˜€๐˜†๐˜€๐˜๐—ฒ๐—บ. ๐—ฆ๐˜‚๐—ฝ๐—ฝ๐—ผ๐—ฟ๐˜ ๐˜‚๐˜€ ๐˜„๐—ต๐—ถ๐—น๐—ฒ ๐—น๐—ฒ๐—ฎ๐—ฟ๐—ป๐—ถ๐—ป๐—ด ๐—บ๐—ผ๐—ฟ๐—ฒ ๐—ฎ๐—ฏ๐—ผ๐˜‚๐˜ ๐—ถ๐—บ๐—ฝ๐—ผ๐—ฟ๐˜๐—ฎ๐—ป๐˜ ๐—ฐ๐—ผ๐—ป๐—ฐ๐—ฒ๐—ฝ๐˜๐˜€ ๐—ฏ๐˜† ๐—ฐ๐—น๐—ถ๐—ฐ๐—ธ๐—ถ๐—ป๐—ด ๐—ฎ๐—ป๐˜† ๐—ผ๐—ณ ๐˜๐—ต๐—ฒ ๐—น๐—ถ๐—ป๐—ธ๐˜€ ๐—ฏ๐—ฒ๐—น๐—ผ๐˜„ ๐—ณ๐—ผ๐—ฟ ๐—ณ๐—ฟ๐—ฒ๐—ฒ ๐—ฟ๐—ฒ๐˜€๐—ผ๐˜‚๐—ฟ๐—ฐ๐—ฒ๐˜€:


Website: https://therollup.co/

Spotify: https://open.spotify.com/show/1P6ZeYd...

Podcast: https://therollup.co/category/podcast

Follow us on X: https://www.x.com/therollupco

Follow Rob on X: https://www.x.com/robbie_rollup

Follow Andy on X: https://www.x.com/ayyyeandy

Join our TG group: https://t.me/+8ARkR_YZixE5YjBh

The Rollup Disclosures: https://therollup.co/the-rollup-discl


๐——๐—œ๐—ฆ๐—–๐—Ÿ๐—”๐—œ๐— ๐—˜๐—ฅ: ๐˜๐˜ฏ๐˜ท๐˜ฆ๐˜ด๐˜ต๐˜ช๐˜ฏ๐˜จ ๐˜ช๐˜ฏ ๐˜ค๐˜ณ๐˜บ๐˜ฑ๐˜ต๐˜ฐ๐˜ค๐˜ถ๐˜ณ๐˜ณ๐˜ฆ๐˜ฏ๐˜ค๐˜บ ๐˜ข๐˜ฏ๐˜ฅ ๐˜‹๐˜ฆ๐˜๐˜ช ๐˜ฑ๐˜ญ๐˜ข๐˜ต๐˜ง๐˜ฐ๐˜ณ๐˜ฎ๐˜ด ๐˜ค๐˜ฐ๐˜ฎ๐˜ฆ๐˜ด ๐˜ธ๐˜ช๐˜ต๐˜ฉ ๐˜ช๐˜ฏ๐˜ฉ๐˜ฆ๐˜ณ๐˜ฆ๐˜ฏ๐˜ต ๐˜ณ๐˜ช๐˜ด๐˜ฌ๐˜ด ๐˜ช๐˜ฏ๐˜ค๐˜ญ๐˜ถ๐˜ฅ๐˜ช๐˜ฏ๐˜จ ๐˜ต๐˜ฆ๐˜ค๐˜ฉ๐˜ฏ๐˜ช๐˜ค๐˜ข๐˜ญ ๐˜ณ๐˜ช๐˜ด๐˜ฌ, ๐˜ฉ๐˜ถ๐˜ฎ๐˜ข๐˜ฏ ๐˜ฆ๐˜ณ๐˜ณ๐˜ฐ๐˜ณ, ๐˜ฑ๐˜ญ๐˜ข๐˜ต๐˜ง๐˜ฐ๐˜ณ๐˜ฎ ๐˜ง๐˜ข๐˜ช๐˜ญ๐˜ถ๐˜ณ๐˜ฆ ๐˜ข๐˜ฏ๐˜ฅ ๐˜ฎ๐˜ฐ๐˜ณ๐˜ฆ. ๐˜ˆ๐˜ต ๐˜ค๐˜ฆ๐˜ณ๐˜ต๐˜ข๐˜ช๐˜ฏ ๐˜ฑ๐˜ฐ๐˜ช๐˜ฏ๐˜ต๐˜ด ๐˜ต๐˜ฉ๐˜ณ๐˜ฐ๐˜ถ๐˜จ๐˜ฉ๐˜ฐ๐˜ถ๐˜ต ๐˜ต๐˜ฉ๐˜ช๐˜ด ๐˜ค๐˜ฉ๐˜ข๐˜ฏ๐˜ฏ๐˜ฆ๐˜ญ, ๐˜ธ๐˜ฆ ๐˜ฎ๐˜ข๐˜บ ๐˜ฆ๐˜ข๐˜ณ๐˜ฏ ๐˜ข ๐˜ค๐˜ฐ๐˜ฎ๐˜ฎ๐˜ช๐˜ด๐˜ด๐˜ช๐˜ฐ๐˜ฏ ๐˜ฐ๐˜ณ ๐˜ง๐˜ฆ๐˜ฆ ๐˜ข๐˜ด ๐˜ข ๐˜ด๐˜ฑ๐˜ฐ๐˜ฏ๐˜ด๐˜ฐ๐˜ณ๐˜ด๐˜ฉ๐˜ช๐˜ฑ, ๐˜ช๐˜ง ๐˜ต๐˜ฉ๐˜ช๐˜ด ๐˜ช๐˜ด ๐˜ต๐˜ฉ๐˜ฆ ๐˜ค๐˜ข๐˜ด๐˜ฆ ๐˜ธ๐˜ฆ ๐˜ธ๐˜ช๐˜ญ๐˜ญ ๐˜ข๐˜ญ๐˜ธ๐˜ข๐˜บ๐˜ด ๐˜ฎ๐˜ข๐˜ฌ๐˜ฆ ๐˜ด๐˜ถ๐˜ณ๐˜ฆ ๐˜ช๐˜ต ๐˜ช๐˜ด ๐˜ค๐˜ญ๐˜ฆ๐˜ข๐˜ณ. ๐˜ž๐˜ฆ ๐˜ข๐˜ณ๐˜ฆ ๐˜ด๐˜ต๐˜ณ๐˜ช๐˜ค๐˜ต๐˜ญ๐˜บ ๐˜ข๐˜ฏ ๐˜ฆ๐˜ฅ๐˜ถ๐˜ค๐˜ข๐˜ต๐˜ช๐˜ฐ๐˜ฏ๐˜ข๐˜ญ ๐˜ค๐˜ฐ๐˜ฏ๐˜ต๐˜ฆ๐˜ฏ๐˜ต ๐˜ฑ๐˜ญ๐˜ข๐˜ต๐˜ง๐˜ฐ๐˜ณ๐˜ฎ, ๐˜ฏ๐˜ฐ๐˜ต๐˜ฉ๐˜ช๐˜ฏ๐˜จ ๐˜ธ๐˜ฆ ๐˜ฐ๐˜ง๐˜ง๐˜ฆ๐˜ณ ๐˜ช๐˜ด ๐˜ง๐˜ช๐˜ฏ๐˜ข๐˜ฏ๐˜ค๐˜ช๐˜ข๐˜ญ ๐˜ข๐˜ฅ๐˜ท๐˜ช๐˜ค๐˜ฆ. ๐˜ž๐˜ฆ ๐˜ข๐˜ณ๐˜ฆ ๐˜ฏ๐˜ฐ๐˜ต ๐˜ฑ๐˜ณ๐˜ฐ๐˜ง๐˜ฆ๐˜ด๐˜ด๐˜ช๐˜ฐ๐˜ฏ๐˜ข๐˜ญ๐˜ด ๐˜ฐ๐˜ณ ๐˜ญ๐˜ช๐˜ค๐˜ฆ๐˜ฏ๐˜ด๐˜ฆ๐˜ฅ ๐˜ข๐˜ฅ๐˜ท๐˜ช๐˜ด๐˜ฐ๐˜ณ๐˜ด.


#Cartesi #FraudProofs #Modularblockchains #Modularity #Ethereum

Jaksot(589)

What Is The Next Phase of Onchain Crypto? With Predicate

What Is The Next Phase of Onchain Crypto? With Predicate

Welcome to episode 20 of EigenLayer Unlocked. In today's video, we dive into the mechanics behind Predicate, led by Nikhil Raghuveera, and their goal to streamline transaction prerequisites across cr...

4 Marras 202450min

Building Ethereum's Connectivity Hub with Polymer Labs

Building Ethereum's Connectivity Hub with Polymer Labs

We're live again from the studio from Singapore for EigenLayer Unlocked, this time for episode 19 with Peter Kim. For this episode, we are tackling the fragmentation problem head on with the story of...

3 Marras 202424min

How Abstract Plans to Dominate Consumer Crypto

How Abstract Plans to Dominate Consumer Crypto

Welcome back to the live studio podcasts from Singapore for EigenLayer Unlocked, this time for a conversation with Luca from Abstract with a focus on building the next era of consumer-friendly blockch...

2 Marras 202425min

What is The Interop Endgame? With Hyperlane

What is The Interop Endgame? With Hyperlane

Welcome to episode 16 of EigenLayer Unlocked, for a further look into the interoperability endgame. In today's video, we are focused on the technical design of Hyperlane's open framework for interope...

1 Marras 202443min

Why ZK Will Power Crypto's Next Killer Apps with Lagrange

Why ZK Will Power Crypto's Next Killer Apps with Lagrange

Welcome to episode 16 of EigenLayer Unlocked. Weโ€™ve got a lot to cover, and weโ€™re excited to share some insights from our recent technical talk focused around ZK coprocessors with Ismael from Lagrange...

31 Loka 202452min

How Inco Is Bringing Privacy Onchain using FHE

How Inco Is Bringing Privacy Onchain using FHE

Welcome back to Eigenlayer Unlocked for episode 15. Today, weโ€™re exploring a concept that has intrigued cryptographers for decades but is now edging closer to practical use onchain โ€” Fully Homomorphic...

30 Loka 202450min

Why Crypto Is Following A Similar Path As Cloud Computing with Polymer

Why Crypto Is Following A Similar Path As Cloud Computing with Polymer

Welcome to episode 14 of EigenLayer Unlocked, for a deeper dive into the interop landscape of crypto with a tight parallel to the internet experience. Our focus today is on Polymer Labs, for a techni...

29 Loka 202454min

How To Think About Restaking Economics with Tarun Chitra

How To Think About Restaking Economics with Tarun Chitra

Welcome to episode 13 of EigenLayer Unlocked, for a very insightful conversation about building the correct mental model for restaking and crypto-economic security. We had the opportunity to sit down...

28 Loka 202455min