Through careful research, we found that a simple transformation can improve the performance of Verify significantly.

Halo2 uses the lookup argument technique, allowing to run lookup on any random sets. Read on for a tech review of the lookup argument in Halo2.

We recently investigated the Zero-Knowledge proof algorithm-PLONK. Read on to know our learning experience.

In this report, Sin7Y will analyze the details of the PLONK protocol and elaborate on how the constraint relationship of the gate is valid.

We reach the conclusion of the series “Understanding the value of a zero-knowledge proof algorithm - Zk-stark".

Read on to know the research on the design concept and solution plan for ZKEVM, which requires a custom gate.

Read on to know what we need to pay attention to when developing circuits with Halo2.

Let's take a look at an Indepth Technical Analysis of STARK, which is a proof system.

In this article, we will focus on the introduction of instructions and circuit constraints of TinyRAM.

We will not perform the field division operation at the circuit level, instead, we will make it by verifying the following logical relationship.

Read on to know about zero-knowledge proof algorithm Marlin which is a R1CS based proof system.

Read on to know the Security Properties of a Cryptographic Hash Function, Random Oracle, and the Sinsemilla Hash Function.

This article introduces you to the core concepts of Zcash.

OlaVM: how far we have come and what's happening next!

ZKEVM is a programmable virtual machine that can generate a ZK proof for all operations performed by the VM to prove the correctness of the operations performed

Lookup Arguments play an important role in circuit size reduction, and improving Zero Knowledge efficiency. It’s widely used in the circuit design of ZKVMs.

This research compares implementation systems similar to Ethereum and analyzes the difficulties and possibilities of achieving parallel execution of transaction