[CHECKLIST] R1CS Circuits and API

[lazovicff]

Things done so far:

• Merkle Tree + Gadget
• Poseidon + Gadget
• Leaf + Gadget
  • Mixer
  • Anchor
  • VAnchor
• Set Gadget
• Arbitrary Data gadget
  • Mixer
  • Anchor
  • VAnchor
• Circuits
  • Mixer
  • Anchor
• API
  • Mixer
  • Anchor

Things left to do:

arkworks-gadgets

• Circuits
  • [TASK] Update VAnchor to use new SetGadget #138
• API
  • [TASK] VAnchor leaf creation and proof creation functions #119
  • [TASK] Update VAnchor API to use multiple set of leaves #139
  • [SPEC] Add encryption methods similar to solidity/javascript impl #160
  • [TASK] Mixer API #171
  • [TASK] Anchor API #172
  • [TASK] VAnchor API #173
• [TASK] Introduce code coverage tool and add to CI. #146

webb.js

• [SPEC] Design and research the UTXO generation processes. #145
• [TASK] Design the UTXO structure for VAnchor transactions in wasm-utils.
• [TASK] Expose VAnchor generate proof on API (proof/vanchor.rs).
• [TASK] Expose VAnchor UTXO generation on API (note/vanchor.rs).
• [TASK] Test parsing & generating VAnchor notes.
• [TASK] Test generating & verifying VAnchor proofs.

protocol-substrate

• [TASK] Introduce code coverage tool and add to CI.
• [TASK] Use updated VAnchor inside the pallets.
• [TASK] Ensure code coverage of tests cover all pallet errors.
• [TASK] Integrate the VAnchor + XAnchor and write a cross-chain success test.

relayer

• [SPEC] VAnchor relay transaction API.
• [TASK] Integrate relaying for VAnchor.
• [TASK] Test the Anchor proof generation in Typescript.
• [TASK] Test the VAnchor proof generation in Typescript.