- LLVM (for compiling rocksdb)
- Emscripten (optional, for compiling C to wasm)
Cesium uses a Directed Acyclic Graph (DAG) for processing transactions asynchronously. Checkpoints (batches of transactions) are validated using a (Delegated) Proof of Stake consensus mechanism.
Smart contracts are compiled in WASM and executed in a controlled wasmer virtual sandbox, this runtime is referred to as Selenide. An sdk is provided to improve DX.