Implement SNARK proof generation and verification in end to end tests

[jpraynaud]

Why

We want to run a successful end to end test with SNARK proof generation and verification. We also need to assess how the test can be run at a fast pace, as what we do for the concatenation proof, where the execution of the e2e test is below 2 minutes.

What

Implement the SNARK proof system in the end to end test and make it run as fast as for Concatenation proof system.

How

• Allow the end to end test to run at a slow pace
• Run a successful end to end test without time limit
• Identify bottlenecks due to the SNARK proof system

Later

• Fix bottlenecks due to SNARK proof system