feat: proof aggregtor docker

Author: MarcosNicolau

Makefile

@@ -982,6 +982,9 @@ docker_build_operator:
 docker_build_batcher:
 	docker compose -f docker-compose.yaml --profile batcher build
 
+docker_build_proof_aggregator:
+	docker compose -f docker-compose.yaml --profile proof-aggregator build
+
 docker_restart_aggregator:
 	docker compose -f docker-compose.yaml --profile aggregator down
 	docker compose -f docker-compose.yaml --profile aggregator up -d --remove-orphans --force-recreate
@@ -1002,6 +1005,7 @@ docker_build:
 	docker compose -f docker-compose.yaml --profile operator build
 	docker compose -f docker-compose.yaml --profile batcher build
 	docker compose -f docker-compose.yaml --profile aggregator build
+	docker compose -f docker-compose.yaml --profile proof-aggregator build
 
 docker_up:
 	docker compose -f docker-compose.yaml --profile base up -d --remove-orphans --force-recreate
@@ -1016,10 +1020,12 @@ docker_up:
 	docker compose -f docker-compose.yaml --profile operator up -d --remove-orphans --force-recreate
 	docker compose -f docker-compose.yaml run --rm user-fund-payment-service-devnet
 	docker compose -f docker-compose.yaml --profile batcher up -d --remove-orphans --force-recreate
+	docker compose -f docker-compose.yaml --profile proof-aggregator up -d --remove-orphans --force-recreate
 	@echo "Up and running"
 
 docker_down:
 	docker compose -f docker-compose.yaml --profile batcher down
+	docker compose -f docker-compose.yaml --profile proof-aggregator down
 	docker compose -f docker-compose.yaml --profile operator down
 	docker compose -f docker-compose.yaml --profile base down
 	@echo "Everything down"
@@ -1171,6 +1177,15 @@ docker_verify_proof_submission_success:
 			echo "All proofs verified successfully!"; \
 		'
 
+docker_proof_aggregator_run_sp1:
+	docker exec $(shell docker ps | grep proof_aggregator | awk '{print $$1}') "AGGREGATOR=sp1 /aligned_layer/proof_aggregator_cpu /aligned_layer/config-files/config-proof-aggregator-docker.yaml && echo '{"last_aggregated_block":0}' > config-files/proof-aggregator.last_aggregated_block.json"
+
+docker_proof_aggregator_run_risc0:
+	docker exec $(shell docker ps | grep proof_aggregator | awk '{print $$1}') "AGGREGATOR=risc0 /aligned_layer/proof_aggregator_cpu /aligned_layer/config-files/config-proof-aggregator-docker.yaml && echo '{"last_aggregated_block":0}' > config-files/proof-aggregator.last_aggregated_block.json"
+
+docker_proof_aggregator_verify:
+	@(docker logs $$(docker ps | grep proof_aggregator | awk '{print $$1}') | grep -q "Error while aggregating and submitting proofs" && exit 1) || exit 0
+
 docker_attach_foundry:
 	docker exec -ti $(shell docker ps | grep anvil | awk '{print $$1}') /bin/bash
 
@@ -1186,6 +1201,9 @@ docker_attach_operator:
 docker_attach_batcher:
 	docker exec -ti $(shell docker ps | grep batcher | awk '{print $$1}') /bin/bash
 
+docker_attach_proof_aggregator:
+	docker exec -ti $(shell docker ps | grep batcher | awk '{print $$1}') /bin/bash
+
 docker_logs_anvil:
 	docker compose -f docker-compose.yaml logs anvil -f
 
@@ -1198,6 +1216,9 @@ docker_logs_operator:
 docker_logs_batcher:
 	docker compose -f docker-compose.yaml logs batcher -f
 
+docker_logs_proof_aggregator:
+	docker compose -f docker-compose.yaml logs proof-aggregator -f
+
 __TELEMETRY__:
 # Collector, Jaeger and Elixir API
 telemetry_full_start: telemetry_compile_bls_verifier open_telemetry_start telemetry_start

config-files/config-proof-aggregator-docker.yaml

@@ -0,0 +1,19 @@
+aligned_service_manager_address: "0x1613beB3B2C4f22Ee086B2b38C1476A3cE7f78E8"
+proof_aggregation_service_address: "0xFD471836031dc5108809D173A067e8486B9047A3"
+eth_rpc_url: "http://anvil:8545"
+eth_ws_url: "ws://anvil:8545"
+max_proofs_in_queue: 1000
+last_aggregated_block_filepath: config-files/proof-aggregator.last_aggregated_block.json
+proofs_per_chunk: 512 # Amount of proofs to process per chunk
+# This number comes from the blob data limit
+# Since each blob has a capacity of (4096 * 32) = 131.072 bytes
+# But to not surpass the field modulus we pad with a 0xo byte so we have (4096 * 31) = 126.976 bytes
+# of usable data
+# Since each proof commitments takes 32 bytes hash
+# We can aggregate as much proofs as 126.976 / 32 = 3968 per blob
+total_proofs_limit: 3968
+
+
+ecdsa:
+  private_key_store_path: "config-files/anvil.proof-aggregator.ecdsa.key.json"
+  private_key_store_password: ""

docker-compose.yaml

@@ -117,6 +117,14 @@ services:
       dockerfile: docker/batcher.Dockerfile
     profiles:
       - batcher
+  
+  proof_aggregator:
+    image: ghcr.io/yetanotherco/aligned_layer/proof_aggregator:latest
+    build:
+      context: .
+      dockerfile: docker/proof-aggregator.Dockerfile
+    profiles:
+      - proof-aggregator
 
   aligned_base:
     image: ghcr.io/yetanotherco/aligned_layer/aligned_base:latest

docker/README.md

@@ -92,6 +92,26 @@ And you can run this to attach to the anvil/foundry container and run `cast` wit
 make docker_attach_foundry
 ```
 
+## Aggregation
+
+To aggregate SP1 proofs:
+
+```shell
+make docker_proof_aggregator_run_sp1
+```
+
+For Risc0:
+
+```shell
+make docker_proof_aggregator_run_risc0
+```
+
+To verify that the proofs have been aggregated correctly:
+
+```shell
+make docker_proof_aggregator_verify
+```
+
 ## Logs
 
 You can watch logs for the components with the following commands:
@@ -111,3 +131,7 @@ make docker_logs_operator
 ```shell
 make docker_logs_batcher
 ```
+
+```shell
+make docker_logs_proof_aggregator
+```

docker/proof-aggregator.Dockerfile

@@ -0,0 +1,14 @@
+FROM ghcr.io/yetanotherco/aligned_layer/aligned_base:latest AS base
+
+RUN apt update -y && apt install -y gcc
+
+WORKDIR /aligned_layer/aggregation_mode/
+RUN cargo build --features prove --release --bin proof_aggregator_cpu
+
+FROM debian:bookworm-slim AS final
+
+COPY --from=base /aligned_layer/aggregation_mode/target/release/ /aligned_layer/proof_aggregator_cpu
+COPY ./config-files/config-proof-aggregator-docker.yaml ./config-files/
+COPY ./config-files/anvil.proof-aggregator.ecdsa.key.json ./config-files/
+
+RUN apt update -y && apt install -y libssl-dev ca-certificates