halo2
1.halo2 proving system anatomy
In this post, we will discuss about halo2 proving system and EVM verifier code of halo2 proof. Since I worked on EVM verifier written in Yul assembly,
2025년 4월 9일
2.halo2-solidity-verifier code analysis
In this post, we will review the EVM verifier for halo2 proof written in Yul assembly done by EZKL. Code analysis In the code, we encounter with two
2025년 4월 9일
3.Batch opening scheme - BDFG 21
In this post, we will review the batch opening scheme used in halo2 library. The paper for this scheme is introduced in the paper.In this protocol, th
2025년 4월 23일
4.[halo2-solidity-verifier] Gate computations
.
2025년 5월 19일