ZKSYNC-EIGENDA M1

A proof of concept where risc0-steel is used in order to generate a proof for the call of the VerifyBlobV1 function of EigenDA's BlobVerifier contract, which performs the necessary checks to make sure a given blob is present

Prerequisites

To get started, you need to have Rust installed.

Next, you will also need to have the cargo-risczero tool installed.

Next we need to install cuda 12.6

Install cuda. Use the runfile (local) option, use the wget shown to download the script and run it as:

sudo ./<file>.run

Run the example

First run the eigenda devnet:

Install devnet:

Clone avs-devnet repository and install the avs-devnet tool by running

make deps      # installs dependencies
make install   # installs the project

Go to Avs-Devnet repo and follow the steps to run the EigenDA devnet, before running avs-devnet start, add the following line on contracts/script/SetUpEigenDA.s.sol on eigenda:

Line 214: vm.serializeAddress(output,"blobVerifier", address(eigenDABlobVerifier));

After runnning the devnet run

avs-devnet get-ports
avs-devnet get-address eigenda_addresses: 

Save ports for el-1-besu-lighthouse: rpc and disperser: grpc

Save addresses of blobVerifier and eigenDAServiceManager

Run zksync-era (eigenda-m1-temporal branch on lambdaclass fork):

Install zkstack:

cd ./zkstack_cli/zkstackup
./install --local

Reload your terminal, and run on zksync-era root:

zkstackup --local

Install foundry-zksync 0.0.2:

curl -L https://raw.githubusercontent.com/matter-labs/foundry-zksync/main/install-foundry-zksync | bash
foundryup-zksync --commit 27360d4c8d12beddbb730dae07ad33a206b38f4b

Modify etc/env/file_based/overrides/validium.yaml:

da_client:
  eigen:
    disperser_rpc: http://<disperser: grpc>
    settlement_layer_confirmation_depth: 0
    eigenda_eth_rpc: http://<el-1-besu-lighthouse: rpc>
    eigenda_svc_manager_address: <eigenDAServiceManager>
    wait_for_finalization: false
    authenticated: false
    points_source_path: ./resources

Copy the resources folder inside eigenda to zksync-era root

Modify etc/env/file_based/secrets.yaml:

da:
  eigen:
    private_key: <your_private_key>

Run

zkstack containers --observability true

zkstack chain create \
          --chain-name eigenda \
          --chain-id sequential \
          --prover-mode no-proofs \
          --wallet-creation localhost \
          --l1-batch-commit-data-generator-mode validium \
          --base-token-address 0x0000000000000000000000000000000000000001 \
          --base-token-price-nominator 1 \
          --base-token-price-denominator 1 \
          --set-as-default false

zkstack ecosystem init \
          --deploy-paymaster true \
          --deploy-erc20 true \
          --deploy-ecosystem true \
          --l1-rpc-url http://127.0.0.1:8545 \
          --server-db-url=postgres://postgres:notsecurepassword@localhost:5432 \
          --server-db-name=zksync_server_localhost_eigenda \
          --chain eigenda \
          --verbose

Then run

zkstack server --chain eigenda

Run this example (back on this repo):

Compile the contracts

git submodule update --init --recursive
make build_contracts

Deploy the blobVerifierWrapper:

PRIVATE_KEY=<your_private_key> BLOB_VERIFIER_ADDRESS=<your_blob_verifier_address> forge script contracts/script/BlobVerifierWrapperDeployer.s.sol:BlobVerifierWrapperDeployer --rpc-url <your_rpc_url> --broadcast -vvvv

For testing purpouses on devnet you can use:

PRIVATE_KEY=0x3eb15da85647edd9a1159a4a13b9e7c56877c4eb33f614546d4db06a51868b1c BLOB_VERIFIER_ADDRESS=0x00CfaC4fF61D52771eF27d07c5b6f1263C2994A1 forge script contracts/script/BlobVerifierWrapperDeployer.s.sol:BlobVerifierWrapperDeployer --rpc-url http://127.0.0.1:<your_port> --broadcast -vvvv

Update the BLOB_VERIFIER_WRAPPER_CONTRACT address on host/src/verify_blob.rs and methods/guest/src/main.rs for the one just deployed if needed.

The address on CALLER is a known address from zksync, it should be changed to the needed one in the real use case.

Deploy the RiscZeroGroth16Verifier:

ETH_WALLET_PRIVATE_KEY=<your_sk> forge script contracts/script/DeployRiscZeroGroth16Verifier.s.sol:DeployRiscZeroGroth16Verifier --rpc-url <your_rpc> --broadcast -vvvv

Save the address under Contract Address: <address>

Deploy the Risc0ProofVerifierWrapper:

PRIVATE_KEY=<your_sk> RISC0_VERIFIER_ADDRESS=<your_address> forge script contracts/script/Risc0ProofVerifierWrapperDeployer.s.sol:Risc0ProofVerifierWrapperDeployer --rpc-url <your_rpc> --broadcast -vvvv

Keep the contract address at hand for the next command.

To run the example execute the following command:

RPC_URL=<your_rpc> PRIVATE_KEY=<your_private_key> RISC0_VERIFIER_WRAPPER=<your_risc0_verifier_address> API_URL=<your_url> START_BATCH=1 RUST_LOG=info cargo run --release

For a local server, you can get your api url under chains/<your_chain>/configs/general.yaml on the zksync-era repository

api:
  web3_json_rpc:
    http_url: