Files
darkfi/script/research/zkvm-metering/generator/Cargo.toml
2026-01-01 19:48:04 +00:00

26 lines
903 B
TOML

[package]
name = "generator"
version = "0.1.0"
description = "CLI-utility to generate zk proofs for analyzing zkvm opcodes resource usage"
authors = ["Dyne.org foundation <foundation@dyne.org>"]
repository = "https://codeberg.org/darkrenaissance/darkfi"
license = "AGPL-3.0-only"
edition = "2024"
[workspace]
[dependencies]
darkfi-sdk = {path = "../../../../src/sdk"}
darkfi = {path = "../../../../", features = ["zk"]}
halo2_proofs = {version = "0.3.2", features = ["circuit-params"]}
halo2_gadgets = {version = "0.4.0", features = ["circuit-params"]}
rand = "0.8.5"
darkfi-serial = {path = "../../../../src/serial"}
[dev-dependencies]
halo2_proofs = {version = "0.3.1", features = ["dev-graph", "sanity-checks"]}
halo2_gadgets = "0.3.1"
[patch.crates-io]
halo2_proofs = {git="https://github.com/parazyd/halo2", branch="v032"}
halo2_gadgets = {git="https://github.com/parazyd/halo2", branch="v032"}