From 5f7ecc8718e1effeb5e1bf374023994f271d4c53 Mon Sep 17 00:00:00 2001 From: sheagrief <3a.mad1earth4@gmail.com> Date: Tue, 7 Nov 2023 14:25:02 +0900 Subject: [PATCH] :memo: Update reademe --- README.md | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/README.md b/README.md index fde041f5..cf1696dd 100644 --- a/README.md +++ b/README.md @@ -26,6 +26,13 @@ and build: cargo build ``` +setup input file +``` + +cp ./inputs/inputs-template.json ./inputs/inputs.json +``` + +### Preprocessing phase run(by groth16): ``` cargo run --bin main groth16 ./inputs/inputs.json @@ -35,6 +42,20 @@ or run(by marlin): cargo run --bin main marlin ./inputs/inputs.json ``` +### Online phase +setup output folder +``` +mkdir ./outputs +mkdir ./outputs/0 +mkdir ./outputs/1 +mkdir ./outputs/2 +``` + +run online phase +``` +./run_online.zsh +``` + ## Tests ``` @@ -133,6 +154,9 @@ impl MySecretInputCircuit { See [this](https://github.com/arkworks-rs/r1cs-tutorial/) to learn more about how to specify constraints. +### how to specify mpc calculation +online mpc calculations are specified in circuits/circuit.rs. Defaultly, MySimpleCircuit is used. Constraints is specified in same way as input_circuit.rs. + ## Technical Details ### Generating secret sharing of inputs and ZKP verification