src/
├── types/
│ └── user.ts
├── hooks/
│ └── useCreateUser.ts
├── components/
│ └── CreateUserForm.tsx
ProveKit is a zero-knowledge proof toolkit optimized for mobile devices by the World Foundation.
ProveKit compiles Noir circuits (a domain-specific language for zero-knowledge proofs) into R1CS (Rank-1 Constraint System) constraints and generates/verifies WHIR proofs. The workflow is:
- Takes Noir circuits (written in the Noir language) as input
- Compiles them to R1CS constraint matrices using an optimized compiler