Light client PoC (privacy-scaling-explorations#1644)

### Description

This PR merges the current milestone's light client PoC into main. Take
into consideration:

- The circuit is almost fished, although there are some small things
that can be to be improved
- There are some changes that maybe needs to be done in the go wrapper
(like sending proofs results in the wrapper call, instead of go code to
retrieve himself) that will requiere changes in the light client. This
is the main cause to currently disable tests since it requieres to
access to a RPC node. In a future changes will be mocked.
- There's still pending some tests passing from a local geth node and
mainnet blocks, when finished, the idea is to reuse some of the code for
the MPT tests, to prove that a set of mainnet block state transitions
can be successfully verified.

### Issue Link

-
privacy-scaling-explorations#1619
-
privacy-scaling-explorations#1543

### Type of change

- [ ] Bug fix (non-breaking change which fixes an issue)
- [x] New feature (non-breaking change which adds functionality)
- [ ] Breaking change (fix or feature that would cause existing
functionality to not work as expected)
- [ ] This change requires a documentation update

### Contents

- A circuit that verifies the state updates requiered to go from one
state root to another
- The witness generator for this circuit, that also, calls internally
the `mpt-witness-generator` wrapper.
- Tests to verify mainnet blocks
- Test to verify a local geth node with `eth_accessListByNumber` RPC
enabled
- A draft of a server to create proofs and serve them. Note that this
can be finished when local geth node tests will be passing.
- Upstreamed MPT golang witness generator changes from miha branch

---------

Co-authored-by: ChihChengLiang <[email protected]>
Co-authored-by: adria0 <adria0@nowhere>
Co-authored-by: Miha Stopar <[email protected]>
Co-authored-by: Eduard S <[email protected]>

Author: 5 people

.cargo/config.toml

@@ -1,2 +1,5 @@
 [target.'cfg(target_os="macos")']
 rustflags = ["-C", "link-args=-framework CoreFoundation -framework Security"]
+
+[target.x86_64-unknown-linux-gnu]
+rustflags = ["-C", "link-arg=-Wl,--allow-multiple-definition"]

.github/workflows/main-tests.yml

@@ -38,6 +38,9 @@ jobs:
     runs-on: ["${{github.run_id}}", self-hosted, c5.9xlarge]
 
     steps:
+      - name: Install OpenSSL lib
+        run: sudo apt-get -y install libssl-dev
+
       - uses: actions/checkout@v2
       - uses: actions-rs/toolchain@v1
         with:
@@ -87,6 +90,9 @@ jobs:
     runs-on: ["${{github.run_id}}", self-hosted, c5.9xlarge]
 
     steps:
+      - name: Install OpenSSL lib
+        run: sudo apt-get -y install libssl-dev
+
       - uses: actions/checkout@v2
       - uses: actions-rs/toolchain@v1
         with:

.gitmodules

@@ -7,3 +7,6 @@
 	update = none
 	path = integration-tests/contracts/vendor/openzeppelin-contracts
 	url = https://github.com/OpenZeppelin/openzeppelin-contracts
+[submodule "light-client-poc/go-ethereum"]
+	path = light-client-poc/go-ethereum
+	url = https://github.com/adria0/go-ethereum