# SP1 Proofs with Aligned

<figure><img src="https://1882782965-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FJKcLF887TYMWzFb2yWrk%2Fuploads%2FOyHAxBgOF7mLaETb4dXt%2Faligned-transparent.png?alt=media&#x26;token=a2979524-acd4-41d1-8452-f743dc021286" alt="" width="188"><figcaption></figcaption></figure>

### Update :&#x20;

```
sudo apt update -y && sudo apt upgrade -y

```

### Download and install Aligned to send proofs in the testnet :&#x20;

```
curl -L https://raw.githubusercontent.com/yetanotherco/aligned_layer/main/batcher/aligned/install_aligned.sh | bash
```

```
source /root/.bashrc
```

### Download an example SP1 proof file with it's ELF file using :

```
curl -L https://raw.githubusercontent.com/yetanotherco/aligned_layer/main/batcher/aligned/get_proof_test_files.sh | bash
```

### Send the proof :

```
rm -rf ~/aligned_verification_data/ &&
aligned submit \
--proving_system SP1 \
--proof ~/.aligned/test_files/sp1_fibonacci.proof \
--vm_program ~/.aligned/test_files/sp1_fibonacci-elf \
--aligned_verification_data_path ~/aligned_verification_data \
--conn wss://batcher.alignedlayer.com
```

### Verify the Proof On-Chain <a href="#verify-the-proof-on-chain" id="verify-the-proof-on-chain"></a>

```
aligned verify-proof-onchain \
--aligned-verification-data ~/aligned_verification_data/*.json \
--rpc https://ethereum-holesky-rpc.publicnode.com \
--chain holesky
```

### Result :&#x20;

```
 Your proof was verified in Aligned and included in the batch!
```