privacy-scaling-explorations / halo2

https://privacy-scaling-explorations.github.io/halo2/
Other
201 stars 121 forks source link

improve: apply `tachyon` optimizations(2 & 5) #329

Closed guorong009 closed 3 months ago

guorong009 commented 4 months ago

Description

Analyze and apply the tachyon optimizations - 2(batch normalize) & 5(save heap allocations)

Related issues

Changes

NOTE

  1. batch_normalize In order to apply the batch_normalize optimization, the algorithm of batch_normalize & batch_inverse should be implemented for elliptic curves. It is already implemented in pse/halo2curves repo.

  2. save heap allocations For this optimization, I just apply one - remove unnecessary "clone" op in "permutation_commit". The reason is that other optimizations needless in Rust project. Also, the Polynomial implementation has big diff between projects.