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
Last updated