davidrusu 4d8a3dfb9c
CL: expand scope of nullifier proof to an "input proof" (#106)
* cl: nullifier proof -> input proof; add death_cm to input proof

* cl: add death_cm to cl::Input commitment

* cl/ledger: prove_input_nullifier -> prove_input
2024-07-16 18:34:26 +04:00

12 lines
179 B
TOML

[package]
name = "nomos_cl_risc0_proofs"
version = "0.1.0"
edition = "2021"
[build-dependencies]
risc0-build = { version = "1.0" }
[package.metadata.risc0]
methods = ["input"]