Low-priority issues

[Nashtare]

Some upgrades / new features could be nice but not necessary for the POC itself. They mostly deal with performance improvement on the prover side and/or proof size reduction. Most of them are already on the pipeline of the upstream repo:

Proof size reduction:

• [FRI] First FRI layer handling facebook/winterfell#40
• [FRI] Dynamic layer folding facebook/winterfell#39
• [crypto] Verkle tree commitments facebook/winterfell#38
• [crypto] Add hash function with small output facebook/winterfell#35

Prover speed-up:

• [crypto] Rescue hash function facebook/winterfell#36 (a MUST if we want to go for recursion)
• [examples] Create an example of using small fields facebook/winterfell#13

Additional:

• [math] Implement cubic field extensions facebook/winterfell#12 (for 128bit security with a small prime field of ~64bits)
• Implement perfect zero-knowledge facebook/winterfell#9