Cartesi 是一個第二層區塊鏈解決方案，可以使開發人員能夠使用Python、NumPy、Rust 等主流軟件堆棧構建可擴展的去中心化應用程序(DApp)。 Cartesi Rollups解決了區塊鏈的計算限制和去中心化應用程序缺乏成熟軟件堆棧的問題，它提供了模塊化的特定於應用程序的optimistic rollups和交互式爭議的解決方案，而且還能夠運行Linux 等真實操作系統的主流虛擬機。

區塊鏈的不可能三角包括去中心化(Decentralization)、可擴展性(Scability)、安全性(Security)。以太坊以rollups為中心的路線圖將可擴展性分為數據可擴展性和計算可擴展性。 Cartesi Rollups 是一種特定於應用程序的rollups，具有交互式爭議解決方案。使用Cartesi Rollups 我們可以通過大量計算轉移到每個應用程序的rollups，同時使用基礎層進行資產結算、可組合性和爭議解決來打破區塊鏈的計算限制。

與傳統的Web 2.0 開發相比，Web 3.0 開發缺乏必要的工具和庫。 Cartesi Rollups 通過提供一個確定性的基於RISC-V 的虛擬機Cartesi Machine 來解決這個問題，它運行Linux 或其他操作系統，允許開發人員使用預先存在的代碼、庫、工具和生態系統來開發去中心化應用程序。

Cartesi Rollups 是特定於應用程序的optimistic rollups，可以在Linux 運行時和現有Linux 工具鏈的全面支持下執行DApp。它們在計算可擴展性方面提供了顯著的收益，並為開發人員提供了一個成熟的操作系統來構建富有表現力和計算密集型的區塊鏈應用程序。 Cartesi Rollups 通過實施具有交互式爭議解決的欺詐證明，保留了基礎層的強大安全保證。

Cartesi DApps 由前端用戶界面和在Cartesi Rollups 基礎設施中運行的後端可驗證邏輯組成。

在Cartesi DApp 中，有兩個主要組件：前端和後端。前端是面向用戶的界面，可以是Web 或命令行應用程序，而後端負責在Cartesi Rollups 基礎架構中運行的可驗證邏輯。後端根據用戶輸入管理應用程序狀態並生成相關輸出。這些輸出包括憑證（第1 層交易，如資產轉移）、通知（信息報表，如游戲分數）和報告（日誌和診斷數據，如錯誤或警告消息）。後端可以通過其他外部服務或複雜DApp 的額外後端進行補充。

與傳統軟件開發相比，Cartesi DApp 的主要區別在於後端部署在去中心化的第2 層節點網絡上，不斷驗證處理結果。前端和後端不直接通信； 相反，前端將輸入發送到Cartesi Rollups 框架，後者將它們傳遞到每個節點內的後端實例。處理後，輸出將被發送回Rollups 框架，確保它們的正確性，然後再讓前端和其他方訪問它們。