Zero-Knowledge Extensions on Solana: A Theory of ZK Architecture

TL;DR

This paper develops a theoretical framework for zero-knowledge extensions on Solana, defining invariants and abstractions to guide the design of privacy and scalability solutions across on-chain and off-chain modules.

Contribution

It introduces a two-axis model and invariants for ZK architecture on Solana, along with new design abstractions and cross-chain extensions for ZK-based solutions.

Findings

Defines five layer-crossing invariants for ZK correctness

Proposes two design abstractions: PCM and Verifier Router Interface

Suggests concrete avenues for extending ZK solutions across chains

Abstract

This paper reconstructs zero-knowledge extensions on Solana as an architecture theory. Drawing on the existing ecosystem and on the author's prior papers and implementations as reference material, we propose a two-axis model that normalizes zero-knowledge (ZK) use by purpose (scalability vs. privacy) and by placement (on-chain vs. off-chain). On this grid we define five layer-crossing invariants: origin authenticity, replay-safety, finality alignment, parameter binding, and private consumption, which serve as a common vocabulary for reasoning about correctness across modules and chains. The framework covers the Solana Foundation's three pillars (ZK Compression, Confidential Transfer, light clients/bridges) together with surrounding components (Light Protocol/Helius, Succinct SP1, RISC Zero, Wormhole, Tinydancer, Arcium). From the theory we derive two design abstractions - Proof-Carrying Message (PCM) and a Verifier Router Interface - and a cross-chain counterpart, Proof-Carrying Interchain Message (PCIM), indicating concrete avenues for extending the three pillars.