diff --git a/Makefile b/Makefile index 23d4daad34..4d4b435270 100644 --- a/Makefile +++ b/Makefile @@ -18,7 +18,7 @@ endif CONFIG_FILE?=config-files/config.yaml AGG_CONFIG_FILE?=config-files/config-aggregator.yaml -OPERATOR_VERSION=v0.19.0 +OPERATOR_VERSION=v0.19.1 EIGEN_SDK_GO_VERSION_DEVNET=v0.2.0-beta.1 EIGEN_SDK_GO_VERSION_TESTNET=v0.2.0-beta.1 EIGEN_SDK_GO_VERSION_MAINNET=v0.2.0-beta.1 diff --git a/crates/Cargo.lock b/crates/Cargo.lock index 96b1bcd0ee..21dc27b3f1 100644 --- a/crates/Cargo.lock +++ b/crates/Cargo.lock @@ -72,7 +72,7 @@ dependencies = [ [[package]] name = "aligned" -version = "0.19.0" +version = "0.19.1" dependencies = [ "aligned-sdk", "clap", diff --git a/crates/cli/Cargo.toml b/crates/cli/Cargo.toml index e8af0df43a..d32f6ba341 100644 --- a/crates/cli/Cargo.toml +++ b/crates/cli/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "aligned" -version = "0.19.0" +version = "0.19.1" edition = "2021" [dependencies] diff --git a/crates/cli/get_proof_test_files.sh b/crates/cli/get_proof_test_files.sh index 5bcb5ef614..a3d2965983 100755 --- a/crates/cli/get_proof_test_files.sh +++ b/crates/cli/get_proof_test_files.sh @@ -40,10 +40,10 @@ fi echo "Downloading SP1 public inputs file..." -if curl -sSf -L "$SP1_PUBLIC_INPUT_NAME" -o "$ALIGNED_TEST_FILES_DIR/$SP1_PUBLIC_INPUT_NAME"; then +if curl -sSf -L "$SP1_PUBLIC_INPUT_URL" -o "$ALIGNED_TEST_FILES_DIR/$SP1_PUBLIC_INPUT_NAME"; then echo "SP1 public inputs downloaded successful" else - echo "Error: Failed to downloaded $SP1_PUBLIC_INPUT_NAME" + echo "Error: Failed to downloaded $SP1_PUBLIC_INPUT_URL" exit 1 fi diff --git a/docs/1_introduction/1_try_aligned.md b/docs/1_introduction/1_try_aligned.md index 8fed2f5fb4..060d68cf96 100644 --- a/docs/1_introduction/1_try_aligned.md +++ b/docs/1_introduction/1_try_aligned.md @@ -3,13 +3,13 @@ In this tutorial, you will learn how to send your first SP1 proofs to get verified in Aligned in under 3 minutes. {% hint style="warning" %} -This tutorial is for sending proofs on Holesky network. +This tutorial is for sending proofs on Hoodi network. To send proofs on Mainnet, please refer to the [submitting proofs](../3_guides/0_submitting_proofs.md) guide. {% endhint %} ## Quickstart -We will download a previously generated SP1 proof, send it to Aligned for verification, and retrieve the results from Ethereum Holesky testnet. +We will download a previously generated SP1 proof, send it to Aligned for verification, and retrieve the results from Ethereum Hoodi testnet. 1. Download and install Aligned to send proofs in the testnet: @@ -35,8 +35,8 @@ aligned submit \ --vm_program ~/.aligned/test_files/sp1_fibonacci_5_0_0.elf \ --public_input ~/.aligned/test_files/sp1_fibonacci_5_0_0.pub \ --aligned_verification_data_path ~/.aligned/aligned_verification_data \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` 5. You should get a response like this: @@ -56,8 +56,8 @@ Use the link in the response to check the status of your transaction in the Alig ```bash aligned verify-proof-onchain \ --aligned-verification-data ~/.aligned/aligned_verification_data/*.cbor \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com \ ---network holesky +--rpc_url https://ethereum-hoodi-rpc.publicnode.com \ +--network hoodi ``` This is reading the result of the proof verification in Ethereum. diff --git a/docs/3_guides/0_submitting_proofs.md b/docs/3_guides/0_submitting_proofs.md index 424a22ee61..31b38f8d61 100644 --- a/docs/3_guides/0_submitting_proofs.md +++ b/docs/3_guides/0_submitting_proofs.md @@ -71,8 +71,8 @@ To use it, you can use the `aligned` CLI, as shown with the following example: ```bash aligned deposit-to-batcher \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com \ ---network holesky \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com \ +--network hoodi \ --keystore_path \ --amount 0.1ether ``` @@ -89,8 +89,8 @@ After depositing funds, you can verify the Service has correctly received them b ```bash aligned get-user-balance \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com \ ---network holesky \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com \ +--network hoodi \ --user_addr ``` @@ -138,8 +138,8 @@ aligned submit \ --proof_generator_addr [proof_generator_addr] \ --batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \ --keystore_path \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` **Example** @@ -152,8 +152,8 @@ aligned submit \ --vm_program ./scripts/test_files/sp1/sp1_fibonacci_5_0_0.elf \ --public_input ./scripts/test_files/sp1/sp1_fibonacci_5_0_0.pub \ --keystore_path ~/.aligned_keystore/keystore0 \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` ### Risc0 proof @@ -172,8 +172,8 @@ aligned submit \ --proof_generator_addr [proof_generator_addr] \ --batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \ --keystore_path \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` **NOTE**: As said above, Aligned currently supports Risc0 proofs from `risc0-zkvm` version `v3.0.3`. For generating proofs using `cargo risc-zero` please ensure you are using `v3.0.3` or your proof will not be verified. @@ -198,8 +198,8 @@ aligned submit \ --public_input ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_3_0_3.pub \ --aligned_verification_data_path ~/.aligned/aligned_verification_data \ --keystore_path ~/.aligned_keystore/keystore0 \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` ### GnarkPlonkBn254, GnarkPlonkBls12_381 and GnarkGroth16Bn254 @@ -216,8 +216,8 @@ aligned submit \ --proof_generator_addr [proof_generator_addr] \ --batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \ --keystore_path \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` **Examples**: @@ -230,8 +230,8 @@ aligned submit \ --public_input ./scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_pub_input_0_12_0.pub \ --vk ./scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.vk \ --keystore_path ~/.aligned_keystore/keystore0 \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` ```bash @@ -242,8 +242,8 @@ aligned submit \ --public_input ./scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_pub_input_0_12_0.pub \ --vk ./scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.vk \ --keystore_path ~/.aligned_keystore/keystore0 \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` ```bash @@ -254,8 +254,8 @@ aligned submit \ --public_input ./scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.pub \ --vk ./scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.vk \ --keystore_path ~/.aligned_keystore/keystore0 \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` ### CircomGroth16Bn256 @@ -272,8 +272,8 @@ aligned submit \ --proof_generator_addr [proof_generator_addr] \ --batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \ --keystore_path \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` **Example** @@ -285,6 +285,6 @@ aligned submit \ --public_input ./scripts/test_files/circom_groth16_bn256_script/public.json \ --vk ./scripts/test_files/circom_groth16_bn256_script/verification_key.json \ --keystore_path ~/.aligned_keystore/keystore0 \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` diff --git a/docs/3_guides/1_SDK_how_to.md b/docs/3_guides/1_SDK_how_to.md index 476ff4ba23..da3d125f07 100644 --- a/docs/3_guides/1_SDK_how_to.md +++ b/docs/3_guides/1_SDK_how_to.md @@ -12,7 +12,7 @@ To use this SDK in your Rust project, add the following to your `Cargo.toml`: ```toml [dependencies] -aligned-sdk = { git = "https://github.com/yetanotherco/aligned_layer", tag="v0.19.0" } +aligned-sdk = { git = "https://github.com/yetanotherco/aligned_layer", tag="v0.19.1" } ``` To find the latest release tag go to [releases](https://github.com/yetanotherco/aligned_layer/releases) and copy the diff --git a/docs/3_guides/4_generating_proofs.md b/docs/3_guides/4_generating_proofs.md index bf06ae870f..10ffd69769 100644 --- a/docs/3_guides/4_generating_proofs.md +++ b/docs/3_guides/4_generating_proofs.md @@ -41,7 +41,7 @@ aligned submit \ --vm_program \ --batcher_url wss://batcher.alignedlayer.com \ --proof_generator_addr \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` Where `proof_path` is the path to the proof file, `vm_program_path` is the path to the ELF file. `proof_generator_addr` is an optional parameter that works as a helper for some applications where you can be frontrunned. @@ -90,7 +90,7 @@ aligned submit \ --vk \ --batcher_url wss://batcher.alignedlayer.com \ --proof_generator_addr \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` Where proof path is the path to the proof file, `public_input_path` is the path to the public input file, @@ -168,7 +168,7 @@ aligned submit \ --public_input \ --batcher_url wss://batcher.alignedlayer.com \ --proof_generator_addr \ - --rpc_url https://ethereum-holesky-rpc.publicnode.com \ + --rpc_url https://ethereum-hoodi-rpc.publicnode.com \ --payment_service_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003 ``` diff --git a/docs/3_guides/9_aligned_cli.md b/docs/3_guides/9_aligned_cli.md index b3a33fdbae..fcc4774cf3 100644 --- a/docs/3_guides/9_aligned_cli.md +++ b/docs/3_guides/9_aligned_cli.md @@ -102,8 +102,8 @@ aligned submit \ --repetitions \ --keystore_path \ --batcher_url wss://batcher.alignedlayer.com \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com \ +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com \ --max_fee 0.0013ether ``` @@ -141,8 +141,8 @@ Check if a proof was verified by Aligned on Ethereum. ```bash aligned verify-proof-onchain \ --aligned-verification-data ./aligned_verification_data/ \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` --- @@ -200,8 +200,8 @@ Deposits Ethereum into the Aligned Layer's `BatcherPaymentService.sol` contract. ```bash aligned deposit-to-batcher \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com \ +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com \ --amount 0.5ether \ --keystore_path ``` @@ -242,8 +242,8 @@ Retrieves the user's balance in the Aligned Layer's contract. ```bash aligned get-user-balance \ --user_addr \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` --- @@ -275,7 +275,7 @@ Retrieves the user's current nonce from the Batcher. ```bash aligned get-user-nonce \ --user_addr \ ---network holesky +--network hoodi ``` --- @@ -313,8 +313,8 @@ Retrieves the user's current nonce from the Blockhain, in the Batcher Payment Se ```bash aligned get-user-nonce-from-ethereum \ --user_addr \ ---network holesky \ ---rpc_url https://ethereum-holesky-rpc.publicnode.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` --- @@ -323,7 +323,7 @@ aligned get-user-nonce-from-ethereum \ #### Description: -Retrieves the user's amount of queued proofs in the Batcher. +Retrieves the number of proofs currently queued for a given user in the Batcher. #### Command: @@ -332,28 +332,28 @@ Retrieves the user's amount of queued proofs in the Batcher. #### Options: - `--user_addr `: User's Ethereum address. -- `--network `: Network name to interact with. - - Default: `devnet` - - Possible values: `devnet`, `holesky`, `mainnet`, `hoodi` -- `--rpc_url `: User's Ethereum RPC provider connection address. +- Specify which network to interact with, using one of the following options: + - `--network `: Network name to interact with. + - Default: `devnet` + - Possible values: `devnet`, `holesky`, `mainnet`, `hoodi` + - For a custom network, instead of `--network`, provide the following flags: + - `--aligned_service_manager `: Address of the Aligned Service Manager contract. + - `--batcher_payment_service `: Address of the Batcher Payment Service contract. + - `--batcher_url `: WebSocket URL for the Aligned batcher. +- `--rpc_url `: Ethereum RPC provider URL. - Default: `http://localhost:8545` - Mainnet: `https://ethereum-rpc.publicnode.com` - Holesky: `https://ethereum-holesky-rpc.publicnode.com` - Hoodi: `https://ethereum-hoodi-rpc.publicnode.com` - - Also, you can use your own Ethereum RPC providers. -- `--batcher_url `: Websocket URL for the Aligned Layer batcher - - Default: `ws://localhost:8080` - - Mainnet: `wss://mainnet.batcher.alignedlayer.com` - - Holesky: `wss://batcher.alignedlayer.com` - - Hoodi: `wss://hoodi.batcher.alignedlayer.com` + - You can also specify your own RPC provider URL #### Example: ```bash aligned get-user-amount-of-queued-proofs \ --user_addr \ ---network holesky \ ---batcher_url wss://batcher.alignedlayer.com +--network hoodi \ +--rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` @@ -377,7 +377,7 @@ Verifies if your proof has been verified by the `Aggregation Mode`. - `--network `: Network name to interact with. - Default: `devnet` - Possible values: `devnet`, `holesky`, `mainnet`, `hoodi` -- `--rpc_url `: User's Ethereum RPC provider connection address. +- `--rpc_url `: User's Ethereum RPC provider connection address. - Default: `http://localhost:8545` - Mainnet: `https://ethereum-rpc.publicnode.com` - Holesky: `https://ethereum-holesky-rpc.publicnode.com` @@ -385,17 +385,15 @@ Verifies if your proof has been verified by the `Aggregation Mode`. - Also, you can use your own Ethereum RPC providers. - `--beacon_client_url `: User's Ethereum Consensus provider connection address. Public nodes don't support this method. - - #### Example: ```bash aligned verify-agg-proof \ - --network holesky \ + --network hoodi \ --from-block 3638552 \ --proving_system SP1 \ --public_input ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.pub \ --vk ./scripts/test_files/sp1/sp1_fibonacci_5_0_0.vk \ --beacon_url \ - --rpc_url https://ethereum-holesky-rpc.publicnode.com + --rpc_url https://ethereum-hoodi-rpc.publicnode.com ``` diff --git a/docs/operator_guides/0_running_an_operator.md b/docs/operator_guides/0_running_an_operator.md index 7bb98e9c1a..c38f852d99 100644 --- a/docs/operator_guides/0_running_an_operator.md +++ b/docs/operator_guides/0_running_an_operator.md @@ -1,7 +1,7 @@ # Register as an Aligned operator in testnet > **CURRENT VERSION:** -> Aligned Operator [v0.19.0](https://github.com/yetanotherco/aligned_layer/releases/tag/v0.19.0) +> Aligned Operator [v0.19.1](https://github.com/yetanotherco/aligned_layer/releases/tag/v0.19.1) > **IMPORTANT:** > You must be [whitelisted](https://docs.google.com/forms/d/e/1FAIpQLSdH9sgfTz4v33lAvwj6BvYJGAeIshQia3FXz36PFfF-WQAWEQ/viewform) to become an Aligned operator. @@ -30,7 +30,7 @@ The list of supported strategies can be found [here](../3_guides/7_contract_addr To start with, clone the Aligned repository and move inside it ```bash -git clone https://github.com/yetanotherco/aligned_layer.git --branch v0.19.0 +git clone https://github.com/yetanotherco/aligned_layer.git --branch v0.19.1 cd aligned_layer ``` diff --git a/examples/circom/.env.example b/examples/circom/.env.example index 74465a939f..62d4c11848 100644 --- a/examples/circom/.env.example +++ b/examples/circom/.env.example @@ -3,4 +3,4 @@ ETH_RPC_URL= PRIVATE_KEY= # Deploy the contract with make deploy_contract_devnet FIBONACCI_CONTRACT_ADDRESS= -NETWORK= +NETWORK= diff --git a/examples/circom/src/config.rs b/examples/circom/src/config.rs index 1ef2151c6c..b1770cb118 100644 --- a/examples/circom/src/config.rs +++ b/examples/circom/src/config.rs @@ -32,6 +32,7 @@ impl EnvConfig { "holesky-stage" => Network::HoleskyStage, "holesky" => Network::Holesky, "mainnet" => Network::Mainnet, + "hoodi" => Network::Hoodi, _ => panic!("Unsupported NETWORK value"), }; diff --git a/explorer/.env.dev b/explorer/.env.dev index 2db3dc6e6a..b2927f7801 100644 --- a/explorer/.env.dev +++ b/explorer/.env.dev @@ -33,4 +33,4 @@ BATCH_TTL_MINUTES=5 SCHEDULED_BATCH_INTERVAL_MINUTES=10 # Latest aligned release that operators should be running -LATEST_RELEASE=v0.19.0 +LATEST_RELEASE=v0.19.1 diff --git a/explorer/.env.example b/explorer/.env.example index 34c7f7c210..797ce53861 100644 --- a/explorer/.env.example +++ b/explorer/.env.example @@ -31,4 +31,4 @@ BATCH_TTL_MINUTES=5 SCHEDULED_BATCH_INTERVAL_MINUTES=360 # Latest aligned release that operators should be running -LATEST_RELEASE=v0.19.0 +LATEST_RELEASE=v0.19.1