Zero-knowledge proof of a dlog cargo test RUST_LOG=info cargo run 1000 cargo build --release RUST_LOG=info ./target/release/dlog 1000