Update example to the latest

[Sneh1999]

Closes #241
EspressoSystems/nitro-espresso-integration#241
This PR updates this example repo to make it compatible with latest changes

As the image indicates there was a applied transaction Applied transaction 1 for 0xf236…69ca and Proof was submitted successfully

Important places to review

Note: contract-bindings folder is auto generated so no need to review those files

• executor.rs
• main.rs
• ExampleRollup.sol
• state.rs
• transaction.rs

How to run locally

On one terminal:

git clone https://github.com/EspressoSystems/espresso-sequencer
cd espresso-sequencer
docker compose pull
docker compose up -d --wait

On another terminal:

nix develop
just dev-demo

On another terminal:

curl -X POST -H "Content-Type: application/json" http://0.0.0.0:8084/v0/rollup/submit -d "{\"transaction\":{\"amount\":100,\"destination\":\"0x885ee92eebda03540066a25a57cc625bbee15d5a\",\"nonce\":1},\"signature\":{\"r\":\"0x61395b25cf41321bc1242ec301c0aa5a5e5ff47b697f80119a20ce3e5be66f9e\",\"s\":\"0x447cf03a5ddb28b9a189d108a8e91efa523fd3fb37cebab1cad610d82a8edbb0\",\"v\":27}}"

TODO

• Fix tests
• Update documentation
• Fix Nix setup

[zacshowa]

If we can add replacements for every remaining test that was removed then this would be ready to merge!

[zacshowa]

LGTM!

[alysiahuggins]

I would say adding the screenshots to show the user what they expect to see after a successful run, as well as indicating which log should be present before they check for the balance, would be a nice add-on and can help the user understand espresso in a more meaningful way.

[alysiahuggins]

great work Sneh!