Is "Pinocchio zk-SNARK" a specific type of "zk-SNARK"? And if yes, what is difference?


Yes, Pinocchio is a practical zk-SNARK that allows a prover to perform cryptographically verifiable computations with verification effort potentially less than performing the computation itself. A recent propo- sal showed how to make Pinocchio adaptive (or “hash-and-prove”), i.e., to enable proofs with respect to computation-independent commitments. This enables computations to be chosen after the commitments have been produced, and for data to be shared between different computations in a flexible way. Unfortunately, this proposal is not zero-knowledge. In par- ticular, it cannot be combined with Trinocchio, a system in which Pinoc- chio is outsourced to three workers that do not learn the inputs thanks to multi-party computation (MPC).

|improve this answer|||||

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.