# 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-axiom"
version = "0.5.0-rc.1"
authors = [
    "Sean Bowe <sean@electriccoin.co>",
    "Ying Tong Lai <yingtong@electriccoin.co>",
    "Daira Hopwood <daira@electriccoin.co>",
    "Jack Grigg <jack@electriccoin.co>",
    "Privacy Scaling Explorations team",
    "Taiko Labs",
    "Intrinsic Technologies",
]
build = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = '''
Fast PLONK-based zero-knowledge proving system.
This is a fork of <https://github.com/privacy-scaling-explorations/halo2>, which is itself a fork of ZCash's "halo2_proofs" crate.
This fork uses the KZG polynomial commitment scheme for the proving backend, which requires a one-time universal trusted setup.
Publishing this crate for better versioning in Axiom's production usage.

This crate requires rust nightly to build.
'''
readme = "README.md"
keywords = [
    "halo",
    "proofs",
    "zkp",
    "zkSNARKs",
]
categories = ["cryptography"]
license = "MIT OR Apache-2.0"
repository = "https://github.com/axiom-crypto/halo2"

[package.metadata.docs.rs]
all-features = true
rustdoc-args = [
    "--cfg",
    "docsrs",
    "--html-in-header",
    "katex-header.html",
]

[lib]
name = "halo2_axiom"
path = "src/lib.rs"
bench = false

[[example]]
name = "serialization"
path = "examples/serialization.rs"

[[example]]
name = "shuffle"
path = "examples/shuffle.rs"

[[test]]
name = "plonk_api"
path = "tests/plonk_api.rs"

[[bench]]
name = "commit_zk"
path = "benches/commit_zk.rs"
harness = false

[[bench]]
name = "dev_lookup"
path = "benches/dev_lookup.rs"
harness = false

[[bench]]
name = "fft"
path = "benches/fft.rs"
harness = false

[[bench]]
name = "hashtocurve"
path = "benches/hashtocurve.rs"
harness = false

[[bench]]
name = "plonk"
path = "benches/plonk.rs"
harness = false

[dependencies.ark-std]
version = "0.3.0"
features = ["print-trace"]
optional = true

[dependencies.backtrace]
version = "0.3"
optional = true

[dependencies.blake2b_simd]
version = "1"

[dependencies.crossbeam]
version = "0.8"

[dependencies.ff]
version = "0.13"

[dependencies.group]
version = "0.13"

[dependencies.halo2_legacy_pdqsort]
version = "0.1.0"
optional = true

[dependencies.halo2curves]
version = "0.7.0"
features = [
    "bits",
    "bn256-table",
    "derive_serde",
]
default-features = false
package = "halo2curves-axiom"

[dependencies.itertools]
version = "0.11"

[dependencies.maybe-rayon]
version = "0.1.0"
default-features = false

[dependencies.pairing]
version = "0.23"

[dependencies.plotters]
version = "0.3.0"
optional = true
default-features = false

[dependencies.rand]
version = "0.8"

[dependencies.rand_core]
version = "0.6"
default-features = false

[dependencies.rustc-hash]
version = "1.1"

[dependencies.sha3]
version = "0.10"

[dependencies.tabbycat]
version = "0.1"
features = ["attributes"]
optional = true

[dependencies.tracing]
version = "0.1"

[dev-dependencies.ark-std]
version = "0.3.0"
features = ["print-trace"]

[dev-dependencies.assert_matches]
version = "1.5"

[dev-dependencies.criterion]
version = "0.3"

[dev-dependencies.gumdrop]
version = "0.8"

[dev-dependencies.proptest]
version = "1"

[dev-dependencies.rand_chacha]
version = "0.3.1"

[dev-dependencies.rand_core]
version = "0.6"
features = ["getrandom"]

[features]
asm = ["halo2curves/asm"]
batch = ["rand/getrandom"]
circuit-params = []
default = [
    "batch",
    "multicore",
    "circuit-params",
]
dev-graph = [
    "plotters",
    "tabbycat",
]
gadget-traces = ["backtrace"]
multicore = ["maybe-rayon/threads"]
profile = ["dep:ark-std"]
sanity-checks = []
test-dev-graph = [
    "dev-graph",
    "plotters/bitmap_backend",
    "plotters/bitmap_encoder",
    "plotters/ttf",
]

[target.'cfg(all(target_arch = "wasm32", target_os = "unknown"))'.dev-dependencies.getrandom]
version = "0.2"
features = ["js"]