---
# System prepended metadata

title: Untitled

---

## Prover testing

### Batch Proof

* Generate a batchproof of testvectors/batchProof/input_executor_0.json -> recursive1.zkin.proof_0.json
* Generate a batchproof of testvectors/batchProof/input_executor_1.json -> recursive1.zkin.proof_1.json

### Final Proof (optional)

* Generate finalProof of recursive1.zkin.proof_0.json

### Aggregate Proof

* Aggregate recursive1.zkin.proof_0.json & recursive1.zkin.proof_1.json -> recursive2.zkin.proof_01.json

### Final Proof (optional)

* Generate finalProof of recursive2.zkin.proof_01.json

### Batch Proof

* Generate a batchproof of testvectors/batchProof/input_executor_2.json -> recursive1.zkin.proof_2.json
* Generate a batchproof of testvectors/batchProof/input_executor_3.json -> recursive1.zkin.proof_3.json

### Aggregate Proof

* Aggregate recursive1.zkin.proof_2.json & recursive1.zkin.proof_3.json -> recursive2.zkin.proof_23.json

* Aggregate recursive2.zkin.proof_01.json & recursive2.zkin.proof_23.json -> recursive2.zkin.proof_03.json

### Final Proof

* Generate finalProof of recursive2.zkin.proof_03.json