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
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`
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”
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
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
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
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
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
Pairing cryptography in Rust
Pairing cryptography is an exciting area of research, and an essential component of Zcash’s zkSNARKs — proofs that transactions are
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
