docs: add functions signature to SDK (#589)

Co-authored-by: Gian <58370608+glpecile@users.noreply.github.com>
Co-authored-by: Mariano A. Nicolini <mariano.nicolini.91@gmail.com>

Author: 3 people

docs/guides/1_SDK.md

@@ -5,10 +5,6 @@ Some of its functionalities include submitting and verify proofs through the Ali
 
 You can check the list of supported verifiers [here](../architecture/0_supported_verifiers.md).
 
-## Table of Contents
-- [Installation](#installation)
-- [API Reference](#api-reference)
-
 ## Installation
 
 To use this SDK in your Rust project, add the following to your `Cargo.toml`:
@@ -24,6 +20,14 @@ aligned-sdk = { git = "https://github.com/yetanotherco/aligned_layer" }
 
 Submits a proof to the batcher to be verified and returns an aligned verification data struct.
 
+```rust
+pub async fn submit(
+    batcher_addr: &str,
+    verification_data: &VerificationData,
+    wallet: Wallet<SigningKey>,
+) -> Result<Option<AlignedVerificationData>, errors::SubmitError>
+```
+
 #### Arguments
 
 - `batcher_addr` - The address of the batcher to which the proof will be submitted.
@@ -44,6 +48,14 @@ Submits a proof to the batcher to be verified and returns an aligned verificatio
 
 Submits mulitple proofs to the batcher to be verified and returns an aligned verification data array.
 
+```rust
+pub async fn submit_multiple(
+    batcher_addr: &str,
+    verification_data: &[VerificationData],
+    wallet: Wallet<SigningKey>,
+) -> Result<Option<Vec<AlignedVerificationData>>, errors::SubmitError>
+```
+
 #### Arguments
 
 - `batcher_addr` - The address of the batcher to which the proof will be submitted.
@@ -64,6 +76,14 @@ Submits mulitple proofs to the batcher to be verified and returns an aligned ver
 
 Checks if the proof has been verified with Aligned and is included in the batch on-chain.
 
+```rust
+pub async fn verify_proof_onchain(
+    aligned_verification_data: AlignedVerificationData,
+    chain: Chain,
+    eth_rpc_url: &str,
+) -> Result<bool, errors::VerificationError>
+```
+
 #### Arguments
 
 - `aligned_verification_data` - The aligned verification data obtained when submitting the proofs.
@@ -84,6 +104,12 @@ Checks if the proof has been verified with Aligned and is included in the batch
 
 Generates a keccak256 hash commitment of the verification key.
 
+```rust
+pub fn get_verification_key_commitment(
+    content: &[u8]
+) -> [u8; 32]
+```
+
 #### Arguments
 
 - `content` - A byte slice of the verification key.