0x7565
September 9th, 2022

Details of this article can be found in Sin7Y’s HackMD channel.

About us

Founded in 2021 and powered by top-notch blockchain developers, Sin7Y is a project incubator and blockchain technology research team that explores the most important and cutting-edge technologies, including EVM, Layer2, cross-chain, privacy computing, autonomous payment solutions, etc.

And you can find us here:

0x7565
September 2nd, 2022

Details of this article can be found in Sin7Y’s HackMD channel.

About us

Founded in 2021 and powered by top-notch blockchain developers, Sin7Y is a project incubator and blockchain technology research team that explores the most important and cutting-edge technologies, including EVM, Layer2, cross-chain, privacy computing, autonomous payment solutions, etc.

And you can find us here:

0x7565
August 5th, 2022


Details
of this article can be found in Sin7Y’s HackMD channel.

About us

Founded in 2021 and powered by top-notch blockchain developers, Sin7Y is a project incubator and blockchain technology research team that explores the most important and cutting-edge technologies, including EVM, Layer2, cross-chain, privacy computing, autonomous payment solutions, etc.

And you can find us here:

0x7565
July 22nd, 2022

Details of this review can be found in Sin7Y’s HackMD channel.

About us

Founded in 2021 and powered by top-notch blockchain developers, Sin7Y is a project incubator and blockchain technology research team that explores the most important and cutting-edge technologies, including EVM, Layer2, cross-chain, privacy computing, autonomous payment solutions, etc.

And you can find us here:

0x7565
June 23rd, 2022

When designing the zkvm circuit, because of many custom gates determined, there are a lot of binary selectors are introduced. Check out our analysis!

Details of this review can be found in Sin7Y’s HackMD channel.

About us

Founded in 2021 and powered by top-notch blockchain developers, Sin7Y is a project incubator and blockchain technology research team that explores the most important and cutting-edge technologies, including EVM, Layer2, cross-chain, privacy computing, autonomous payment solutions, etc.

0x7565
June 17th, 2022

TinyRAM is a simple Reduced Instruction Set Computer (RISC) with byte-level addressable random-access memory and input tapes.

Details of this review can be found in Sin7Y’s HackMD channel.

About us

Founded in 2021 and powered by top-notch blockchain developers, Sin7Y is a project incubator and blockchain technology research team that explores the most important and cutting-edge technologies, including EVM, Layer2, cross-chain, privacy computing, autonomous payment solutions, etc.

0x7565
June 10th, 2022

Have a look at this technical deep dive into STARKs.

Details of this review can be found in Sin7Y’s HackMD channel.

About us

Founded in 2021 and powered by top-notch blockchain developers, Sin7Y is a project incubator and blockchain technology research team that explores the most important and cutting-edge technologies, including EVM, Layer2, cross-chain, privacy computing, autonomous payment solutions, etc.

0x7565
June 2nd, 2022

Miden is a stark technology-based ZKVM implementation solution. In its basic layer, the stark proof is generated based on the ZKP library and the proof will be verified.*

Details of this review can be found in Sin7Y’s HackMD channel.*

About us

Founded in 2021 and powered by top-notch blockchain developers, Sin7Y is a project incubator and blockchain technology research team that explores the most important and cutting-edge technologies, including EVM, Layer2, cross-chain, privacy computing, autonomous payment solutions, etc.

0x7565
May 19th, 2022

Compared to Merkle Tree, Verkle Tree has been improved a lot in the Proof size as a critical part of the ETH2.0 upgrade. When it comes to data with the size of one billion, the Merkle Tree proof will take 1kB, while the Verkle Tree proof only needs no more than 150 bytes.

The Verkle Tree concept was proposed in 2018 by John Kuszmaul. The 23rd tech review by Sin7Y will demonstrate the principle of Verkle Tree.

0x7565
May 19th, 2022

Cairo is a practically-efficient Turing-complete STARK-friendly CPU architecture. In this article, we introduce the CPU architecture of Cairo in terms of instruction structure and state transition and provide some examples of instruction.

Details of this review can be found in Sin7Y’s HackMD channel.

About us

0x7565
April 13th, 2022

Sin7Y reviews the optimization of Multi-Scalar Multiplication in terms of two methods: the optimization based on the windowing technique and the optimization based on group endomorphism.

Details of this report can be found in Sin7Y’s HackMD channel.

0x7565
March 3rd, 2022

In the previous article, we discussed using halo2 for circuit development. This article will illustrate what we need to pay attention to when developing circuits. When writing this article, we referred to the halo2 code, version f9b3ff2aef09a5a3cb5489d0e7e747e9523d2e6e. Before we begin, let’s review the most critical content, namely the circuit definition.

The halo2 circuit development consists of two critical functions: configure and synthesize. The former establishes the gate and defines the constraints, whereas the latter assigns witness and public data to the constraints.In this article, we’ll take a closer look at what happens in detail during circuit development.

Details of this article can be found in Sin7Y’s HackMD channel.

0x7565
February 6th, 2022

We are researching the design concept and solution plan for ZKEVM, which requires a custom gate. As a result, we spent some time researching it and hope you will gain some insight after reading this paper:

1. Why use the custom gate?

2. What is a custom gate?

0x7565
February 4th, 2022

Summary:

For the FRI protocol, the complexity of the verification satisfies the logarithmic relationship. The algorithm ensures that the round consistency verifications can be passed if and only if the initial polynomial satisfies . The actual implementation may vary slightly. For more information, please refer to the DEEP-FRI paper. In comparison to FRI, DEEP-FRI increases the system’s reliability while maintaining an optimal level of proof and verification complexity.

The ZK-STARK algorithm can be summarized as follows:

0x7565
January 23rd, 2022
Series 17
Series 17

The previous paper PLONK-Circuit investigates a critical part of the PLONK protocol — using the permutation check to prove the consistency among the circuit gates. In this report, Sin7Y will analyze the details of the protocol and elaborate on how the constraint relationship of the gate is valid.

Details of this article can be found in Sin7Y’s HackMD channel.

About Sin7Y