James Zaki

Write a tutorial to educate readers about writing efficient contracts. Noir's [Thinking in Circuits](https://noir-lang.org/docs/explainers/explainer-writing-noir) shares intuitions and advice around writing efficient Noir. Fill this knowledge gap for Aztec. 1. Differences...

After [this PR](https://github.com/zkemail/zk-regex/pull/75)

Add string search example using lib

3

https://github.com/noir-lang/noir_string_search

(show intermingled use amongst constants and possibly generics)

Refer to noir/examples in docs

1

Probably a single snippet that links to [here](https://github.com/noir-lang/noir/tree/master/examples) that can be referred to after: - simple examples (`prove_and_verify`), - [codegen](https://noir-lang.org/docs/reference/noir_codegen) (codegen_verifier), and - [recursion](https://noir-lang.org/docs/how_to/how-to-recursion) (`recursion`)

Verify two different proofs. WIP

2

# Description ## Problem\* Double recursion is useful for thinks like proving hashes up a tree. ## Summary\* Example of double verification in one circuit, but cannot generate proof. ##...