Zero Knowledge Proofs

A Sharper Look at FRI

A review recent developments in the analysis of cryptographic security of one of the biggest pieces of the ZK engine: the FRI protocol implementing interactive …

Our highly subjective view on the history of Zero-Knowledge Proofs

A fast trust minimized intent based bridge solution for Ethereum and L2s powered by multi-proof storage proofs

Bridges are generally insecure and economically inefficient. We propose a bridge design that is simple, modular, and utilizes multi-storage proofs and the nativ…

An overview of the Groth16 proof system

Transforming the Future with Zero-Knowledge Proofs, Fully Homomorphic Encryption and new Distributed Systems algorithms

Diving DEEP FRI in the STARK world: learning your daily moon math with a concrete example

LambdaWorks or how we decided to create our zkSNARKs library and a STARK prover

Everything you wanted to know about periodic constraints in STARKs but nobody told you

Champagne SuperNova, incrementally verifiable computation

ZPrize: eyes on the prize

Incrementally verifiable computation: NOVA

Arithmetization schemes for ZK-SNARKs

How to transform code into arithmetic circuits

Decentralized private computation: ZEXE and VERI-ZEXE

Pinocchio Virtual Machine: Nearly Practical Verifiable Computation

The hunting of the (zk)-SNARK

Multiscalar Multiplication: Strategies and Challenges

Verifiable AES: encryption using zero-knowledge proofs

Encryption is transforming messages into random-looking texts to ensure confidentiality between two parties. What is our objective here? We want to generate pr…

Fully private applications: A ZEXE protocol

Fully-homomorphic encryption, zero-knowledge proofs, and multiparty computation

ZKP can provide integrity of computations, FHE allows data sharing and calculation without compromising it and MPC gives the power to delegate expensive computa…