Deep into Cartesi Machine

  • Deterministic: Deterministic means that the virtual machine can provide the same output for a certain set of inputs.
  • Isolable: Smart contracts need to run in a completely isolated environment.
  • Terminable: Ethereum smart contracts are Turing complete, which uses a “gas” limit to terminate smart contracts that exceed the execution limit.
  • Fast, efficient, and portable: By leveraging common hardware capabilities, WASM code can run at near-native speeds on different platforms.
  • Readable and debuggable: WASM is a low-level language, but it has a human-readable text format, which allows coding and debugging by humans.
  • Stay safe: WASM is restricted to run in a secure sandbox execution environment. Like other web code, it follows the browser’s same-origin policy and authorization policy.
  • Do not break the network: WASM is designed to live in harmony with other network technologies and maintain backward compatibility.
  • Supports a wide range of programming languages.
  • Allows execution of complex computational logic without worrying about gas costs.
  • The state transfer on the chain contains the virtual machine state information, which ensures that the execution of the program in the virtual machine can be perfectly reproduced.



Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store



A staking services platform focusing on public chains built upon the likes of PoS and DPoS.