Hi everyone 👋
I’d like to share an experimental open-source privacy protocol I’ve been working on and invite technical feedback and discussion.
Privacy Execution Layer (PEL) is a non-custodial privacy protocol for Solana that enables unlinkable deposits and withdrawals using ZK-SNARK proofs.
The goal of the project is to explore 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.
🔑 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 — remains secure even without a frontend
⚙️ 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
🧩 Tech Stack
Solana program (Rust)
ZK circuits (Circom)
Anchor framework
Automated scripts for testing and deployment
MIT License
🔍 Who This Is For
Protocol / core blockchain developers
ZK & cryptography researchers
Security engineers
Builders exploring privacy primitives
Feedback is very welcome — especially on:
protocol architecture,
ZK design choices,
threat model assumptions,
potential or unintended use cases.
🔗 Repository
👉 https://github.com/Abstract36/privacy-execution-layer
⚠️ Important: Experimental software. Do not use with real funds.
Looking forward to discussion and feedback 🙌