22 lines
640 B
Markdown
22 lines
640 B
Markdown
## halo2
|
|
|
|
<br>
|
|
|
|
### tl; dr
|
|
|
|
<br>
|
|
|
|
* halo2 us based on ultraplonk and uses several plonkish functions.
|
|
* it replaces the kzg polynomial commitment with inner-product argument, which has weaker security assumptions than plonk.
|
|
* halo2 does not need setup and implement a powerful recusive proof function. therefore, zkevm can improve the time and efficiency of generating block proof.
|
|
|
|
<br>
|
|
|
|
----
|
|
|
|
### cool resources
|
|
|
|
<br>
|
|
|
|
* **[0xparc on halo2](https://learn.0xparc.org/halo2/)**
|
|
* **[intro to PLONKish/halo2, by y. tong](https://docs.google.com/presentation/d/1UpMo2Ze5iwzpwICPoKkeT04-xGFRp7ZzVPhgnidr-vs/edit#slide=id.g133c45f1bcd_3_36)**
|