Sp1 task sender

[MauroToscano]

Sp1 task sender

Aligned Payment Service Testing Guide

This guide walks you through testing the Aligned payment service with different proof systems. You'll need to set up wallets, fund them, and then choose from three different proof verification options.

Prerequisites

Make sure you have a local Anvil node running on http://localhost:8545

Setup Steps

1. Create Wallets File

First, create a file with test wallet private keys:

echo"0x59c6995e998f97a5a0044966f0945389dc9e86dae88c7a8412f4603b6b78690d0x5de4111afa1a4b94908f83103eb1f1706367c2e68ca870fc3fb9a804cdab365a0x7c852118294e51e653712a81e05800f419141751be58f605c371e15141b007a60x47e179ec197488593b187f80a00eb0da91f1b9d0b13f8733639f19c30a34926a0x8b3a350cf5c34c9194ca85829a2df0ec3153be0318b5e2d3348e872092edffba"> wallets.txt

2. Fund Wallets

Fund the wallets in the Aligned payment service:

cargo run --release --manifest-path ./crates/task-sender/Cargo.toml -- generate-and-fund-wallets \
--eth-rpc-url http://localhost:8545 \
--network devnet \
--funding-wallet-private-key 0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80 \
--number-wallets 5 \
--amount-to-deposit 1.0 \
--amount-to-deposit-to-aligned 0.1 \
--private-keys-filepath ./wallets.txt

Testing Options

After completing the setup steps above, choose one of the following proof systems to test:

Option A: RISC Zero Proofs

cargo run --release --manifest-path ./crates/task-sender/Cargo.toml -- send-infinite-proofs \
--private-keys-filepath ./wallets.txt \
--random-address \
--burst-size 5 \
--burst-time-secs 10 \
--network devnet \
risc0 \
--proof-path ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_2_0.proof \
--bin-path ./scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_2_0.bin \
--pub-path ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_2_0.pub

Option B: Gnark Groth16 Proofs

cargo run --release --manifest-path ./crates/task-sender/Cargo.toml -- send-infinite-proofs \
--private-keys-filepath ./wallets.txt \
--random-address \
--burst-size 5 \
--burst-time-secs 10 \
--network devnet \
gnark-groth16 --proofs-dir ./scripts/test_files/gnark_groth16_bn254_script

Option C: SP1 Proofs

cargo run --release --manifest-path ./crates/task-sender/Cargo.toml -- send-infinite-proofs \
--private-keys-filepath wallets.txt \
--burst-size 5 \
--burst-time-secs 10 \
--random-address \
sp1 \
--proof-path ./scripts/test_files/sp1/sp1_fibonacci_5_0_0.proof \
--elf-path ./scripts/test_files/sp1/sp1_fibonacci_5_0_0.elf \
--pub-path ./scripts/test_files/sp1/sp1_fibonacci_5_0_0.pub

What Each Option Does

• RISC Zero: Tests with RISC Zero fibonacci proofs using a burst size of 5 proofs every 10 seconds
• Gnark Groth16: Tests with Gnark Groth16 BN254 proofs using a burst size of 5 proofs every 10 seconds
• SP1: Tests with SP1 fibonacci proofs using a burst size of 5 proof every 10 seconds

Each test will continuously send proofs to random addresses using the funded wallets until manually stopped.