feat(verify-attestation): RPC attestation and batch signature verification binary

[pbeza]

This is another variant of the binary tool for verifying attestation and the signature of a given batch. Unlike the existing tool, this variant does not require you to provide two separate files – one for the attestation and one for the signature. Instead, it automatically fetches both from the RPC node.

Unfortunately, after discussing with @popzxc, we found that there is no way to reuse the RPC client because our published crates on crates.io are outdated and do not include the recently merged TEE-specific code changes. To be fixed in the future.

To use verify-rpc-attestation, run:

$ nix build -L .#container-verify-era-proof-attestation-sgx
$ export IMAGE_TAG=$(docker load -i result | grep -Po 'Loaded image.*: \K.*')
$ docker run -i --rm $IMAGE_TAG --batch-number 598706 --rpc-url https://z2-dev-api.zksync.dev

[haraldh]

small bike shedding.... rename verify_rpc_attestation to something like verify_era_proof_attestation???

[haraldh]

Also we want to create the docker container with the github actions, so please add it to the CI

[haraldh]

To use verify-rpc-attestation, run:

$ nix build -L .#container-verify-rpc-attestation-sgx
$ export IMAGE_TAG=$(docker load -i result | grep -Po 'Loaded image.*: \K.*')
$ docker run -i --rm $IMAGE_TAG --batch-number 12 --rpc-url http://localhost:3050

[haraldh]

btw:

$ nix shell .#teepot.verify_rpc_attestation
$ verify-rpc-attestation --batch-number 12 --rpc-url http://localhost:3050

can also be:

$ nix shell .#teepot.verify_rpc_attestation --command verify-rpc-attestation --batch-number 12 --rpc-url http://localhost:3050

[haraldh]

you might wanna rebase and squash the commits

[haraldh]

Also we want to create the docker container with the github actions, so please add it to the CI

done