Skip to main content

zk plonk

  • Team Name: Plasm Network (Shinsaku Ashizawa, Sota Watanabe)
  • Payment Address: 0xb82EdE43D03fD23dcdb2d066720b3E77F3bedf6d

Project Overview πŸ“„β€‹

We have been working on Zk projects and scalability solutions and now we would like to implement Zk plonk pallet.

The plonk is called universal zkSNARK because of two reasons. The verification times are constant and original reference string can be used to build proofs with any type of circuit. These features bring significant benefits to both users and developers. For example, the verification time is the same so users don't have to wait so long even when they prove complicated proof, and original reference string can reuse so developers don't have to do trusted setup for each circuit. The plonk will be a core technology in terms of scaling and privacy so we should support.

Overview​

Through this grant, we are going to make a plonk pallet in order for the developer to implement plonk on substrate easily. We are working on scalability solutions but currently, the substrate doesn't support zkSNARK pallet so we think it's a issue to fix. As aforementioned, zkSNARK will be a core technology in blockchain area and especially plonk is cutting edge technology so we are excited to implement this as pallet.

Project Details​

We'd like to implement the plonk library as a pallet in order for developers to customize circuits and use the plonk protocol.

The following diagram is the libraries we are going to implement.

  • Polynomial commitment
  • Circuit builder
  • Generate proof and verify keys
  • Verify proof

Ecosystem Fit​

According to Web3 Foundation, there are at least 2 different teams that work on ZK technologies.

Glacier is building a Distaff VM for zk-STARK proof generation and verification that are used to make private smart contracts and private credential verifications. The difference between us is that we are making a zkSNARK pallet and they are making a VM which supports STARKs. In terms of Zeropool, they are making private transactions contract pallet using bellman groth16 protocal and we are making zkSNARK libray using plonk.

We believe zkSNARK with plonk will be core technology of next blockchain area. That allows Substrate to protect the privacy and scale on the huge number of transactions without decreasing the security level.

Team πŸ‘₯​

Team members​

  • Shinsaku Ashizawa
  • Alexsandr Krrupenkin
  • Sota Watanabe

Contact​

  • Incorporated in Singapore
  • Address: 63 Chulia Street Singapore

Team's experience​

We have been making Plasm Network, a scalable multi-virtual machines smart contract platform on Polkadot supporting cutting edge layer2 solutions. Curretly, another team at Stake techologies is working on the Optimistic Virtual Machine, an unification for all layer2 solutions and a subset of Optimistic Rollup. We have already delivered 4 milestones out of 6. In addition to that, we have already delivered several grants such as Plasma, ECDSA, and ink! playground.

We are also participating in Substrate Builders Program and Substrate Delivery Partners and we have done some PoCs with clients.

Team Code Repos​

Team LinkedIn Profiles​

Development Roadmap πŸ”©β€‹

Summary​

We plan to provide a plonk pallet that allows Substrate-based blockchain to execute plonk-based zkSNARK.

Overview​

  • Total Estimated Duration: 3 months
  • Full-Time Equivalent (FTE): 1 FTE
  • Total Costs: 30000 DAI

Milestone 1 Example β€” Implement Substrate Modules​

  • Estimated Duration: 3 months
  • FTE: 1
  • Costs: 30000 DAI
NumberDeliverableSpecification
0a.LicenseApache 2.0 / MIT / Unlicense
0b.DocumentationWe will provide both inline documentation of the code and a basic tutorial that explains how a developer builds a circuit and a user prove their computation through the circuit.
0c.Testing GuideCore functions will be fully covered by unit tests and audit to ensure functionality and robustness. In the guide, we will describe how to run these tests.
0d.Article/TutorialWe will publish an article/tutorial/workshop that explains
1.make plonk compatibleThe dusk-network plonk is compatible with no-std so we are going to modify attributes according to parity-codec and Rng to be compatible withγ€€Substrate environment. This step allows this pallet to work on resource-constrained execution environments like Substrate runtime, attributes should be modified in accordance with SCALE codec and some versions of Rng can’t be compiled to wasm so we need to research and make it stable as necessary.
2.implement zkSNARK plonk palletWe will create a set of plonk-based zkSNARK libraries that allow a developer to build their own circuit and a user to prove their computation validity. Verifying proofs are done by on-chain. Creating the proofs are done by off-chain.

This zkSNARK plonk is based on dusk-network plonk library. This zkSNARK plonk pallet provides us following function.

  • Building circuits
  • Creating proofs
  • Verifying proofs

Future Plans​

  • Zk Rollup implementation
  • private transfer protocol

Additional Information βž•β€‹