O(1) Blog

Recent posts

May 3, 2022
Multiplying polynomials with Fast Fourier Transform
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
zkOracles: A Savior against Large-scale Data Hacks
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
The code is your specification, introducing cargo spec
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.…