Build / award

STARK Stylus Verifier

Arbitrum APAC Mini Hackathon 1st-place build demonstrating direct STARK verification on Stylus.

Arbitrum StylusRustSolidityNext.js

Problem

STARK verification is often wrapped in SNARKs to fit EVM gas constraints, adding trusted setup assumptions, proving overhead, and system complexity.

What I built

A Rust/WASM Stylus verifier, Solidity baseline, and Next.js benchmark surface showing roughly 2.1x gas savings for direct verification on Arbitrum Stylus.

My role

ZK/product thesis, Stylus architecture, benchmark packaging, and hackathon delivery.

Proof

Arbitrum APAC Mini Hackathon 1st place plus public starkverifier repository and live demo.

Open source