# Momiji Testnet v2.0In the second release of the Momiji testnet, we have made the following upgrades- Circuits built using Nargo 11.0 and bb.js 0.7.2- Separate transaction batching and publishing in `TechnicalPreview.sol`- Recursive proof generation for batched transactions, with final verification done on-chain using `plonk_vk.sol`- Expansion of withdrawals up to 16 recipient addresses
## Recursive proofs with NoirThis testnet update features recursive proving in Noir, below is a general outline of the steps taken in generating and verifying recursive proofs on chain- The user creates an inner proof using the compiled transaction circuit in `./circuits/main/`- This proof is then serialized into field elements and passed as an input to the recursive prover in `./circuits/recursion`- The outer proof and the aggregation object generated by the recursive circuit are passed to `plonk_vk.sol` for final verification## Getting Started1.[Install nargo](https://noir-lang.org/getting_started/nargo_installation#option-1-noirup) version 0.11.0 with `noirup -v 0.11.0`2. Install dependencies with```bashyarn```## TestingThe [example test file](./test/index.ts) executes a deposit and withdrawal on-chain in a typescript `node.js` environment.You can run the tests with:```shyarn bbjsyarn test```