Privacy Execution Layer

Community Collaborations
1

:locked_with_key: Privacy Execution Layer v3.0 — ZK-SNARK Privacy Protocol on Solana (Experimental)

Hi! :waving_hand:

I’d like to share an experimental open-source protocol I’ve been working on.

Privacy Execution Layer (PEL) is a non-custodial privacy protocol for Solana that enables unlinkable deposits and withdrawals using ZK-SNARK proofs.

The goal is to provide a privacy-focused execution layer where:

  • deposits cannot be linked to withdrawals,

  • each nullifier can be used only once,

  • there are no admin keys or trusted parties,

  • privacy guarantees are enforced at the protocol level, not by UI or off-chain services.

:key: Core Invariants

  • Absolute Unlinkability — deposit ↔ withdrawal cannot be linked

  • Single-Spend Guarantee — strict protection against double-spends

  • Zero Trusted Parties — no admins, no custody, no backdoors

  • Protocol > Implementation — secure even without a frontend

:gear: Current Status

  • Phase 1–2 implemented (deposit/withdraw, ZK proof verification, encrypted payloads, time windows, cross-pool nullifiers)

  • Phase 3 (Relayer Network) in progress

  • Deployed on Solana Devnet

  • Not audited (research / experimental stage)

:puzzle_piece: Tech Stack

  • Solana program (Rust)

  • ZK circuits (Circom)

  • Anchor framework

  • Automated scripts for testing and deployment

  • MIT License

:magnifying_glass_tilted_left: Who This Is For

  • Solana protocol / core developers

  • ZK & cryptography researchers

  • Security engineers

  • Builders exploring privacy primitives

Feedback is very welcome — especially on:

  • protocol architecture,

  • ZK design,

  • threat model,

  • potential use cases.

:link: Repository

:backhand_index_pointing_right: https://github.com/Abstract36/privacy-execution-layer

:warning: Important: Experimental software. Do not use with real funds.

Looking forward to discussion and feedback :raising_hands:

ZK SNARKs