Fixed V3a Backend

[sifnoc]

Major Changes in V3 backend.

• Replaced the SRS file from hermez-raw-# to hyperponk-srs-#, which is generated for the HyperPlonk Backend.
• Verifier parameters are now required in the process of verifying the proof instead of the 'verifying_key'.
• The Round interface in the Backend has been changed.
• The Summa Contract has been removed due to the absence of a Solidity verifier for proofs generated by the HyperPlonk backend.
• The GH Action Workflow no longer requires an AWS instance for testing.

[alxkzmn]

LGTM!

[alxkzmn]

Do you mean that it can be re-used if N_CURRENCIES and K didn't change?

[sifnoc]

Yes, exactly!

[alxkzmn]

Is this method used anywhere?

[sifnoc]

Thanks for pointing that out! I almost forgot to update its usage:

summa-solvency/backend/examples/summa_solvency_flow.rs

Lines 120 to 126 in 1537491

	// Users can generate verifier parameters using only the configurations for "N_CURRENCIES" and "N_USERS", along with the SRS.
	let dummy_circuit = SummaHyperplonk::<N_USERS, N_CURRENCIES>::init_empty();
	let (circuit_info, _) = circuit_fn(num_vars as usize, dummy_circuit);
	let param = ProvingBackend::setup_custom("../backend/ptau/hyperplonk-srs-17").unwrap();
	let (_, verifier_params) = ProvingBackend::preprocess(&param, &circuit_info).unwrap();

This is how it can be used.