Smart registration in Blockchain using zk-SNARKs

Smart registration in blockchain using zk-SNARKsEnsuring privacy in public blockchains is a challenge and a necessity for the success of distributed applications also known as Web3 applications. The cryptographic protocols that allow the implementation of privacy are the Zero Knowledge Proofs (ZKPs) and this is the scope of this work. In particular, this Thesis analyzes in detail the Pinocchio/- Groth16 protocol, which is a type of zero knowledge Succinct Argument of Knowledge (zk-SNARK). Then, we use an implementation of this protocol that uses a new programming language called circom which, together with JavaScript libraries, allows the user to validate circuit-based computations while keeping private some of the inputs. Different circuits are described and tested to prove that the privacy requirements of a distributed application can be met using the Pinocchio/Groth16 protocol