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

..

src

CL: expand scope of nullifier proof to an "input proof" (#106)

2024-07-16 18:34:26 +04:00

Cargo.toml

cl/integrate risc0 (#103)

2024-07-15 16:51:21 +04:00