Zero-Knowledge Identity & Payments

I want to build a Zero-Knowledge Proof system that lets users prove who they are without revealing any personal data and, in the same flow, execute confidential payments. The core task is designing and delivering the ZK circuits, verifier contracts, and a minimal demo that shows the full round-trip from proof generation to on-chain settlement.

Key points you’ll be tackling
• Primary focus: Zero-Knowledge Proofs
• Implementation goal: Identity verification
• Extra requirement: keep the actual transfer amounts private, so the payment itself is confidential

Target environments are flexible—Cosmos-SDK chains (CosmWasm) and EVM networks (Solidity) both need to be supported because the larger roadmap involves tokenised real-world assets that will live on multiple chains.

What I expect from you
1. A brief architecture write-up outlining the proving system you recommend (zk-SNARKs, zk-STARKs, Halo2, or similar) and why it fits this use case.
2. Circuits and proving scripts that let a user prove inclusion in an off-chain KYC list, then authorise a hidden-amount transfer.
3. Verifier contracts for EVM and Cosmos plus a simple front-end or CLI demo showing the end-to-end flow.
4. Clear build, test, and deployment instructions so my internal team can reproduce everything.

Acceptance criteria
• Proofs must verify on-chain in both environments.
• Invalid proofs are always rejected.
• Transaction amounts remain undisclosed on the public ledger while balances stay accurate.
• All code compiles with standard open-source toolchains and comes fully documented.

If you have previous experience delivering ZK identity schemes or confidential payment rails, especially across both CosmWasm and Solidity, your insight will be invaluable.