LEVM: use patched libraries for the precompiles

[ilitteri]

Another step for our prover to be able to prove LEVMs execution is to use the patched versions of the libraries used by the precompiles' implementation.

Important

This issue may imply to re-write a precompiles implementation, this will depend on the library used as today (e.g. it will be true for the ones using lambdaworks).

Tip

You can find the ones we use for the Risc0 zkVM prover here and for the Risc-V zkVM here.