Update the docs adding the new error type

Author: maximopalopoli

crates/sdk/src/verification_layer/mod.rs

@@ -78,6 +78,7 @@ use std::path::PathBuf;
 /// * `ProofTooLarge` if the proof is too large.
 /// * `InsufficientBalance` if the sender balance is insufficient or unlocked
 /// * `ProofQueueFlushed` if there is an error in the batcher and the proof queue is flushed.
+/// * `ProofReplaced` if the proof has been replaced.
 /// * `GenericError` if the error doesn't match any of the previous ones.
 #[allow(clippy::too_many_arguments)] // TODO: Refactor this function, use NoncedVerificationData
 pub async fn submit_multiple_and_wait_verification(
@@ -245,6 +246,7 @@ async fn fetch_gas_price(
 /// * `ProofTooLarge` if the proof is too large.
 /// * `InsufficientBalance` if the sender balance is insufficient or unlocked.
 /// * `ProofQueueFlushed` if there is an error in the batcher and the proof queue is flushed.
+/// * `ProofReplaced` if the proof has been replaced.
 /// * `GenericError` if the error doesn't match any of the previous ones.
 pub async fn submit_multiple(
     network: Network,
@@ -364,6 +366,7 @@ async fn _submit_multiple(
 /// * `ProofTooLarge` if the proof is too large.
 /// * `InsufficientBalance` if the sender balance is insufficient or unlocked
 /// * `ProofQueueFlushed` if there is an error in the batcher and the proof queue is flushed.
+/// * `ProofReplaced` if the proof has been replaced.
 /// * `GenericError` if the error doesn't match any of the previous ones.
 #[allow(clippy::too_many_arguments)] // TODO: Refactor this function, use NoncedVerificationData
 pub async fn submit_and_wait_verification(
@@ -421,6 +424,7 @@ pub async fn submit_and_wait_verification(
 /// * `ProofTooLarge` if the proof is too large.
 /// * `InsufficientBalance` if the sender balance is insufficient or unlocked
 /// * `ProofQueueFlushed` if there is an error in the batcher and the proof queue is flushed.
+/// * `ProofReplaced` if the proof has been replaced.
 /// * `GenericError` if the error doesn't match any of the previous ones.
 pub async fn submit(
     network: Network,

docs/3_guides/1.2_SDK_api_reference.md

@@ -44,6 +44,7 @@ pub async fn submit(
 - `InsufficientBalance` if the sender balance is not enough or unlocked
 - `ProofQueueFlushed` if there is an error in the batcher and the proof queue is flushed.
 - `NotAContract(address)` if you are trying to send to an address that is not a contract. This generally occurs if you have misconfigured the `environment` parameter.
+- `ProofReplaced` if the proof has been replaced.
 - `GenericError` if the error doesn't match any of the previous ones.
 
 ### `submit_multiple`
@@ -87,6 +88,7 @@ pub async fn submit_multiple(
 - `ProofTooLarge` if the proof is too large.
 - `InsufficientBalance` if the sender balance is not enough or unlocked
 - `ProofQueueFlushed` if there is an error in the batcher and the proof queue is flushed.
+- `ProofReplaced` if the proof has been replaced.
 - `GenericError` if the error doesn't match any of the previous ones.
 
 ### `submit_and_wait_verification`
@@ -137,6 +139,7 @@ pub async fn submit_and_wait_verification(
 - `InsufficientBalance` if the sender balance is not enough or unlocked
 - `ProofQueueFlushed` if there is an error in the batcher and the proof queue is flushed.
 - `NotAContract(address)` if you are trying to send to an address that is not a contract. This generally occurs if you have misconfigured the `environment` parameter.
+- `ProofReplaced` if the proof has been replaced.
 - `GenericError` if the error doesn't match any of the previous ones.
 
 ### `submit_multiple_and_wait_verification`
@@ -186,6 +189,7 @@ pub async fn submit_multiple_and_wait_verification(
 - `InsufficientBalance` if the sender balance is not enough or unlocked
 - `ProofQueueFlushed` if there is an error in the batcher and the proof queue is flushed.
 - `NotAContract(address)` if you are trying to send to an address that is not a contract. This generally occurs if you have misconfigured the `environment` parameter.
+- `ProofReplaced` if the proof has been replaced.
 - `GenericError` if the error doesn't match any of the previous ones.
 
 ### `is_proof_verified`