Zhenxiang Wang
Results
1
issues of
Zhenxiang Wang
```rust // produce a proof of satisfiability let proof = SNARK::prove(&inst, &comm, &decomm, vars, &inputs, &gens, &mut prover_transcript); ``` This function takes 6 parameters but 7 parameters were supplied [E0061]...