Pull fixes from testnet (#1231)

MauroToscano · web-flow · commit 4478256b668f · 2024-10-13T10:55:41.000-03:00
diff --git a/Makefile b/Makefile
@@ -6,7 +6,7 @@ OS := $(shell uname -s)
 CONFIG_FILE?=config-files/config.yaml
 AGG_CONFIG_FILE?=config-files/config-aggregator.yaml
 
-OPERATOR_VERSION=v0.8.0
+OPERATOR_VERSION=v0.9.0
 
 ifeq ($(OS),Linux)
 	BUILD_ALL_FFI = $(MAKE) build_all_ffi_linux
diff --git a/batcher/aligned/Cargo.toml b/batcher/aligned/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "aligned"
-version = "0.8.0"
+version = "0.9.0"
 edition = "2021"
 
 [dependencies]
diff --git a/docs/1_introduction/0_about_aligned.md b/docs/1_introduction/0_about_aligned.md
@@ -3,7 +3,7 @@
 Aligned is a decentralized network that verifies Zero-Knowledge/validity proofs and posts the results to Ethereum. It is designed to provide high throughput, cheap proof verification with low latency.
 
 {% hint style="info" %}
-If you are unfamiliar with ZK and why this is useful, see [Why ZK and Aligned?](./5_why_zk.md)
+If you are unfamiliar with ZK and why this is useful, see [Why ZK and Aligned?](./4_why_zk.md)
 {% endhint %}
 
 ## Mission
diff --git a/docs/1_introduction/2_use_cases.md b/docs/1_introduction/2_use_cases.md
diff --git a/docs/1_introduction/2_zkquiz.md b/docs/1_introduction/2_zkquiz.md
diff --git a/docs/1_introduction/3_faq.md b/docs/1_introduction/3_faq.md
@@ -166,7 +166,7 @@ Verifiable computation allows developers to build applications that help Ethereu
 
 ### What are the use cases for Aligned?
     
-We believe that there are many things that will be built using Aligned that we have not even imagined yet. For some possible use cases please see [this page](../1_introduction/3_use_cases.md).
+We believe that there are many things that will be built using Aligned that we have not even imagined yet. For some possible use cases please see [this page](../1_introduction/2_use_cases.md).
 
 ### Why don’t you run Aligned on top of a virtual machine?
     
diff --git a/docs/1_introduction/4_why_zk.md b/docs/1_introduction/4_why_zk.md
diff --git a/docs/3_guides/0_submitting_proofs.md b/docs/3_guides/0_submitting_proofs.md
@@ -1,6 +1,6 @@
 # Submitting Proofs
 
-Make sure you have Aligned installed as specified [here](../1_introduction/1_getting_started.md#Quickstart).
+Make sure you have Aligned installed as specified [here](../1_introduction/1_try_aligned.md#quickstart).
 
 If you run the examples below, make sure you are in Aligned's repository root.
 
@@ -100,7 +100,7 @@ These commands allow the usage of the following flags:
 
 ## 3. Submit your proof to the batcher
 
-This guide will focus on how to submit proofs using the Aligned CLI. To integrate the proof submission process into your application, check the [Aligned SDK guide](../3_guides/2_integrating_aligned_into_your_application.md).
+This guide will focus on how to submit proofs using the Aligned CLI. To integrate the proof submission process into your application, check the [First Aligned Application tutorial](../3_guides/2_build_your_first_aligned_application.md#app) where we explain how to generate and submit a proof using the Aligned SDK.
 
 Proof submission is done via the `submit` command of the Aligned CLI. The arguments for the submit command are:
 
diff --git 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.6.0" }
+aligned-sdk = { git = "https://github.com/yetanotherco/aligned_layer", tag="v0.9.0" }
 ```
 
 To find the latest release tag go to [releases](https://github.com/yetanotherco/aligned_layer/releases) and copy the
@@ -47,7 +47,7 @@ fn main() {
 
 Or you can make a more complex call to submit a proof:
 
-(code extract from [ZKQuiz](../1_introduction/2_zkquiz.md))
+(code extract from [ZKQuiz example](../3_guides/2_build_your_first_aligned_application.md#app))
 
 ```rust
 const BATCHER_URL: &str = "wss://batcher.alignedlayer.com";
@@ -67,7 +67,9 @@ fn main() {
     let wallet = LocalWallet::decrypt_keystore(args.keystore_path, &keystore_password)
         .expect("Failed to decrypt keystore")
         .with_chain_id(17000u64);
-    let max_fee: U256 = estimate_fee(&rpc_url, PriceEstimate::Default).await.unwrap();
+    let max_fee = estimate_fee(&rpc_url, PriceEstimate::Instant)
+        .await
+        .expect("failed to fetch gas price from the blockchain");
 
     // Call to SDK:
     match submit_and_wait_verification(
diff --git a/docs/3_guides/2_build_your_first_aligned_application.md b/docs/3_guides/2_build_your_first_aligned_application.md
@@ -81,7 +81,7 @@ This will:
 
 ## Deep dive
 
-The ZkQuiz source coude is available [here](../../examples/zkquiz).
+The ZkQuiz source code is available [here](../../examples/zkquiz).
 
 ZkQuiz has three main components:
 - App/script
@@ -147,17 +147,11 @@ It is not mandatory to create an Smart Contract. You can make off-chain apps tha
 **Program Identifier Validation**
 
 The contract first checks that the commitment of the program matches with the one that we expect.
-
-In our zkquiz example, we get the following elf_commitment:
+In our zkquiz example, we get the following elf commitment:
 
 ```solidity
 // contracts/src/VerifierContract.sol
-
 bytes32 public elfCommitment = 0x3f99615fdf3b67a01e41b38eee75a32c778ee2fa631bd74e01c89afc2f70f5de;
-
-if (elfCommitment != provingSystemAuxDataCommitment) {
-    revert InvalidElf(provingSystemAuxDataCommitment);
-}
 ```
 
 You can generate the expected commitment without actually generating and submitting a proof using the Aligned CLI tool running:
diff --git a/docs/3_guides/4_generating_proofs.md b/docs/3_guides/4_generating_proofs.md
@@ -9,7 +9,7 @@ This guide assumes that:
 - sp1 prover installed (instructions [here](https://succinctlabs.github.io/sp1/getting-started/install.html))
 - sp1 project to generate the proofs
   (instructions [here](https://succinctlabs.github.io/sp1/generating-proofs/setup.html))
-- aligned installed (instructions [here](../1_introduction/1_getting_started.md#quickstart))
+- aligned installed (instructions [here](../1_introduction/1_try_aligned.md#quickstart))
 
 ### How to generate a proof
 
@@ -106,7 +106,7 @@ This guide assumes that:
 
 - Risc0 toolchain installed (instructions [here](https://dev.risczero.com/api/zkvm/quickstart#1-install-the-risc-zero-toolchain))
 - Risc0 project to generate the proofs (instructions [here](https://dev.risczero.com/api/zkvm/quickstart#2-create-a-new-project))
-- Aligned installed (instructions [here](../1_introduction/1_getting_started.md#quickstart))
+- Aligned installed (instructions [here](../1_introduction/1_try_aligned.md#quickstart))
 
 ### How to generate a proof
 
diff --git a/docs/SUMMARY.md b/docs/SUMMARY.md
@@ -4,9 +4,9 @@
 
 * [About Aligned](1_introduction/0_about_aligned.md)
 * [Try Aligned](1_introduction/1_try_aligned.md)
-* [Use cases](1_introduction/3_use_cases.md)
-* [FAQ](1_introduction/4_faq.md)
-* [Why ZK and Aligned?](1_introduction/5_why_zk.md)
+* [Use cases](1_introduction/2_use_cases.md)
+* [FAQ](1_introduction/3_faq.md)
+* [Why ZK and Aligned?](1_introduction/4_why_zk.md)
 
 ## Architecture
 
diff --git 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.7.3](https://github.com/yetanotherco/aligned_layer/releases/tag/v0.7.3)
+> Aligned Operator [v0.9.0](https://github.com/yetanotherco/aligned_layer/releases/tag/v0.9.0)
 
 > **IMPORTANT:** 
 > You must be [whitelisted](https://docs.google.com/forms/d/e/1FAIpQLSdH9sgfTz4v33lAvwj6BvYJGAeIshQia3FXz36PFfF-WQAWEQ/viewform) to become an Aligned operator.
@@ -26,7 +26,7 @@ Minimum hardware requirements:
 To start with, clone the Aligned repository and move inside it
 
 ```bash
-git clone https://github.com/yetanotherco/aligned_layer.git --branch v0.7.3
+git clone https://github.com/yetanotherco/aligned_layer.git --branch v0.9.0
 cd aligned_layer
 ```
 
