A playful experiment in community-based contribution systems using zk-SNARKs!
In our feline community model, kitties want to pool their resources for the common good, but they're naturally private creatures who don't want other nosy cats peeking at their financial business. zkCATS lets these independent felines prove they've contributed their fair share to the community milk bowl, catnip garden, and scratching post maintenance fund - all without revealing their secret stashes of treats or mouse trophies!
This project uses Arkworks RS to implement zero-knowledge proofs, allowing our community cats to verify contributions while maintaining privacy.
An educational/academic solo project to explore:
- zk-SNARKs implementation using Arkworks RS
- Smart contract development
- Community governance models
- Utopian ideas about decentralized resource allocation
Not intended for actual taxation or production use - just a sandbox for learning and imagination - the overall design will be adapted as I learn!
- Kitty-friendly interface for creating "milk fund" proposals
- zk-SNARK system using Arkworks RS to verify contributions while preserving privacy
- Voting system for democratic decision making (one cat, one vote)
- Community membership management
- Fun achievement badges for compliant community cats
- Blockchain: zkSync Era Testnet
- ZK Framework: Arkworks RS for zk-SNARK implementation
- Smart Contracts: Solidity
- Backend: Rust with Axum
- Frontend: Vue.js with cat-themed components
- Development: Hardhat for smart contract development
- R1CS constraint system for proving contribution compliance
- Proving key and verification key generation
- Client-side zk-SNARK proof generation
- On-chain verification using Solidity
-
CatCommunity.sol- Manages the feline community -
MilkFundProposal.sol- For creating and voting on contribution models -
CatComplianceVerifier.sol- Verifies zk-SNARK proofs
- Arkworks RS integration for zk-SNARK setup and proof generation
- API endpoints for community management
- Database interactions using Diesel ORM
- zkSync interaction via web3 Rust library
erDiagram
User ||--o{ Community : "is member of"
User ||--o{ TaxationSystem : "proposes"
User ||--o{ Vote : "casts"
User ||--o{ Comment : "creates"
User ||--o{ ComplianceProof : "submits"
Community ||--o{ TaxationSystem : "has"
Community ||--o{ Member : "contains"
TaxationSystem ||--|{ Recipient : "allocates to"
TaxationSystem ||--o{ Vote : "receives"
TaxationSystem ||--o{ Comment : "has"
ComplianceProof }|--|| TaxationSystem : "verifies against"
Organization ||--o{ Recipient : "receives as"
Our circuit will prove the following statement without revealing private information:
"I have contributed at least X amount total, distributed according to the percentages
specified in the active MilkFund, from the Ethereum address I control"
The circuit will include:
- Verification of Ethereum address ownership (via signature)
- Summation of contributions to each recipient
- Verification of minimum contribution threshold
- Verification of proper distribution according to percentages
- Study Arkworks RS library components
- Set up development environment
- Create basic R1CS constraint system
- Generate proving and verification keys
- Implement constraint system for contribution verification
- Create proof generation functions
- Build verification system
- Test with sample data
- Implement Solidity verifier contract
- Connect to community governance system
- Test verification on zkSync testnet
- Create proof generation UI
- Implement compliance badge display
- Complete community management interface