Reaserch

[HarryWong99]

• [x] Team's ZK Rollup Roadmap.
• [ ] Analysis and selection of ZK libs.
• [ ] Analysis and selection of ZK Protocol.
• [ ] Discover the possibility of innovation in ZK protocol's primitives or engineering's implementation.
• [ ] Keep the pace with the development of zkSync, Starkware, Polygon hermez and Scroll.

[HarryWong99]

Deepen the relationship between the plonk protocol and its specific implementation, and continue to investigate cutting-edge plonk-type protocols#313

- Discuss the general idea of zk's demo implementation, and learn zksync's zk circuit demo#314

[SuccinctPaul]

Hi, I just noticed your project. As for I've been learned zkp for months, seems I can provide some infos:

1. pse/scroll/taiko zkevm impl in halo2. there are two halo2 lib: zcash/halo2(use IPA) and pse/halo2(use the KZG)
2. polygon hermez seems like impl in plonky2
3. starkware impl in its zk-stark

• there are other zkps: Nova, Jellyfish. and some are in paper like SuperNova(will be impl in Nova) and HyperPlonk(seems like impl in jellyfish.

Above all, most zk-vms choose between halo2(small size) and plonky2(prove quick).

Hope this can help.

[Voidkai]

Hi, I just noticed your project. As for I've been learned zkp for months, seems I can provide some infos:

1. pse/scroll/taiko zkevm impl in halo2. there are two halo2 lib: zcash/halo2(use IPA) and pse/halo2(use the KZG)
2. polygon hermez seems like impl in plonky2
3. starkware impl in its zk-stark

• there are other zkps: Nova, Jellyfish. and some are in paper like SuperNova(will be impl in Nova) and HyperPlonk(seems like impl in jellyfish.

Above all, most zk-vms choose between halo2(small size) and plonky2(prove quick).

Hope this can help.

Thank you very much for this information, although we have involved in the collection and comparison of this content in the preliminary related research