Lab Name
Generic zk-SNARKs
Short Description
This is an effort led by the Privacy & Scaling Explorations (Ethereum Foundation) zkID team to standardise generic zk-SNARKs.
Scope of Lab
We hope to standardise the high-level components of a generic zk-SNARK, namely: arithmetisation, polynomial interactive oracle proof, Fiat-Shamir transform, and polynomial commitment scheme. The specification will also include information about the secure composition of these components, in particular with regard to their soundness and zero-knowledge guarantees. We will stop short of enshrining a normative proof system, but rather illustrate the usefulness of our standard by applying it to a few popular existing proof systems.
All standards contributed to this Lab will be subject to the Community Specification License; and all accompanying reference implementations will be licensed under Apache 2.0.
Initial Committers
- Ying Tong Lai - https://github.com/therealyingtong
Sponsor
Pre-existing repository
- https://github.com/therealyingtong/draft-zkproof-polycommit