# Technical Evolution Plan

**URL:** https://governance.cartesi.io/c/technical-vision-forum/technical-evolution-plan/15.md

[Latest](https://governance.cartesi.io/latest.md) · [Categories](https://governance.cartesi.io/categories.md) · [Tags](https://governance.cartesi.io/tags.md)

---

## [About the Technical Evolution Plan category](https://governance.cartesi.io/t/about-the-technical-evolution-plan-category/419)

<div class="topic-metadata">

**Author:** [@Karmen](https://governance.cartesi.io/u/Karmen)\
**Replies:** 0

</div>

To address the coordination challenges posed by building core infrastructure in a fully distributed manner, Cartesi contributors recently adopted a new governance process for setting the ecosystem’s technical direction i…

---

## [Multi-DApp Rollups Node](https://governance.cartesi.io/t/multi-dapp-rollups-node/282)

<div class="topic-metadata">

**Author:** [@gligneul.eth](https://governance.cartesi.io/u/gligneul.eth)\
**Replies:** 8\
**Last updated:** [October 18, 2024, 8:19pm UTC](https://governance.cartesi.io/t/multi-dapp-rollups-node/282 "2024-10-18T20:19:58Z")

</div>

Context The Cartesi Rollups Node only works for a single DApp. So, if a node runner (e.g., sunodo) wants to run multiple DApps simultaneously, it must start and manage multiple nodes. Starting multiple nodes at a contain…

---

## [Support for hypervisor extensions in the Cartesi Machine](https://governance.cartesi.io/t/support-for-hypervisor-extensions-in-the-cartesi-machine/342)

<div class="topic-metadata">

**Author:** [@Diego](https://governance.cartesi.io/u/Diego)\
**Replies:** 3\
**Last updated:** [August 27, 2024, 1:07pm UTC](https://governance.cartesi.io/t/support-for-hypervisor-extensions-in-the-cartesi-machine/342 "2024-08-27T13:07:22Z")

</div>

The Machine Reference Unit has been working on adding Hypervisor support for the Cartesi Machine. A hypervisor is a hardware-assisted mechanism that can be used to safely run separate programs, or even operating systems…

---

## [ENS Relay and resolver](https://governance.cartesi.io/t/ens-relay-and-resolver/273)

<div class="topic-metadata">

**Author:** [@pedro.argento](https://governance.cartesi.io/u/pedro.argento)\
**Replies:** 6\
**Last updated:** [July 13, 2024, 5:57am UTC](https://governance.cartesi.io/t/ens-relay-and-resolver/273 "2024-07-13T05:57:21Z")

</div>

The ongoing development of output unification will make possible the implementation of DELEGATECALL vouchers. Technical details omitted, it will allow us to implement a ENS resolver in the execution layer. This will all…

---

## [Nonodo: local Cartesi node for development and testing](https://governance.cartesi.io/t/nonodo-local-cartesi-node-for-development-and-testing/274)

<div class="topic-metadata">

**Author:** [@milton-cartesi](https://governance.cartesi.io/u/milton-cartesi)\
**Replies:** 17\
**Last updated:** [June 3, 2024, 1:43pm UTC](https://governance.cartesi.io/t/nonodo-local-cartesi-node-for-development-and-testing/274 "2024-06-03T13:43:14Z")

</div>

The current Cartesi Node has the primary goal of being the software that actual Cartesi validators will execute when validating DApps on Mainnet. This is generally at odds with the goal of helping developers quickly test…

---

## [CartesiScan - Etherscan for Cartesi DApps](https://governance.cartesi.io/t/cartesiscan-etherscan-for-cartesi-dapps/369)

<div class="topic-metadata">

**Author:** [@felipeargento](https://governance.cartesi.io/u/felipeargento)\
**Replies:** 0\
**Last updated:** [February 8, 2024, 4:57pm UTC](https://governance.cartesi.io/t/cartesiscan-etherscan-for-cartesi-dapps/369 "2024-02-08T16:57:33Z")

</div>

Etherscan has long been recognized as an indispensable tool within the Ethereum ecosystem, providing a comprehensive view into the blockchain’s state, including transaction histories, smart contract interactions, and wal…

---

## [Dave — Cartesi’s fraud-proof system](https://governance.cartesi.io/t/dave-cartesi-s-fraud-proof-system/347)

<div class="topic-metadata">

**Author:** [@GCdePaula](https://governance.cartesi.io/u/GCdePaula)\
**Replies:** 0\
**Last updated:** [January 11, 2024, 2:13pm UTC](https://governance.cartesi.io/t/dave-cartesi-s-fraud-proof-system/347 "2024-01-11T14:13:07Z")

</div>

What’s Dave Cartesi’s fraud-proof system is called Dave. Just Dave. It’s neither an acronym nor an abbreviation, but a name. Like most names, it should be written in lower case with an initial capital, that is, “Dave”. D…

---

## [Data Availability support for Cartesi Rollups](https://governance.cartesi.io/t/data-availability-support-for-cartesi-rollups/338)

<div class="topic-metadata">

**Author:** [@felipeargento](https://governance.cartesi.io/u/felipeargento)\
**Replies:** 8\
**Last updated:** [May 14, 2024, 8:49pm UTC](https://governance.cartesi.io/t/data-availability-support-for-cartesi-rollups/338 "2024-05-14T20:49:58Z")

</div>

We’ve been discussing Data Availability and its importance to Cartesi’s use cases for some time now. The rationale behind this can be found in the 'Cone of Innovation,: Source + explanation: Grokking Cartesi Rollups,…

---

## [Sunodo - A Cartesi convenience layer](https://governance.cartesi.io/t/sunodo-a-cartesi-convenience-layer/370)

<div class="topic-metadata">

**Author:** [@bmaia18](https://governance.cartesi.io/u/bmaia18)\
**Replies:** 4\
**Last updated:** [May 8, 2024, 6:43pm UTC](https://governance.cartesi.io/t/sunodo-a-cartesi-convenience-layer/370 "2024-05-08T18:43:38Z")

</div>

The blockchain industry is rapidly advancing towards modularity, a paradigm shift that promises the ability to combine protocols in ways uniquely suited to diverse use cases, thereby enhancing the user experience. Howeve…

---

## [Cartesify REST - HLF](https://governance.cartesi.io/t/cartesify-rest-hlf/366)

<div class="topic-metadata">

**Author:** [@fabio.oshiro](https://governance.cartesi.io/u/fabio.oshiro)\
**Replies:** 12\
**Last updated:** [March 26, 2024, 1:06am UTC](https://governance.cartesi.io/t/cartesify-rest-hlf/366 "2024-03-26T01:06:30Z")

</div>

Cartesify HLF Bruno aka @sandhilt and I are focused on growing Cartesi’s adoption, especially among web2 developers. Our proposal introduces a REST abstraction layer to the current technology stack, aiming to simplify on…

---

## [Instant composability via Cartesi DApp state access](https://governance.cartesi.io/t/instant-composability-via-cartesi-dapp-state-access/336)

<div class="topic-metadata">

**Author:** [@milton-cartesi](https://governance.cartesi.io/u/milton-cartesi)\
**Replies:** 3\
**Last updated:** [February 20, 2024, 7:28pm UTC](https://governance.cartesi.io/t/instant-composability-via-cartesi-dapp-state-access/336 "2024-02-20T19:28:14Z")

</div>

DApps running on Cartesi Machines are great, but one important limitation is clear: there is currently no way of composing Cartesi DApps except for going through the base layer. For Cartesi Rollups, this means that for D…

---

## [Cartesi Machine Generic I/O (previously "Dehashing Device: a tool to enable access to base layer state, external sequencers, DA, and more")](https://governance.cartesi.io/t/cartesi-machine-generic-i-o-previously-dehashing-device-a-tool-to-enable-access-to-base-layer-state-external-sequencers-da-and-more/335)

<div class="topic-metadata">

**Author:** [@milton-cartesi](https://governance.cartesi.io/u/milton-cartesi)\
**Replies:** 15\
**Last updated:** [February 20, 2024, 7:26pm UTC](https://governance.cartesi.io/t/cartesi-machine-generic-i-o-previously-dehashing-device-a-tool-to-enable-access-to-base-layer-state-external-sequencers-da-and-more/335 "2024-02-20T19:26:24Z")

</div>

As it stands, a Cartesi DApp always processes inputs specifically relayed to it. The current production-level implementation is that Rollups DApps read inputs from the InputBox smart contract from the base layer. Alterna…

---

## [Sequencer Support for Cartesi Rollups](https://governance.cartesi.io/t/sequencer-support-for-cartesi-rollups/340)

<div class="topic-metadata">

**Author:** [@felipeargento](https://governance.cartesi.io/u/felipeargento)\
**Replies:** 3\
**Last updated:** [February 7, 2024, 4:54pm UTC](https://governance.cartesi.io/t/sequencer-support-for-cartesi-rollups/340 "2024-02-07T16:54:51Z")

</div>

This is also something that has been discussed frequently in the past. Sequencers are a crucial piece of the rollup stacks. I’d say they’re important for two main reasons: Soft Finalization: This is super useful for UX…

---

## [Stateless execution ("Lambda")](https://governance.cartesi.io/t/stateless-execution-lambda/302)

<div class="topic-metadata">

**Author:** [@Diego](https://governance.cartesi.io/u/Diego)\
**Replies:** 3\
**Last updated:** [January 31, 2024, 1:52am UTC](https://governance.cartesi.io/t/stateless-execution-lambda/302 "2024-01-31T01:52:57Z")

</div>

Currently, applications running inside a Cartesi Machine operate in a loop that obtains a request and process it. If the request is an inspect-state request, the entire application state is reverted upon completion of th…

---

## [Monolithic Rollups Node](https://governance.cartesi.io/t/monolithic-rollups-node/345)

<div class="topic-metadata">

**Author:** [@gligneul.eth](https://governance.cartesi.io/u/gligneul.eth)\
**Replies:** 4\
**Last updated:** [January 24, 2024, 6:43pm UTC](https://governance.cartesi.io/t/monolithic-rollups-node/345 "2024-01-24T18:43:21Z")

</div>

Over the past two years, the Cartesi Rollups node evolved organically as we understood its requirements. Some design decisions made a lot of sense in the past, but now it is time to re-evaluate them. In particular, the n…

---

## [Cartesi Lambada - a "worse is better" initiative](https://governance.cartesi.io/t/cartesi-lambada-a-worse-is-better-initiative/328)

<div class="topic-metadata">

**Author:** [@carsten.munk](https://governance.cartesi.io/u/carsten.munk)\
**Replies:** 24\
**Last updated:** [January 18, 2024, 7:01pm UTC](https://governance.cartesi.io/t/cartesi-lambada-a-worse-is-better-initiative/328 "2024-01-18T19:01:49Z")

</div>

What is Cartesi Lambada? Cartesi Lambada is a technological stack designed to provide an alternate means for people to adopt the Cartesi technology. Additionally, in the Lambada initiative, we also promote an altern…

---

## [Rollups in Browser (RiB)](https://governance.cartesi.io/t/rollups-in-browser-rib/346)

<div class="topic-metadata">

**Author:** [@milton-cartesi](https://governance.cartesi.io/u/milton-cartesi)\
**Replies:** 4\
**Last updated:** [January 12, 2024, 9:30am UTC](https://governance.cartesi.io/t/rollups-in-browser-rib/346 "2024-01-12T09:30:41Z")

</div>

It has already been demonstrated that Cartesi Machines can be executed inside the browser (kudos to @edubart, who even got Doom running there!). With this capability, it becomes possible for a web app to feed inputs into…

---

## [Reproducible builds](https://governance.cartesi.io/t/reproducible-builds/337)

<div class="topic-metadata">

**Author:** [@carsten.munk](https://governance.cartesi.io/u/carsten.munk)\
**Replies:** 9\
**Last updated:** [January 12, 2024, 5:09am UTC](https://governance.cartesi.io/t/reproducible-builds/337 "2024-01-12T05:09:12Z")

</div>

Why reproducible builds? From reproducible-builds.org: Why does it matter? Whilst anyone may inspect the source code of free and open source software for malicious flaws, most software is distributed pre-compiled with …

---

## [Enhanced Complex Vouchers](https://governance.cartesi.io/t/enhanced-complex-vouchers/341)

<div class="topic-metadata">

**Author:** [@pedro.argento](https://governance.cartesi.io/u/pedro.argento)\
**Replies:** 2\
**Last updated:** [January 11, 2024, 1:50pm UTC](https://governance.cartesi.io/t/enhanced-complex-vouchers/341 "2024-01-11T13:50:31Z")

</div>

A version of complex vouchers were already done in response to the RFP #3. However, with the upcoming completion of the output unification, we will be able to implement the complex vouchers as a library, using DelegateC…

---

## [Improved support for Dave in the Cartesi Machine](https://governance.cartesi.io/t/improved-support-for-dave-in-the-cartesi-machine/343)

<div class="topic-metadata">

**Author:** [@Diego](https://governance.cartesi.io/u/Diego)\
**Replies:** 1\
**Last updated:** [January 10, 2024, 11:08pm UTC](https://governance.cartesi.io/t/improved-support-for-dave-in-the-cartesi-machine/343 "2024-01-10T23:08:33Z")

</div>

The Cartesi Machine was original designed as a computational oracle supporting arbitration via the “verification game” algorithm by Canetti et al. 2013. The result is that the emulator was expected to efficiently produce…

---

## [Cartesi as a co-processor with Eigenlayer (separate from Rollups product track)](https://governance.cartesi.io/t/cartesi-as-a-co-processor-with-eigenlayer-separate-from-rollups-product-track/315)

<div class="topic-metadata">

**Author:** [@carsten.munk](https://governance.cartesi.io/u/carsten.munk)\
**Replies:** 6\
**Last updated:** [January 9, 2024, 2:58am UTC](https://governance.cartesi.io/t/cartesi-as-a-co-processor-with-eigenlayer-separate-from-rollups-product-track/315 "2024-01-09T02:58:51Z")

</div>

(this is ongoing work already by the Zippie team/compute - demo: https://www.youtube.com/watch?v=PSA-ccF96MM ) Let’s start with a quick Twitter thread on what a co-processor is: x.com Cartesi is in an interesting posit…

---

## [Allow Cartesi DApps to access base layer state](https://governance.cartesi.io/t/allow-cartesi-dapps-to-access-base-layer-state/310)

<div class="topic-metadata">

**Author:** [@milton-cartesi](https://governance.cartesi.io/u/milton-cartesi)\
**Replies:** 8\
**Last updated:** [January 5, 2024, 8:58pm UTC](https://governance.cartesi.io/t/allow-cartesi-dapps-to-access-base-layer-state/310 "2024-01-05T20:58:11Z")

</div>

Cartesi DApps advance their state when they receive inputs, which currently correspond to arbitrary payloads sent via the InputBox contract on the base layer (L1). In order to process any data from the base layer, curre…

---

## [Cartesi on Bitcoin](https://governance.cartesi.io/t/cartesi-on-bitcoin/330)

<div class="topic-metadata">

**Author:** [@carsten.munk](https://governance.cartesi.io/u/carsten.munk)\
**Replies:** 2\
**Last updated:** [January 4, 2024, 1:53pm UTC](https://governance.cartesi.io/t/cartesi-on-bitcoin/330 "2024-01-04T13:53:41Z")

</div>

There is a growing movement in Bitcoin surrounding BitVM: https://bitvm.org/bitvm.pdf - which enables off-chain computation and bigger expressability of Bitcoin Script, their VM. As part of an earlier hackathon project,…

---

## [Cartesi Machine execution provable using ZK using RiscZero](https://governance.cartesi.io/t/cartesi-machine-execution-provable-using-zk-using-risczero/316)

<div class="topic-metadata">

**Author:** [@carsten.munk](https://governance.cartesi.io/u/carsten.munk)\
**Replies:** 1\
**Last updated:** [December 28, 2023, 1:06pm UTC](https://governance.cartesi.io/t/cartesi-machine-execution-provable-using-zk-using-risczero/316 "2023-12-28T13:06:02Z")

</div>

(This is started, but paused work by Zippie team/Compute unit) Talk about this work: https://www.youtube.com/watch?v=leCd5kyDTR8 What if you could prove the execution of a Cartesi Machine with a Zero Knowledge Proof (Z…

---

## [Lua Rollups High-Level Framework](https://governance.cartesi.io/t/lua-rollups-high-level-framework/296)

<div class="topic-metadata">

**Author:** [@gligneul.eth](https://governance.cartesi.io/u/gligneul.eth)\
**Replies:** 1\
**Last updated:** [December 9, 2023, 3:33am UTC](https://governance.cartesi.io/t/lua-rollups-high-level-framework/296 "2023-12-09T03:33:27Z")

</div>

I believe Lua would fit our needs for the language of choice for a rollups high-level framework. It is a scripting language with good performance and low memory footprint, which is very suited for an embedded system like…

---

## [Quorum Authority](https://governance.cartesi.io/t/quorum-authority/270)

<div class="topic-metadata">

**Author:** [@pedro.argento](https://governance.cartesi.io/u/pedro.argento)\
**Replies:** 5\
**Last updated:** [December 6, 2023, 1:49pm UTC](https://governance.cartesi.io/t/quorum-authority/270 "2023-12-06T13:49:35Z")

</div>

Currently, the only way for a DApp to be validated is through an Authority validator. In this consensus scheme, a single validator is the source of truth to everything that happens on the application. Although suboptima…
