ZK Proof Verification

Aster Chain uses application-level privacy where order data (prices, quantities, addresses) can be encrypted at the orderbook level. STARK proofs (Scalable Transparent Arguments of Knowledge) allow anyone to verify this hidden data satisfies certain constraints — without revealing the actual values.

Hidden Proof (Viewer): Verify a specific transaction's encrypted data using a viewer pass shared by the trader. The proof confirms the data is valid without decrypting it publicly.

User Proof (Trader): Verify a trader's complete history by entering their address and viewer pass. This generates a comprehensive ZK proof covering all their verified trades.

Proofs are generated server-side using Pico STARK (RISC-V zkVM with Plonky3 FRI, Poseidon2 hashing, KoalaBear field) and can optionally be verified client-side via the WASM verifier.