PriceAI Whitepaper
  • PriceAI Whitepaper
  • Introduction
  • PriceAI Protocol
    • Evaluation Protocol
    • Non-interactive proofs
    • Elliptic curves and their pairings
    • Pairings of Elliptic Curves
    • Zero-knowledge part
    • Reduction to a QAP
    • Arithmetic circuits
    • Computations to Polynomials
    • Blind Evaluation Protocol
    • An Extended KCA
    • Blind Evaluation of Polynomials
    • The KC Test
    • Coefficient Test
    • Blind evaluation of a polynomial
    • Blind Evaluation of Polynomials
    • Homomorphic Hiding
    • Computation
    • How zk-SNARKs are constructed
  • Why PriceAI
  • Designed to Grow
  • Token Utility
  • Mission & Vision
  • Reference
Powered by GitBook
On this page
  1. PriceAI Protocol

Non-interactive proofs

Non-interactive proofs in the common reference string model

Non-interactive proofs in the common reference string model The strongest and most intuitive notion of a non-interactive proof is probably the following. In order to prove a certain claim, a prover broadcasts a single message to all parties, with no prior communication of any kind; and anyone reading this message would be convinced of the prover’s claim. This can be shown to be impossible in most cases. A slightly relaxed notion of non-interactive proof is to allow a common reference string (CRS). In the CRS model, before any proofs are constructed, there is a setup phase where a string is constructed according to a certain randomized process and broadcast to all parties. This string is called the CRS and is then used to help construct and verify proofs. The assumption is that the randomness used in the creation of the CRS is not known to any party – as knowledge of this randomness might enable constructing proofs of false claims. We will explain how in the CRS model we can convert the verifiable blind evaluation protocol into a non-interactive proof system.

PreviousEvaluation ProtocolNextElliptic curves and their pairings

Last updated 2 years ago