scroll-tech / halo2

Other
43 stars 39 forks source link

[feat] disable compress_selector #53

Open lispc opened 1 year ago

lispc commented 1 year ago

In our use case, we don't want serialized vk be too big (dozens of GiB). Then we will not store the [num_selector X (2degree rows)] select value. In order to do that, we prefer not use compress selector any longer, instead just trait each selector as a simple fixed column. So in vk, we only need to store the commitment of each of those fixed column instead 2degree values.

We need to adjust implementation carefully, so users cannot abuse or trigger some error accidently.