Verifiable AI on Solana
Run AI inference with cryptographic proof. Zero-knowledge machine learning that verifies every computation on-chain.
Whitelisted Models
Inference Input Data
> Awaiting ZK-Inference...
No inference result yet
Select a model and run inference to see results
From Input to Verified Proof
A four-step process that transforms AI inference into cryptographically verifiable on-chain proofs.
Input Data
Submit your query or data to the AI model. Your input is processed locally for maximum privacy.
AI Inference
The model runs inference on your input using our ZKML circuit, generating both output and a cryptographic witness.
Proof Generation
Nova folding scheme compresses the computation trace into a constant-size zkSNARK proof.
On-Chain Verification
The proof is verified on Solana using native BPF syscalls, creating an immutable record of valid inference.
Powered by Cutting-Edge Cryptography
SolProof combines zero-knowledge proofs with machine learning to create verifiable AI inference on the Solana blockchain.
100K+
Verified Inferences
<1s
Proof Generation
99.9%
Uptime SLA
12M+
$PROOF Burned
Zero-Knowledge Proofs
Cryptographic proofs that verify AI inference without revealing input data or model weights.
ZKML Architecture
Specialized circuits for machine learning operations, enabling verifiable neural network inference.
On-Chain Verification
Solana SVM native verification with sub-second finality and minimal gas costs.
Privacy Preserving
Your data never leaves your device. Only the proof is submitted to the blockchain.
Recursive Folding
Nova-based incremental verifiable computation for efficient proof compression.
Decentralized Network
Distributed proof generation and verification across global validator nodes.
Supported Models
Choose from leading AI models, all with verifiable inference through ZKML proofs.
Gemini 2.0 Flash
Ultra-fast multimodal model with native tool use and 1M context window.
Constraints
Proof Time
Accuracy
Gemini 2.0 Pro
Most capable Gemini model with advanced reasoning and multimodal understanding.
Constraints
Proof Time
Accuracy
Gemini 1.5 Pro
Production-ready model with 2M context window and strong reasoning capabilities.
Constraints
Proof Time
Accuracy
Gemini 1.5 Flash
Balanced performance and speed, perfect for everyday ZKML verification tasks.
Constraints
Proof Time
Accuracy
Gemini Nano
Lightweight on-device model optimized for edge computing and mobile inference.
Constraints
Proof Time
Accuracy
Gemini Ultra
Flagship model with state-of-the-art performance across all benchmarks.
Constraints
Proof Time
Accuracy
Frequently Asked Questions
Everything you need to know about ZKML and SolProof.
Ready to Build with
Verifiable AI?
Start integrating ZKML proofs into your applications today. Open source, permissionless, and built for developers.