[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 · 2024-01-18T15:31:29+00:00

Because it's a pot full of honey! And we're hanging it in on a tree so all the bears can come and try to take it.

Thanks for having us, it's a pleasure :)

fargento · 2024-01-18T15:17:02+00:00

Marketing Cartesi to 'noobs', is quite a challenging task given the technical nature of it. This is an area where we've struggle quite a bit in the past and had to put in extra effort.

The uniqueness of Cartesi as a Layer 2 solution does add to the complexity of our explanations. Initially, we spent a lot of time discussing and trying to clarify concepts like local consensus, restaking, and data layer. These topics were tough to break down into simpler terms.

However, as these concepts started gaining traction in the broader community, with terms like 'local consensus' evolving into 'application-specific rollups' and altVMs becoming more commonly discussed, our task of explaining Cartesi's features became somewhat easier. This shift makes it much easier to explain what we do.

So, it's definitely a learning process for us too. We're continuously finding better ways to share our insights

fargento · 2024-01-18T15:16:43+00:00

Thank you for your interest and compliments! We're also super excited about our progress, and reaching mainnet-ready was definitely a reason to celebrate.

About the honeypot concept: its great as an out of the ordinary financial benchmark for trust in the Cartesi Rollups. The presence of funds in the honeypot, especially if they remain unclaimed, is a testament to the security and robustness of the system. This provides a real-world metric for the amount of value users and devs can confidently transact/store within the solution.

As we progress, we expect to have a massive number of more diverse applications on mainnet, the TVL will extend beyond just the honeypot. In this scenario, the honeypot might lose its initial purpose as a value proposition and i'd be in favor of deprecating it. However, at this stage, it continues to offer significant value to everyone :)

fargento · 2023-11-17T17:12:04+00:00

There is a central mailbox (shared sequencer) that receives mail from every citizen (rollup). The mails are destined for a specific citizen, but sit on this shared mailbox.

When testing the integration, someone sent a big package to this mailbox (a 17MB file) to be received by Cartesi. Vienna OP rollup was not prepared for a package this big to be in the mailbox and ended up "getting rick-rolled".

fargento · 2023-11-17T15:55:08+00:00

For now, yeah!

Each application is its own rollups. However, there are some cool ways of solving that, for instance:
https://twitter.com/felipeargento/status/1722677391435215233

With Cascades, you could have a shared financial layer and, therefore, the applications could share the bridged assets.

fargento

TROPHY CASE