scroll-tech / halo2

Other
42 stars 40 forks source link

Use thread pool for assign_regions #57

Closed alannotnerd closed 1 year ago

alannotnerd commented 1 year ago

Thread pool is required when the api caller given a large amount of subregions, which crossbeam doesn't and won't support.

alannotnerd commented 1 year ago

@kunxian-xia Your comments are resolved. May you want to take a look again?

kunxian-xia commented 1 year ago

Can you fix the ci errors and resolve the conflicts?