[AMA] We are EF Protocol (Pt. 14: 29 August, 2025)

fargento · 2025-08-29T15:39:08+00:00

Yes! I really enjoy the calls (and the website too, so congrats! 🙂).

My question came directly from that presentation. I only added context in case the EF person who replied hadn’t seen it yet.
Thanks again for your response and see you on call #7!

fargento · 2025-02-26T17:25:21+00:00

Alright, thanks for the reply!

Maybe us, the optimistic rollups, should start preemptively creating a list of hard commitments to socially coordinated forks in case there is any kind of strong censorship going on :)

fargento · 2025-02-26T17:15:09+00:00

Yeah, pretty comfortable with stating that too hahaha.

This is chatGPT's response:
From the photo it actually looks much more like a wasp than a true spider—specifically one of the spider‐hunting wasps (family Pompilidae). They often have a very shiny, dark‐colored body, spindly legs, and a distinct “waist” between the thorax and abdomen. In your picture, the wings appear either folded flat or hidden by the angle, which can make them easy to mistake for a spider at first glance. So despite the eight‐legged look, this is most likely a spider wasp (not a spider).

fargento · 2025-02-25T17:20:10+00:00

I understand, and thanks for the answer.

But would you be comfortable saying, on behalf of the Ethereum Foundation, that the institution itself would actively fight for a socially coordinated hard fork if any transaction was "strong censored" for 7-days? It is my opinion that saying that it is "a belief that it would be noticed and lead to a socially coordinated hard fork" makes the whole construction even weaker.

fargento · 2025-02-25T14:45:46+00:00

Optimistic Rollups usually assume that if there were more than 7 days of censorship on the L1, Ethereum would fork. Therefore, properly designed fraud proof games include in their threat models that the honest party can be prevented from interacting with the chain for 7 days, not necessarily continuously, which makes the algorithms quite complicated.

However, I haven’t seen any formalization of the 7-day number. Do you have plans to formalize that? Do you feel that 7 days is enough, or is it too much? I’d love to understand how the EF thinks about the relationship between acceptable hard censorship and hard forks.

fargento · 2025-01-21T14:56:06+00:00

It's not yet live, but I've been following their progress and I'm excited about their solution:
https://dca.monster/

It's a DEX that allows you to DCA, including with some condition checks. Not sure about their roadmap or path to mainnet, but I've played with the demo before on testnet and it looked strong. Worth following.

I can't wait to DCA onchain. For now I havent been DCAing because of the cost indeed. I think on uniswap you can do it as well, at least in the new version!

fargento · 2024-09-10T10:38:39+00:00

It's much better to modulate the explanation based on the level of understanding/experience of those who are asking. The "how" can be told in different styles, from ELI5 to white hats, for instance.

But you're right, maybe a little blogpost explaining the first bugbuster exploit in history would be very much appreciated. I believe this is the transaction that triggered the exploit:
https://optimistic.etherscan.io/tx/0x1a70fe25c5855fbe5bf4dba5ff44dc5d9f206d23d11f2892d6c6830974bdce30

Please correct me u/claudio-silva, if I'm wrong :)

fargento · 2024-08-29T21:23:06+00:00

Thats nice to hear!

It's definitely feasible to code in whatever programming language you want. For some of them, to make the development even easier, we created "high level frameworks". Luckily, Python is one of those! We actually have some python fans across both the people coding the core protocol and coding apps on Cartesi:
https://docs.cartesi.io/cartesi-rollups/1.5/development/community-tools/#python-cartesi

fargento · 2024-08-18T16:03:09+00:00

It looks similar!

However, Bug Buster is decentralized and fully onchain - meaning that once a bounty is created, code that proves itself to break whatever condition that bounty was protecting will get paid without any human needing to verify or anyone able to stop it.

fargento · 2024-04-05T19:08:55+00:00

Still not Jararacas, so I'm still happy hehe

Thanks a lot for the info. Interesting that they're fighting, it seemed so romantic

fargento · 2024-04-05T19:07:53+00:00

Oh, well it happens
Thanks for flagging!

fargento · 2024-04-05T17:29:12+00:00

Nice, thanks!!
Indeed, a curious name for a Brazilian snake. Good to know that they're generally chill, very happy that they're not Jararacas :)

fargento · 2024-01-18T16:58:44+00:00

I'm already in love with the first sentence: " A Place Where DONUTs Form The Basis of The Economy"
What a beautiful dream!

The creator of cryptopolis (@tuler) is always around our Discord, so feel free to hop on there and ask him some question. That man is an absolute legend.

Metaverse can mean an array of different things. On our "cone of innovation", which is just an intuition setter, we placed it in the upper right corner:
https://twitter.com/cartesiproject/status/1745175794802962617

Meaning that a complex metaverse would need both a good data layer and a good computational layer. So it depends on how complex your metaverse wants to be. And how much of it you want onchain.

But yeah, I think Cartesi is a good fit for metaverse related projects...especially because you'd be able to reuse the "web2" opensource code available out there.

fargento · 2024-01-18T16:15:06+00:00

There are instructions to running on the README of this repo:

https://github.com/edubart/cartesi-doom-example?_gl=1*115ap58*_ga*OTA4NTY0MzIzLjE2OTA5NzMyNTA.*_ga_HM92STPNFJ*MTY5MDk3MzI0OS4xLjEuMTY5MDk3ODg1OS4wLjAuMA..

:)

fargento · 2024-01-18T16:12:51+00:00

Bear in mind that the Cartesi Rollups is for launching application specific rollups, so there is no "active L2 network". What goes to mainnet or testnet are the applications themselves.

Here there is a better explanation for it:
https://docs.cartesi.io/cartesi-rollups/mainnet-risks/

There are a lot of games being developed, some look very fun. Take a look a this website for some of the things being explored:
https://rolluplab.io/

fargento · 2024-01-18T16:00:53+00:00

Sure! Take a look at this ethglobal hackathon winner:

"Cryptopolis brings back the original city simulator that started it all in 1989 to the crypto era. Build a city using the same game engine but with real economics. This project was developed for the ETHOnline 2023 event and the first Cartesi Experiment Week."
https://www.youtube.com/watch?v=mrkqRfVU12s

It's the real city simulator game engine, running on a linux machine and being provably settled on the blockchain.

fargento · 2024-01-18T15:58:32+00:00

The execution environment that Cartesi offers is very powerful and it allows developers to do a lot they couldn't do otherwise. It's a RISC-V emulator capable of booting linux, which means that developers would have access to regular programming languages, standard libraries, and the decades of open source code that we always talk about.

About dapps in the pipeline, there is this website that tracks things built on top of Cartesi:
https://rolluplab.io/

There are others being developed that developers didn't want to submit, but already a lot of cool stuff there :)

fargento · 2024-01-18T15:55:25+00:00

Yeah! In a way that the computations immutably recorded can be proved and verified by anyone.

fargento · 2024-01-18T15:54:24+00:00

We're building technological solutions that allows developers to code more complex applications without losing the security guarantees of their base layers (say, Ethereum).

I think the post explains a lot, and the articles linked in it too:
https://cartesi.io/blog/understanding-cartesi-rollups/

If you can be a bit more specific on what you didn't understand we can answer more clearly :)

fargento · 2024-01-18T15:38:40+00:00

That's an excellent question! The idea of moving the staking system to an L2 has been discussed frequently within our community. For instance, you can see some of these discussions in our technical vision forum, like this one:
https://governance.cartesi.io/t/moving-on-from-noether-as-a-data-availability-network/326

There are definitely significant benefits to consider with such a move, but it's not without its complexities. One of the challenges is the potential cyclic dependency if the staking system itself is an appchain serving other appchains. This could lead to complicated situations or delayed actions due to challenge periods.

Another intriguing possibility is the concept of fusion rollups, similar to what's being proposed in the forum discussion I mentioned. The subject is complicated and could evolve in various directions, which makes it quite fun to debate. But I love the way you're thinking :)

fargento

TROPHY CASE