May 23, 2022
Kimchi is our new trustless zkSNARK that is based on the PLONK proof system and the Bulletproofs commitment scheme. The goal of this post is to relieve the symptoms produced after reading the former paper.…May 3, 2022
Multiplying polynomials is an important fundamental for zero-knowledge proof systems. This blog post explores some of the details about how polynomials can be multiplied efficiently.…Apr 15, 2022
Here is a great example of a multi-billion-dollar problem in Web2 that Web3 can solve.
The Web2 World The status quo is that personal sensitive information such as National Identification Numbers (which are SSNs in the US and NINs in the UK) travels all around various institutions, making the institutions a luring target for hackers.…Mar 25, 2022
Today, I want to introduce a tool called cargo-spec. We’ve been using it to specify kimchi, the general-purpose zero-knowledge proof system that is used in production for the Mina blockchain.…