The Zero Knowledge Blog
  • Home
  • Blog
  • About me
  • Contacts

Public inputs

Empty
  • Print
  • Email

We know by now that we can give a “succinct” proof of having performed a given computation. Typically though, that is not enough. 

Read more: Public inputs

Recap

Empty
  • Print
  • Email

We can now put all the elements together. First of all, a summary of what we’ve seen in our rather long journey.

Read more: Recap

Ultima Thule

Empty
  • Print
  • Email

Some last-minute obfuscation elements

In a zk-Snark, the prover wants to fully hide its vector w. However, the mapping to the elliptic curve of the A, B, C and H polynomials in P still provides some information about it.

Read more: Ultima Thule

Groth16

Empty
  • Print
  • Email

Pinocchio was the first practical implementation of a zero-knowledge proving system; for instance, zCash implemented it to deliver their original shielded transaction protocol.

Read more: Groth16

Links & Resources

Empty
  • Print
  • Email

Please find below a selection of the articles and posts that helped me to write this series of posts.

Read more: Links & Resources

Page 2 of 2

  • Start
  • Prev
  • 1
  • 2
  • Next
  • End

 

 

  • Home
  • zk-SNARKs
  • The Pinocchio protocol
    • Computation
    • From Theory to Practice
    • One line, one operation
    • R1CS
    • QAP
    • Hiding
    • Knowledge of coefficient
    • Homomorphic Hiding
    • Elliptic curves
    • Pairing
    • Public inputs
    • Recap
    • Ultima Thule
  • Groth16
  • Links & Resources
  • About me
Copyright Maurizio Binello, The Zero Knowledge Blog - 2019