[package]
name = "risc0-circuit-bigint"
description = "RISC Zero Circuit for Big Integer Computation"
version = { workspace = true }
edition = { workspace = true }
license = { workspace = true }
homepage = { workspace = true }
repository = { workspace = true }

[[bin]]
name = "make_control_ids"

[dependencies]
anyhow = "1.0"
bytemuck = "1.16.1"
hex = "0.4"
num-bigint = { version = "0.4", default-features = false }
num-integer = "0.1"
num-traits = "0.2"
paste = "1.0"
risc0-binfmt = { workspace = true }
risc0-circuit-recursion = { workspace = true, default-features = false }
risc0-core = { workspace = true }
risc0-zkp = { workspace = true, features = ["default"] }
risc0-zkvm = { workspace = true, features = [
  "std",
  "unstable",
], default-features = false }
risc0-zkvm-platform = { workspace = true }
tracing = "0.1.40"
zip = { version = "2.0", default-features = false, features = ["deflate"] }

[dev-dependencies]
num-bigint = { version = "0.4", default-features = false, features = ["serde"] }
pretty_assertions = "1.4"
test-log = { version = "0.2", features = ["trace"] }

[target.'cfg(not(target_os = "zkvm"))'.dev-dependencies]
risc0-circuit-bigint-test-methods = { path = "methods" }

[features]
default = ["prove"]
# Enables ZKR registration to actually generate proofs.
prove = ["risc0-zkvm/prove", "risc0-circuit-recursion/prove"]