# ZK In Manta

TODO (Priority):
1. Introduce zkShuffle SDK to more developer relations (ecosystem), huge market
2. zkHoldem circuit/smart contract audit. @victor
3. Deforst design : introduce to more product who want privacy voting.
4. semaphore V4 research : refine
5. MSM : refine

## 1. [zkHoldem](https://zkholdem.xyz/)
- Fully On-chain & Fair Game Powered By ZKSnark and Homomorphic Encryption

- [audit]()

## 2. [zkShuffle](https://hackmd.io/@vTR2f7tjRgKq_E5Vfkw_vw/rk7SceYEn)

- zkShuffle SDK provide standard interfaces for interacting with shuffle manager contract,
the goal is simplify zk proof generation and similar key management. game developer will be able to building a zk-game, without any experience on cryptography or zero knowledge proof, and thus can focus on the game logic.

- dapps :

## 3. zkVote : anonymous voting

- website/doc : https://zkvote.webflow.io/
- zkVote leverages the <font color=blue>membership</font> and <font color=blue>signal</font> of the [Semaphore protocol ](https://semaphore.appliedzkp.org/) to achieve anonymous voting, with external nullifier to prevent replay attacks.
- Within ZKVote dapp, users can
- Create a group
- Join a group
- Create a poll
- Vote in a poll anonymously
- View poll stat

## 4. Shared Merkle Tree : Proposal to Semaphore V4

Semaphore V4 Research : https://github.com/orgs/semaphore-protocol/projects/10/views/3?pane=issue&itemId=15084394

Proposal : https://github.com/samzkback/merkle-forest

We present EAG (ZK-Friendly Elastic Anonymous Group) based on a novel data structure - Merkle Forest. EAG can scale semaphore group to billions of users without increasing the proving time and the proving key size. EAG's core idea is the seperation of group size and anonymity guarantee. With EAG, semaphore protocl could achieve:

- Elastic (possibly unlimited) group size without increasing proving key size and prover time.
- Elastic anonymity guarantee that allows the client to make the prover time / anonymity guarantee trade-off.

## 5. zk nouns voting
- [Defrost](https://hackmd.io/@lm3fyIz-TQqOiqATSbtJ7w/HkiSmnNA3)

## 6. [ZK Accelerator](https://hackmd.io/@8A7gEKSETxiawxtPOfKW8w/Sy-gmxBF6)

- MSM optimization in snarkjs