infra: add risc0 setup

Author: JuArce

infra/aggregation_mode/aggregation_mode.service

@@ -6,8 +6,7 @@ After=network.target
 Type=oneshot
 WorkingDirectory=/home/user
 ExecStartPre=sleep 60
-ExecStart=/home/user/.cargo/bin/proof_aggregator /home/user/config/config-proof-aggregator.yaml
-Environment="SP1_PROVER=cuda"
+ExecStart=/home/user/run.sh
 
 [Install]
 WantedBy=multi-user.target

infra/aggregation_mode/aggregation_mode.sh

@@ -82,6 +82,11 @@ curl -L https://sp1.succinct.xyz | bash
 source $HOME/.bashrc
 sp1up
 
+# Install Risc0
+curl -L https://risczero.com/install | bash
+source $HOME/.bashrc
+rzup install
+
 # Install cast
 curl -L https://foundry.paradigm.xyz | bash
 source $HOME/.bashrc
@@ -95,14 +100,20 @@ mkdir -p ~/.keystores
 # Create keystore
 cast wallet import proof_aggregation.keystore -k $HOME/.keystores -i
 
-# Create config file interactively
-./infra/aggregation_mode/config_file.sh ./infra/aggregation_mode/config-proof-aggregator.template.yaml
-touch $HOME/config/proof-aggregator.last_aggregated_block.json
-read -p "Enter a number (last_aggregated_block): " num && echo "{\"last_aggregated_block\":$num}" > $HOME/config/proof-aggregator.last_aggregated_block.json
+# Create config file for SP1
+./infra/aggregation_mode/config_file.sh ./infra/aggregation_mode/config-proof-aggregator-sp1.template.yaml $HOME/config/config-proof-aggregator-sp1.yaml
+read -p "Enter a block number for SP1 (last_aggregated_block): " num && echo "{\"last_aggregated_block\":$num}" > $HOME/config/proof-aggregator-sp1.last_aggregated_block.json
+
+# Create config file for Risc0
+./infra/aggregation_mode/config_file.sh ./infra/aggregation_mode/config-proof-aggregator-risc0.template.yaml $HOME/config/config-proof-aggregator-risc0.yaml
+read -p "Enter a block number for Risc0 (last_aggregated_block): " num && echo "{\"last_aggregated_block\":$num}" > $HOME/config/proof-aggregator-risc0.last_aggregated_block.json
 
 # Build the proof_aggregator
 make install_aggregation_mode
 
+# Copy run script
+cp ./infra/aggregation_mode/run.sh $HOME/run.sh
+
 # Setup systemd service
 cp ./infra/aggregation_mode/aggregation_mode.service $HOME/.config/systemd/user/aggregation_mode.service
 cp ./infra/aggregation_mode/aggregation_mode.timer $HOME/.config/systemd/user/aggregation_mode.timer

infra/aggregation_mode/config-proof-aggregator-risc0.template.yaml

@@ -0,0 +1,10 @@
+aligned_service_manager_address: <aligned_service_manager_address>
+proof_aggregation_service_address: <proof_aggregation_service_address>
+eth_rpc_url: <eth_rpc_url>
+eth_ws_url: <eth_ws_url>
+max_proofs_in_queue: 1000
+last_aggregated_block_filepath: /home/user/config/proof-aggregator-risc0.last_aggregated_block.json
+
+ecdsa:
+    private_key_store_path: <private_key_store_path>
+    private_key_store_password: <private_key_store_password>

…de/config-proof-aggregator.template.yaml …onfig-proof-aggregator-sp1.template.yamlinfra/aggregation_mode/config-proof-aggregator.template.yaml renamed to infra/aggregation_mode/config-proof-aggregator-sp1.template.yaml infra/aggregation_mode/config-proof-aggregator.template.yaml renamed to infra/aggregation_mode/config-proof-aggregator-sp1.template.yaml

@@ -3,7 +3,7 @@ proof_aggregation_service_address: <proof_aggregation_service_address>
 eth_rpc_url: <eth_rpc_url>
 eth_ws_url: <eth_ws_url>
 max_proofs_in_queue: 1000
-last_aggregated_block_filepath: ~/config/proof-aggregator.last_aggregated_block.json
+last_aggregated_block_filepath: /home/user/config/proof-aggregator-sp1.last_aggregated_block.json
 
 ecdsa:
     private_key_store_path: <private_key_store_path>

infra/aggregation_mode/config_file.sh

@@ -1,5 +1,17 @@
 #!/bin/bash
 
+# This script creates a configuration file for the proof aggregator
+
+# ENV VARIABLES
+#
+# TEMPLATE_FILE: Path to the template file
+#   - SP1: ./infra/aggregation_mode/config-proof-aggregator-sp1.template.yaml
+#   - Risc0: ./infra/aggregation_mode/config-proof-aggregator-risc0.template.yaml
+#
+# OUTPUT_FILE: Path to the output file
+#   - SP1: $HOME/config/config-proof-aggregator-sp1.yaml
+#   - Risc0: $HOME/config/config-proof-aggregator-risc0.yaml
+
 # Check if template file path is provided as argument
 if [ $# -ne 1 ]; then
     echo "Usage: $0 <template_file_path>"
@@ -39,9 +51,9 @@ prompt_and_replace "<private_key_store_password>" "ECDSA Private Key Store Passw
 mkdir -p /home/user/config
 
 # Copy the completed file to destination
-cp "$TEMP_FILE" $HOME/config/config-proof-aggregator.yaml
+cp "$TEMP_FILE" "$OUTPUT_FILE"
 
 # Clean up temporary file
 rm "$TEMP_FILE"
 
-echo "Configuration file has been created and copied to $HOME/config/config-proof-aggregator.yaml"
+echo "Configuration file has been created and copied to $OUTPUT_FILE"