Closed vmidyllic closed 2 years ago
Refactor to submodules. Add verifier, witness generation, types, prover.
Refactor to submodules. Add verifier, witness generation, types, prover.