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