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

In August 2022, Sin7y released the OlaVM white paper, this article will introduce the progress and strategic modifications of OlaVM since then.

This article aims to provide an update on the latest developments and news related to Ola and zero-knowledge cryptography...

Massive's decentralized ZK verification aims to drive Web3 mass adoption, simplifying operations and enhancing capital efficiency.

In July 2021, the Ola project (formerly known as OlaVM) officially took off, incubated by Sin7y Labs. Back then, the blockchain industry was thriving...

Discover how Binius leverages Towers of Binary Fields to enhance computational efficiency in Zero-Knowledge SNARKs.