A language for
verifiable computation
Effects-based, formally verified, multi-target. Write smart contracts, GPU kernels, and FPGA bitstreams in one language.
contract Token {
state balances: Map<Address, U256>;
effect transfer(to: Address, amount: U256) -> Result<(), Error> {
verify amount > 0;
verify self.balances[msg.sender] >= amount;
self.balances[msg.sender] -= amount;
self.balances[to] += amount;
emit Transfer(msg.sender, to, amount);
}
}
Why CX?
Formal Verification Built In
Effect handlers and verify statements let the compiler prove correctness at compile time. No separate prover needed.
Multi-Target Compilation
One codebase compiles to EVM bytecode, WASM, GPU shaders, and FPGA bitstreams via the VizVM pipeline.
Zero-Cost Effects
Algebraic effects model I/O, state, and concurrency without runtime overhead. The compiler erases the abstraction.
VizVM Runtime
Sandboxed execution with JIT compilation, deterministic gas metering, and a register-based instruction set.
DeFi-First Standard Library
AMM pools, lending protocols, governance, and staking primitives ship in the standard library.
Interactive Playground
Write, compile, and execute CX programs in the browser with full pipeline visualization.
Compilation Targets
Write once. Deploy everywhere.