|
|
# Keccak
|
|
|
|
|
|
本项目使用开源的Keccak子电路,链接:https://github.com/privacy-scaling-explorations/zkevm-circuits/blob/b8ae7af639af035a6ad5081716012ee2ea48e7cb/zkevm-circuits/src/keccak_circuit.rs,版本为commit:
|
|
|
本项目使用开源的[Keccak子电路](https://github.com/privacy-scaling-explorations/zkevm-circuits/blob/b8ae7af639af035a6ad5081716012ee2ea48e7cb/zkevm-circuits/src/keccak_circuit.rs),版本为commit:
|
|
|
|
|
|
```
|
|
|
commit b8ae7af639af035a6ad5081716012ee2ea48e7cb
|
... | ... | @@ -13,7 +13,7 @@ Date: Thu May 4 16:35:02 2023 +0200 |
|
|
本文主要介绍开源代码如何使用,如何接入。
|
|
|
|
|
|
## Keccak 电路简介
|
|
|
在 `https://github.com/privacy-scaling-explorations/zkevm-circuits` 的 Keccak 子电路用于证明一个输入字节串和输入的 Keccak 哈希之间的对应关系。在其他电路里,需要使用三个变量(`input_rlc`, `input_len`, `output_rlc`)向 Keccak 子电路进行查表(lookup),以验证这三个变量的对应关系。具体的输入和哈希的计算由 Keccak 内部实现,本项目不做改动。
|
|
|
[privacy-scaling-explorations的 Keccak 子电路](https://github.com/privacy-scaling-explorations/zkevm-circuits) 用于证明一个输入字节串和输入的 Keccak 哈希之间的对应关系。在其他电路里,需要使用三个变量(`input_rlc`, `input_len`, `output_rlc`)向 Keccak 子电路进行查表(lookup),以验证这三个变量的对应关系。具体的输入和哈希的计算由 Keccak 内部实现,本项目不做改动。
|
|
|
|
|
|
RLC(随机线性组合,Random Linear Combination)计算 RLC 需要使用随机值 Challenge。
|
|
|
|
... | ... | |