xark-cli 0.2.1

The xark toolchain CLI
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

[package]
name = "xark-cli"
version.workspace = true
edition = "2024"
license.workspace = true
repository.workspace = true
description = "The xark toolchain CLI"
keywords = ["zero-knowledge", "zk", "cryptography", "circuit", "groth16"]
categories = ["cryptography"]
readme = "README.md"

# The toolchain: `cargo install xark-cli` → the `xark` CLI.
[[bin]]
name = "xark"
path = "src/main.rs"

[features]
# Opt-in developer diagnostics — forwards to `xark-ir`/`xark-prover`'s `debug`.
debug = ["xark-ir/debug", "xark-prover/debug"]

[dependencies]
num-bigint = "0.4"
# The circuit-author prelude — `cli.rs` scaffolds crates that `use xark::prelude`.
xark = { path = "../lang", version = "0.2.1" }
xark-ir = { path = "../ir", version = "0.2.1" }
xark-prover = { path = "../prover", version = "0.2.1" }
xark-backend = { path = "../backend", version = "0.2.1" }
serde_json = "1"
clap = { version = "4", features = ["derive"] }
clap_complete = "4"
anyhow = "1"
tracing-subscriber = { version = "0.3", features = ["env-filter"] }
sha2 = "0.11"
hex = "0.4"
rand = "0.8"
rand_chacha = "0.3"
ark-bn254 = { version = "0.6", default-features = false, features = ["curve"] }
ark-serialize = { version = "0.6", default-features = false }
mimalloc = "0.1"
rayon = "1"
# Inline storage for MIR-lowering projection paths — hot slot-map keys.
smallvec = "1"