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
..
cl	CL: expand scope of nullifier proof to an "input proof" (#106)	2024-07-16 18:34:26 +04:00
ledger	CL: expand scope of nullifier proof to an "input proof" (#106)	2024-07-16 18:34:26 +04:00
proof_statements	CL: expand scope of nullifier proof to an "input proof" (#106)	2024-07-16 18:34:26 +04:00
risc0_proofs	CL: expand scope of nullifier proof to an "input proof" (#106)	2024-07-16 18:34:26 +04:00
.gitignore	CL spec (#92)	2024-07-09 17:10:32 +04:00
Cargo.toml	cl/integrate risc0 (#103)	2024-07-15 16:51:21 +04:00