Dr Karthik Inbasekar is a Principal Researcher at Ingonyama. His primary research interests are in the protocol level of Zero Knowledge proofs, Elliptic curve cryptography and Homomorphic encryption. Karthik comes with a background in Physics, holding a PhD in theoretical Physics with 8 years of post doctoral research experience and has published in journals such as Journal of High Energy Physics, Physical Review D and Physical Review Letters.
In this article, we dive deep into the heart of the Marlin protocol introduced in . The goal of the document is to provide intuition in the various technical steps involved in the protocol with necessary explanation wherever possible. We will assume some familiarity with protocols such as Groth16
Bridges are communication protocols that facilitate the transfer of information such as messages, funds or other data between blockchains. While useful, building bridges is a risky business. Some of the most expensive hacks in blockchain history have targeted bridges alone.
In this article we present a systematization of knowledge (SoK) on the usage of hash functions in Zero Knowledge Proofs (ZKP’s). Since ZKP’s operate on finite fields, traditional time-tested hash functions like SHA256 are unsuitable due to overhead in proving and verification of large number of bitwise operations.