Zokrates

Prerequisites Install docker Step by step guide Create a folder named code to put the code Create the square.code file with this content: def main(private field a, field b) -> (field): field result = if a * a == b then 1 else 0 fi return result 3. Start docker 4. Open the terminal run…

It is sometimes necessary to be able to prove what will be the new Merkle Tree root digest after changing some leaf at a specific position in your tree. After some thinking, I come up with the following setup. Let’s say we have a typical Merkle Tree, but each leaf…

In the simplest way I can think of, this article will explain the need for, and the concept behind zk-SNARKS. 1. What problems can zk-SNARKS help solve? zk-SNARKS help us prove that we are telling the truth about something without having to reveal that specific thing. Here is a scenario: Imagine that I am the best buddy…

With the rise of privacy cryptocurrencies like Zcash, Monero, etc., I started to learn about how the privacy element can be applied in digital payment and, more importantly, the underlying technologies around these. I sincerely believe that these technologies can be applied to a greater extent beyond payment scenarios. zk-SNARKs…

ZkSNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) or sometimes called “black magic” by some developers are generally considered hard to get into. What if we told you that there is a tool that can make this flow as easy as writing smart contracts? Brace yourself, here comes ZoKrates as a…

ZoKrates is a toolbox for zkSNARKs on Ethereum. It includes an easy-to-use domain specific language for developers to leverage the power of zero-knowledge proofs in their decentralized applications. With the latest release, we’re excited to announce that the BabyJubJub elliptic curve was added to the ZoKrates standard library, as well…

With zkSnarks, an untrusted party can prove possession of certain information, e.g. a secret key, without revealing that information. Succinct Zero-Knowledge proofs (zkSnarks) are proving to be one of the most promising frameworks for enhancing privacy and scalability in the blockchain space. Projects like Zcash are using this technology to…