Ghost: Zero-Knowledge Proofs as a Service with AI Enhancement - Grant Completed!
Introduction
Ghost is a Zero-Knowledge Proof system for the Internet Computer that enables private attestations while leveraging AI to make complex cryptography understandable to everyone.
Our platform allows users to generate cryptographic proofs that verify their token ownership without revealing sensitive information like balances. These proofs can be shared via links that contain all necessary verification data, making the verification process seamless for recipients.
Completed Milestones
We’re excited to announce that we’ve successfully completed both Milestone 1 and Milestone 2 of our DFINITY grant:
- Milestone 1: Core ZK proof system for private attestations with shareable proof links
- Milestone 2: AI-Enhanced proofs with natural language explanation and improved verification interface
Beyond the Grant: V2 Release
Going beyond our grant commitments, we’ve also launched V2 which introduces Token Range Proofs - allowing users to prove their balance falls within a specific range without revealing the exact amount. This is particularly valuable for eligibility verification while preserving privacy.
Key Features
- Private Token Attestations: Prove ownership of tokens without revealing balances
- Token Range Proofs (V2): Verify balance within ranges without revealing exact amounts
- AI-Enhanced Explanations: Natural language summaries of what each proof verifies
- Shareable Verification Links: Self-contained, one-click verification for recipients
- Anonymous Verification: No wallet connection required to verify proofs
- Complete Privacy Preservation: No sensitive data is ever exposed or stored centrally
Live Project & Resources
- Live App: ghost.zkaas.xyz
- GitHub Repository: github.com/gabrielrondon/ghost_dev
- V1 Canister (Candid UI): hi7bu-myaaa-aaaad-aaloa-cai
- V2 Range Proofs Canister: bdwxd-wiaaa-aaaad-aalza-cai
Technical Details
Ghost consists of:
- ZK Proof Canisters: Two separate canisters for standard proofs and range proofs
- Frontend Application: React-based UI with Tailwind CSS for a seamless user experience
- AI Integration: OpenAI-powered explanations of proof significance in natural language
- Internet Computer Authentication: Supports both Internet Identity and Plug wallet
Why We Built Ghost
In today’s blockchain ecosystem, verification typically means complete exposure of information - you can prove you own tokens, but only by revealing your exact balance. This creates privacy issues and security risks that prevent adoption by privacy-conscious users and enterprises.
Ghost solves this by leveraging Zero-Knowledge Proofs, allowing selective disclosure where users prove statements about their data without revealing the data itself.
Why We Built on the Internet Computer
We chose the Internet Computer for three main reasons:
- On-chain Verification: The canister architecture allows complex cryptographic operations directly on-chain
- Cost Efficiency: Low transaction costs make frequent verification practical
- Security Model: IC’s governance and security align with our privacy-first approach
Roadmap: Building Zero-Knowledge as a Service
What we’ve built is just the beginning. Our vision for Ghost is to become a comprehensive “Zero-Knowledge as a Service” platform:
- Phase 1 & 2 (Completed): Core proof system with AI enhancement
- Phase 3 (Completed Beyond Grant Scope): Token range proofs
- Phase 4 (Upcoming): Developer SDK and APIs for integration
- Phase 5 (Future): Educational resources for ZKP adoption and AI-automated proof generation
The Team
- Gabriel Rondon: Lead Developer & Project Architect
Community Engagement
We’re eager to hear from the ICP community! We want to know:
- What use cases do you see for Zero-Knowledge Proofs in your projects?
- What types of attestations would be most valuable to you?
- Would you prefer an SDK, API, or direct canister integration?
Support
This project was made possible with support from the DFINITY Foundation’s Developer Grant Program. We’d like to thank the Foundation for their support in bringing privacy-preserving technology to the Internet Computer ecosystem.