Bellman: zk-SNARKs in Rust
Bellman is a Rust-language library for building zk-SNARKs — small, cheap-to-verify zero-knowledge proofs of arbitrary computations. The goal of bellman is to make it easier for the general public to
April 4, 2017
Explaining SNARKs Part III: The Knowledge of Coefficient Test and Assumption
<< Part II In Part II, we saw how Alice can blindly evaluate the hiding :math:`E(P(s))` of her polynomial :math:`P` of degree :math:`d`, at a point :math:`s` belonging to Bob.
March 28, 2017
Explaining SNARKs Part II: Blind Evaluation of Polynomials
<< Part I In this post, we recall the notion of a polynomial, and explain the notion of “blind evaluation” of a polynomial, and how it is implemented using Homomorphic
March 13, 2017
BLS12-381: New zk-SNARK Elliptic Curve Construction
Our team is continually working to improve the security, performance and usability of our privacy-preserving shielded transactions. As we mentioned in our near future priorities blog post, we are working
March 11, 2017
Explaining SNARKs Part I: Homomorphic Hidings
Constructions of zk-SNARKs involve a careful combination of several ingredients; fully understanding how these ingredients all work together can take a while. If I had to choose one ingredient whose
February 28, 2017
Lessons From The History Of Attacks On Secure Hash Functions
This document is a work-in-progress. Please contact the author if you see errors or omissions. Summary Most of the secure hash functions ever designed have turned out to be vulnerable
February 24, 2017
How Transactions Between Shielded Addresses Work
In ‘Anatomy of A Zcash Transaction’ we gave a general overview of Zcash Transactions. The purpose of this post is to provide a simplified explanation of how privacy-preserving transactions work
November 29, 2016
Zcash Parameters And How They Will Be Generated
At its core, Zcash’s privacy technology relies on a novel cryptographic tool called a zkSNARK – a small zero-knowledge proof that is cheap to verify. Zcash will be the first
September 25, 2016
Pairing cryptography in Rust
Pairing cryptography is an exciting area of research, and an essential component of Zcash’s zkSNARKs — proofs that transactions are valid without requiring users to reveal private information. Earlier this
July 6, 2016
Fixing Vulnerabilities in the Zcash Protocol
Intro by Zooko I’ve worked in cryptography, information security, and digital money for half of my life (20 years, but who’s counting?), and I’ve never worked on a cryptosystem as
April 26, 2016
