zkproofs / zkproofs.github.io Goto Github PK

Add list of ZKP applications: Zerocash/Zcash, Cinderella, ZKLedger, etc. (see ZKProof Applications Track document).

Please add comparison table for major ZKP systems, something like:

The comparison dimensions may include:

• Quantitative:

  • Prover time
  • Verifier time
  • Proof size
  • Setup/pre-processing time

• Qualitative:

  • Public Verifiable (v.s. designated verifiable)
  • Trusted setup (v.s. transparent)
  • succinct (v.s. non-succinct, or even fully-succinct)
  • cryptographic assumptions (DLog, OWF, q-SDH, q-KEA etc.)
  • Argument system (v.s. proof system)
  • Interactive (v.s. NI)
  • for NP (v.s. maybe subset of NP, or v.s. potentially NEXP ?)

additional notes for quantitative measures: not only should the asymptotic complexity be specified, the concrete coefficients should also be included for some due to many recent works towards better practicality (e.g. while PHGR13 and Groth16 share the same O(1) constant proof size, Groth16 contains only 3 field elements whereas PHGR13 require 8)

To summarize, this request has the following to-dos:

• reach consensus whether we should have 2 comparison tables separately -- i.e. one for information-theoretical components (PCP, LIP, IOP based), and one for those crypto compilers (e.g. DARK) OR should we aggregate them into one table
• reach consensus on the measurement dimensions/metrics
• a markdown table
• same table content, but in a Latex for academics for easy copy-paste into their evaluation section.

There's no mention of some of the recent work that's been developed since this was last updated.

• PLONK
• Halo
• Halo Infinite

not sure which others exist, I'm not an expert

A New Approach To Protecting Secrets Is Discovered - The New York Times, February 17th, 1987

https://web.archive.org/web/20171102133505/https://www.nytimes.com/1987/02/17/science/a-new-approach-to-protecting-secrets-is-discovered.html

^^^ working link

http://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/The_Knowledge_Complexity_Of_Interactive_Proof_Systems.pdf

this link might also be appreciated. the original paper proposing zkp

thanks!