docs.rs failed to build haloumi-llzk-0.5.4
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
haloumi-llzk
This crate is the Haloumi backend for generating LLZK. LLZK is a family of MLIR dialects designed specifically for ZK use cases.
The backend generates IR that represents the constraint system of the circuit that can be used with tools compatible with LLZK, and lowered further to other targets that are compatible with the IR.