[In Draft Mode]

[Introduction]

[Nova - Code Structure]

[Nova - Library Dependencies]

[R1CS Types]

[R1CSShape]

[R1CSWitness]

[R1CSInstance]

[RelaxedR1CSWitness]

[RelaxedR1CSInstance]

[NIFS - Non-Interactive Folding Scheme]

[IVC - IVC based Folding Scheme]

[NovaAuugmentedCircuit]

[Core lib.rs fast RecursiveSNARK using folding scheme]

[PublicParams]

[RecursiveSNARK]

[CompressedSNARK]