STARK Stylus Verifier

RealBot — On-Chain Agent Evaluation

Arbitrum Open House NYC: Online Buildathon

On-Chain Agent Evaluation

Verify trading agent performance with STARK proofs on Arbitrum Stylus. Sharpe ratio verification with zero-knowledge guarantees.

Stylus (Rust/WASM)
STARK Proofs
Sharpe Ratio

RealBot Dashboard

Select a trading agent and verify its Sharpe ratio on-chain with STARK proofs.

Bot A
Aggressive ETH Trader
High Risk

Long/Short ETH with high leverage

Sharpe

2.45

Return

+30.0%

Trades

15

Bot B
Conservative Hedger
Low Risk

Delta-neutral hedging positions

Sharpe

1.37

Return

+30.0%

Trades

23

Why Stylus for STARK

64

64-bit Registers

Native 64-bit operations vs EVM's 256-bit overhead. Perfect for field arithmetic.

Native Loops

No gas metering overhead per iteration. Keccak256 native precompile for Merkle + FRI.

0

Zero Precompile

STARK operations have no EVM precompiles. Stylus provides the missing efficiency.

Tech Stack

Arbitrum StylusRustNext.js 16thirdweb v5Keccak256FRI Protocolshadcn/ui