ZKAEDI is an AI-native, self-hosting C compiler with 3-stage bootstrap verification, native WASM emission, and ZK-provable AST correctness. It has compiled Doom, SQLite, Lua, and QuickJS from source — and it runs entirely in your browser at zkaedi.ai.
ZCC stage-3 bootstrap runs as WebAssembly. No server, no login, no latency. Hit Ctrl+Enter to compile.
ZCC has features that GCC and Clang charge enterprise contracts for — and some they simply don't have at all.
GCC compiles ZCC. ZCC compiles ZCC again. The two outputs are bit-for-bit
identical — cmp zcc2.s zcc3.s. This is the gold standard for
compiler correctness that most compilers never achieve.
ZCC is compiled to WebAssembly (Milestone 19). The entire compiler runs in your browser via a Web Worker — no backend, no API calls, no latency. Compile anywhere, even offline.
Every compilation can produce a BN254 ZK proof of AST correctness via R1CS circuits. Verify the proof on-chain via the Solidity verifier — cryptographic evidence that your binary was correctly compiled.
Pro users get a live WebGL visualization of the compiler's internal AST, IR graph, and basic block structure — rendered in 3D with AVX-512 particle physics. No other online compiler has this.
Emit to x86-64 (System V + Intel syntax), RISC-V 64 (RV64GC), Win64 PE (direct PE/COFF emission), and WASM32-WASI standalone — all from the same C source file.
ZCC's autonomous SIMD pass detects vectorizable loops and emits AVX-512/AVX2/NEON intrinsics. Paired with the Z3 SMT superoptimizer for formally proven peephole rules — 8/8 rules verified UNSAT.
Start free. Upgrade when you need more power, more targets, or the full AST Observatory.
Everything you need to get started with ZCC in the browser.
Full compiler power for individual developers and researchers.
For teams and organizations with CI/CD integration needs.
All plans include access to the open-source ZCC compiler. Hosted at zkaedi.ai · View source on GitHub →
ZKAEDI Pro is launching at zkaedi.ai. Join the waitlist for a 50% founding member discount and be first to try the 3D AST Observatory and ZK proof downloads.
419 developers already on the list. No spam, ever.