From a2c8d19095e455f724ef2c5a78e583d3d9c85f20 Mon Sep 17 00:00:00 2001 From: Dumi Loghin Date: Wed, 23 Oct 2024 14:19:34 +0800 Subject: [PATCH] fix bash cmd in readme --- README.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 1ceb35c..fc66e36 100644 --- a/README.md +++ b/README.md @@ -43,7 +43,7 @@ cargo run --release --package zk-por-cli --bin zk-por-cli prove --cfg-path ${cfg - verify global proof -Note: this cmd will rebuild the circuit, instead of using the circuit provided in the proof file. Hence, the latency is longer but is more secure, i.e, 30 minutes in 8GB memory, 10 minutes in 16GB, 3 minutes in 32GB. +Note: this cmd will rebuild the circuit, instead of using the circuit provided in the proof file. Hence, the latency is longer but is more secure, i.e, 30 minutes in 8GB memory, 10 minutes in 16GB, 3 minutes in 32GB. ``` global_proof_path="./test-data/proof/sum_proof_data.json" @@ -56,22 +56,22 @@ cargo run --features zk-por-core/verifier --release --package zk-por-cli --bin z user_proof_path_pattern="./test-data/proof/user_proofs/*.json" # to verify one account with ${accountID} -# user_proof_path_pattern="./test-data/user_proofs/${accountID}.json" +# user_proof_path_pattern="./test-data/proof/user_proofs/${accountID}.json" cargo run --features zk-por-core/verifier --release --package zk-por-cli --bin zk-por-cli verify-user --global-proof-path ${global_proof_path} --user-proof-path-pattern ${user_proof_path_pattern} ``` - verify both the global proof and a user proof -Note: -1. The cmd will NOT rebuild the circuit. Instead, it directly uses and trusts the circuit in the proof file. So the verification is fast, but a user needs to incur a weaker trust assumption. -2. The cmd will auto-detect sum_proof_data.json and *_inclusion_proof.json in the same directory of the binary for the verification. +Note: +1. The cmd will NOT rebuild the circuit. Instead, it directly uses and trusts the circuit in the proof file. So the verification is fast, but a user needs to incur a weaker trust assumption. +2. The cmd will auto-detect sum_proof_data.json and *_inclusion_proof.json in the same directory of the binary for the verification. ``` cargo build --features zk-por-core/verifier --release --package zk-por-cli --bin zk-por-cli mkdir -p tmp/ cp target/release/zk-por-cli tmp/ -cp test-data/proof/$(ls test-data/proof | head -n 1) tmp/user_inclusion_proof.json +cp test-data/proof/user_proofs/$(ls test-data/proof/user_proofs | head -n 1) tmp/user_inclusion_proof.json cp $global_proof_path tmp/sum_proof_data.json ./tmp/zk-por-cli rm -rf tmp