ZK technology developer Nil Foundation announced the public release of the Rust circuit compiler built on the zkLLVM core. So far, zkLLVM has supported generating circuit definitions from C++, and Rust is in test mode. With this latest release, developers can use Rust as the source code for circuit definitions.
The main goal of the zkLLVM circuit compiler is to simplify the circuit development process while maintaining safety. Instead of manually defining circuits using some ZK-specific DSL (such as Cairo, Noir, Circom, etc.), developers can use well-known programming languages like C++ or Rust. zkLLVM can convert high-level source code directly into arithmetic circuits and partially automate the circuit definition process, thus speeding up processing and reducing the risk of manual errors.