By 02/02/2024, the document will be ready:

• Add halo2 differences and explanation
• Add different types of recursion
• Add Arecibo (SuperNova)