VI. Anatomy of the Void

Technical Architecture

Smart Contracts (Rust, Solana BPF)

• Accept deposit commitments and manage a Merkle tree of valid notes

• Validate zero-knowledge proofs during withdrawal

• Prevent reuse via nullifier tracking

• Token support includes SOL and any SPL-compliant token

Zero-Knowledge Proof System

• Uses zk-SNARKs to prove deposit ownership without revealing which one

• Compatible with Groth16/PLONK/Halo2

• Proof generation handled off-chain in client browser

• On-chain verifier accepts proofs to approve withdrawals

Backend Indexer

• Built with Node.js and GraphQL

• Ingests on-chain data (deposits, nullifiers, events)

• Stores indexed data in PostgreSQL

• Powers analytics dashboards and transaction tracking

Frontend Interface

• Built with React and @solana/web3.js

• Intuitive UI for depositing, withdrawing, and generating zk-proofs

• Connects to Solana wallets (Phantom)

• Responsive for both mobile and desktop