Skip to content
This repository has been archived by the owner on Sep 29, 2024. It is now read-only.

Commit

Permalink
Update readme.md
Browse files Browse the repository at this point in the history
  • Loading branch information
Demian101 authored Oct 30, 2023
1 parent 58de14a commit a50c6af
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/halo2/chap-2/readme.md
Original file line number Diff line number Diff line change
Expand Up @@ -240,7 +240,7 @@ impl <F: Field> Circuit<F> for MyCircuit<F> {
}
```

Chips 可以进行组合,底层的 Chip 尽量使用不同的列 (当然也允许 Chip 共享使用相同的列)。在进行电路设计时应尝试优化所需的 Advice 列,因为这会影响 Proof 大小
> 建议仔细阅读、对比上下 2 部分代码,体会其在设计上的不同和 chip 这种模块化封装的思维
我们将本节中的约束抽象为 `SimpleChip`,将原来独立的 assign witness 的几个函数 (`load_private``load_constant``add``mul``cub`) 合并到 Simple Chip 的 `assign` 方法中。此外,采用如下电路布局压缩所需的行数(在电路中我们只划分了了两个大的 region,这样就减小了复制 `ab``absq``c``c` 这四个约束) :

Expand Down

0 comments on commit a50c6af

Please sign in to comment.