STARK Stylus Verifier
10-18x Gas Savings on Arbitrum
Arbitrum APAC Mini Hackathon 2026
STARK Verification, 18x Cheaper
Poseidon hash and Merkle path verification implemented in Rust for Arbitrum Stylus. Experience the gas savings compared to Solidity in real-time.
Stylus (Rust/WASM)
Solidity (EVM)
18x Savings
Connect Your Wallet
Connect your wallet to verify Merkle proofs and compare gas costs between Stylus and Solidity
Gas Comparison
Stylus vs Solidity gas consumption by Merkle tree depth
18x
Depth 8
18x
Depth 16
18x
Depth 32
Stylus (Rust/WASM)
Solidity (EVM)
Showing expected benchmark data • Run verifications to see live results
Benchmark Results
Detailed gas measurements comparing Stylus vs Solidity implementations
ExpectedMini STARK Verifier
| Operation | Stylus | Solidity | Savings |
|---|---|---|---|
| Poseidon Hash (single)(OpenZeppelin 2025) | 11,887 | 220,244 | 18.5x |
| Merkle Verify (depth 8) | 13,000 | 240,000 | 18x |
| Merkle Verify (depth 16) | 26,000 | 480,000 | 18x |
| Merkle Verify (depth 32) | 52,000 | 960,000 | 18x |
| Batch Poseidon (10 hashes) | 118,870 | 2,202,440 | 18.5x |
ProjectedFull STARK Verifier
| Component | Stylus | Solidity | Savings |
|---|---|---|---|
| Poseidon hashes (full verifier) | 160,000 | 3,000,000 | 18x |
| Field arithmetic | 100,000 | 1,000,000 | 10x |
| Merkle paths | 52,000 | 960,000 | 18x |
| Full STARK Verifier (projected) | 312,000 | 5,000,000 | ~16x |
Average Gas Savings
Stylus delivers consistent 10-18x improvements for crypto operations
~18x
Based on OpenZeppelin Stylus Benchmark (2025)
Why Stylus Wins 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. Poseidon's 65 rounds execute natively.
0
Zero Precompile
STARK operations have no EVM precompiles. Stylus provides the missing efficiency.
Tech Stack
Arbitrum StylusRustSolidityNext.js 16thirdweb v5Poseidon BN254Foundryshadcn/ui