Zero-Knowledge Proof now has a wider range of applications, such as privacy calculation, computational proving, consensus proving, and so on. While looking for more suitable application scenarios, many people gradually find that the preformance of Zero-Knowledge Proof is the bottleneck. Trapdoor Tech has been researching on Zero-Knowledge Proof in depth…

zkHack published a new Puzzle. Even though the Puzzle used an older zkp algorithm — Groth16 , it’s very interesting and very helpful to understand the concepts such as Zero-Knowledge Proof, polynomials, linear correlation, etc. GitHub - geometryresearch/zkhack-groth-puzzle… Groth16 proofs are very popular and are used by many protocols in production. Libraries such as and do a good job…github.com What’s the Puzzle?

To develop circuits on Halo2, we have to design custom gates. Occasionally, some errors occur while developing costume gates, this article summarizes and analyzes some errors and their implementation logic for developing costume gates on Halo2. To make the cause of the errors clear, let’s first introduce a simple circuit…

When watching the zkSummit7 videos recently, the first topic caught my attention: https://www.youtube.com/watch?v=SCIuwh9ya8U Efficient Privacy Delegation of zkSNARK Provers The presentation Pratyush Mishra made was excellent, clearly explaining the reason for the delegation design and implementation logic. …

The last two articles introduces the zkEVM circuit and State circuit of the zkEVM: Zero Knowledge Proof — Deep into zkEVM source code (EVM Circuit) zkEVM is a kind of complicated Zero-Knowledge Proof application, it’s worth reading and learning its source code over…starli.medium.com Zero Knowledge Proof — Deep into zkEVM source code (State Circuit) zkEVM is a kind of complicated Zero-Knowledge Proof application, it’s worth reading and learning its source code over…starli.medium.com

zkEVM is a kind of complicated Zero-Knowledge Proof application, it’s worth reading and learning its source code over and over again. https://github.com/appliedzkp/zkevm-circuits.git The last commit version of the source code used in this article is shown below: commit 1ec38f207f150733a90081d3825b4de9c3a0a724 (HEAD -> main) Author: z2trillion <z2trillion@users.noreply.github.com> …

zkEVM is a kind of complicated Zero-Knowledge Proof application, it’s worth reading and learning its source code over and over again. https://github.com/appliedzkp/zkevm-circuits.git The last commit version of the source code used in this article is shown below: commit 1ec38f207f150733a90081d3825b4de9c3a0a724 (HEAD -> main) Author: z2trillion <z2trillion@users.noreply.github.com> …

To easily understand Zero-Knowledge Proof, there is a very classic example of Alibaba. Alibaba is able to prove to the thieves that he knows the magical word without disclosing it. Recently, when watching Stanford professor Dan Boneh’s lecture videos, I found another vivid example that describes Zero-Knowledge Proof: https://youtu.be/V0JdeRzVndI?t=1972 Professor…

Trapdoor Tech won 1st place in zkHack mini challenge :) https://www.zkhack.dev/mini.html This challenge consists of two puzzles. A challenge time for a week. Different from the challenges of the first zkHack puzzle challenge, the topics of this challenge are based on the STARK algorithm. STARK algorithm, AIR, FRI low-level testing…