# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO # # When uploading crates to the registry Cargo will automatically # "normalize" Cargo.toml files for maximal compatibility # with all versions of Cargo and also rewrite `path` dependencies # to registry (e.g., crates.io) dependencies. # # If you are reading this file be aware that the original Cargo.toml # will likely look very different (and much more reasonable). # See Cargo.toml.orig for the original contents. [package] edition = "2021" rust-version = "1.73.0" name = "halo2-base" version = "0.4.1" authors = ["Intrinsic Technologies"] description = "Embedded domain specific language (eDSL) for writing circuits with the [`halo2`](https://github.com/axiom-crypto/halo2) API. It simplifies circuit programming to declaring constraints over a single advice and selector column and provides built-in circuit tuning and support for multi-threaded witness generation." readme = "README.md" license = "MIT" repository = "https://github.com/axiom-crypto/halo2-lib" [[example]] name = "inner_product" required-features = ["test-utils"] [[bench]] name = "mul" harness = false [[bench]] name = "inner_product" harness = false [dependencies.ark-std] version = "0.3.0" features = ["print-trace"] optional = true [dependencies.getset] version = "0.1.2" [dependencies.halo2_proofs_axiom] version = "0.4" optional = true package = "halo2-axiom" [dependencies.itertools] version = "0.11" [dependencies.log] version = "0.4" [dependencies.num-bigint] version = "0.4" features = ["rand"] [dependencies.num-integer] version = "0.1" [dependencies.num-traits] version = "0.2" [dependencies.plotters] version = "0.3.0" optional = true [dependencies.poseidon-rs] version = "=0.1.1" package = "poseidon-primitives" [dependencies.rand] version = "0.8" optional = true [dependencies.rand_chacha] version = "0.3" [dependencies.rayon] version = "1.8" [dependencies.rustc-hash] version = "1.1" [dependencies.serde] version = "1.0" features = ["derive"] [dependencies.serde_json] version = "1.0" [dev-dependencies.ark-std] version = "0.3.0" features = ["print-trace"] [dev-dependencies.criterion] version = "0.5.1" [dev-dependencies.criterion-macro] version = "0.4" [dev-dependencies.env_logger] version = "0.10.0" [dev-dependencies.pprof] version = "0.13" features = [ "criterion", "flamegraph", ] [dev-dependencies.proptest] version = "1.1.0" [dev-dependencies.rand] version = "0.8" [dev-dependencies.test-case] version = "3.1.0" [dev-dependencies.test-log] version = "0.2.12" [features] asm = ["halo2_proofs_axiom?/asm"] default = [ "halo2-axiom", "display", "test-utils", ] display = [] halo2-axiom = ["halo2_proofs_axiom"] profile = ["halo2_proofs_axiom?/profile"] test-utils = [ "dep:rand", "ark-std", ] [target."cfg(not(target_env = \"msvc\"))".dependencies.jemallocator] version = "0.5" optional = true [target."cfg(not(target_env = \"msvc\"))".dependencies.mimalloc] version = "0.1" optional = true default-features = false