README.md

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 version 0.11.0 with noirup -v 0.11.0

2. Install dependencies with

yarn

Testing

The example test file executes a deposit and withdrawal on-chain in a typescript node.js environment. You can run the tests with:

yarn bbjs
yarn test