Really interesting project, I am familiar with Truebit and I see that you are bringing a full Linux OS to the table instead.
Could you explain the differences?
Thanks for the great question. Cartesi is quite similar to TrueBit at first glance, but they differ vastly in their design decisions. The first major difference between TrueBit and Cartesi concerns the virtual machine itself; TrueBit’s virtual machine is based on WebAssembly (WASM). WASM is the W3C Community Group’s Instruction Set Architecture (ISA) for efficient web applications, while Cartesi’s virtual machine implements the RISC-V ISA.
TrueBit’s technology focuses on boosting the computational power for smart contracts, which operate under a bare bones runtime environment. However, as we said earlier the applications that we use on the Web or our devices don't exist in isolation as they stand on an operating system and many software layers. Our architectural choice enables Cartesi computations to run on a proper operating system. In this environment, much more powerful decentralized applications can be developed.