# Momiji Testnet v2.0 In 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 Noir This 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 Started 1. [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 ```bash yarn ``` ## Testing The [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: ```sh yarn bbjs yarn test ```