13 keccak

This is an old version of this page. You can view the most recent version or browse the history.

使用开源的Keccak子电路，链接：https://github.com/privacy-scaling-explorations/zkevm-circuits/blob/b8ae7af639af035a6ad5081716012ee2ea48e7cb/zkevm-circuits/src/keccak_circuit.rs，版本为commit：

commit b8ae7af639af035a6ad5081716012ee2ea48e7cb
Author: Eduard S <eduardsanou@posteo.net>
Date:   Thu May 4 16:35:02 2023 +0200

    Update halo2 dependency to v2023_04_20 (#1374)

本文主要介绍开源代码如何使用，如何接入。

Keccak 电路简介

https://github.com/privacy-scaling-explorations/zkevm-circuits 的 Keccak子电路用于证明一个输入字节串和输入的Keccak哈希的对应关系。在其他电路里，需要使用三个变量 (input_rlc, input_len, output_rlc)，进行向Keccak子电路的lookup，来验证这三个变量的对应关系。具体的输入、哈希的计算由Keccak内部实现，本项目不做改动。

RLC即随机线性组合，计算RLC需要使用随机值 Challenge.

zkevm中的使用

在某电路（例如Core）里，遇到要验证Keccak的时候，首先由此电路负责将输入的RLC、哈希的RLC算好，然后将输入的RLC、哈希的RLC、输入的长度这三个变量(input_rlc, input_len, output_rlc)，进行向Keccak子电路的lookup。

计算RLC可由一个RLC子电路实现，可以类似Copy子电路。也可以直接由Copy子电路实现。子电路需要提供Challenge，由更新后的SubCircuit接口的synthesize函数提供。

开源代码接入

将 keccak_circuit.rs 和其子目录接入此项目。将其依赖的其他工具类代码等，也接入进来。然后将KeccakCircuit接入SuperCircuit。

好处

（选做）Bytecode子电路的所有列可以不用公开了。只需公开code hash。通过对Witness中的Bytecode计算hash，检查是否与code hash一致，来验证Bytecode正确性。

202405更新

通过对代码的改动，output_rlc变为了output_hi, output_lo。即输出哈希值的高128位、低128位。