Blockchain for LearnDapp, explore the practical Dapp together.
From the LDC/ directory, compile the binary:
cargo +nightly build
Generate proof:
./target/debug/ldc --size 1024 --prover lduser zigzag > proof.json
Validate proof:
./target/debug/ldc --proof-path ./proof.json proof