Protocol Documentation
Obelysk Protocol Docs
The complete reference for building with Obelysk — privacy DeFi infrastructure and verifiable AI on Starknet. From encrypted transfers to GPU-proven neural networks.
14
Contracts
5
Privacy Pools
96-bit
Security
3.04s
GPU Proving
Get Started
Install the SDK and make your first private transaction in 5 minutes.
Privacy Features
Shielded pools, stealth payments, encrypted transfers, dark pool auctions.
ZKML Verification
Prove neural network inference on-chain with GKR proofs and GPU acceleration.
Privacy DeFi
- ✓ ElGamal encrypted balances on STARK curve
- ✓ 5 token privacy pools (ETH, STRK, USDC, wBTC, SAGE)
- ✓ Commit-reveal dark pool with zero MEV
- ✓ Stealth payments with ephemeral addresses
- ✓ Privacy-preserving AMM swaps via Ekubo
Verifiable AI
- ✓ GKR interactive proofs for neural networks
- ✓ 42-255x trace reduction via sumcheck
- ✓ GPU acceleration — 50-112x FFT speedup
- ✓ Full transformer support (Qwen3-14B proven)
- ✓ 100% on-chain Cairo verification
Getting Started
Privacy Protocol
ZKML Protocol
Implementation
Security
Cryptographic Primitives
ElGamal
Additively homomorphic encryption on STARK curve
Poseidon2-M31
22-round hash, t=16 state, 124-bit security
GKR + Sumcheck
Interactive proof for computation graphs
Schnorr Proofs
Non-interactive ownership via Fiat-Shamir
Protocol Architecture
Track 1 — ElGamal Privacy DeFi (Mainnet)
ConfidentialTransfer → encrypted balances
PrivacyRouter → multi-asset, nullifier tracking
PrivacyPools (5x) → Merkle commitment trees
ShieldedSwap → Ekubo AMM privacy wrapper
DarkPool → commit-reveal batch auctions
StealthRegistry → ephemeral one-time addresses
Track 2 — VM31 UTXO Privacy + ZKML Verification
VM31Pool → Poseidon2-M31 UTXO commitments
VM31Bridge → UTXO ↔ ElGamal bridge
SumcheckVerifier → on-chain GKR + Fiat-Shamir
GpuModelProver → CUDA-accelerated STWO proving