Skip to content

Commit

Permalink
📝 Update reademe
Browse files Browse the repository at this point in the history
  • Loading branch information
sheagrief committed Nov 7, 2023
1 parent e899ee7 commit 5f7ecc8
Showing 1 changed file with 24 additions and 0 deletions.
24 changes: 24 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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

```
Expand Down Expand Up @@ -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

Expand Down

0 comments on commit 5f7ecc8

Please sign in to comment.