L2: Support multiple proving systems at the same time

[fborello-lambda]

Based on PR #1397.
In order to utilize multiple proving systems, we should wait for all the different proofs and send the transaction with all the proofs at once.
An easy approach, at least for now, could consist of waiting for the proofs and saving them in memory.