This is proof of concept of verifiable computing system using Cartesi virtual machine and Eigenlayer restaking platform.
Run git submodule update --init --recursive
To run tests on devnet (local deployment of Eigenlayer and Lambada Coprocessor AVS) in first terminal run docker compose up. Then in second terminal run make tests-integration.
Use docker compose -f docker-compose-holesky.yaml up and make tests-integration-holesky to run tests on Holesky fork.
Use docker compose -f docker-compose-mainnet.yaml up and make tests-integration-mainnet to run tests on Mainnet fork.
Wait for tests to complete without any errors and check docker compose logs for unexpected errors.
Run go run ./cli generate-docker-compose --operators $NUMBER_OF_OPERATORS to set number of operators, used by testing environment. Up to 10 operators are supported currently.
tests/nodes/operators contains mounted docker volumes. Sometimes it causes permission denied errors while running docker ocmpose and make commands. To fix this issue run chmod -R 777 tests/nodes/operators.
Devnet testing environment is based on local Anvil state, used by Anvil docker compose service. That state inlcudes:
- Deployment of core Eigenlayer contracts
- Deployment of AVS contracts
In case source code of AVS contracts is changed, AVS must be re-deployed to local Anvil state by running make deploy-avs.
In case new verion of eigenlayer-middleware is used, appropriate verison of Eigenlayer contracts must be re-deployed by running make deploy-eigenlayer and then make deploy-avs (or by executing single make deploy-all command).