privacy-scaling-explorations / sonobe

Experimental folding schemes library
https://privacy-scaling-explorations.github.io/sonobe-docs/
MIT License
208 stars 55 forks source link

A gadget to compute the second term of the sum in section 5, step 5 #56

Closed dmpierre closed 10 months ago

dmpierre commented 10 months ago

Gadget which computes $\Sigma_{i=1}^{q} ci \cdot \Pi{j \in S_i} \theta_j$.

Will then multiply this term by $\gamma^{t+1}$ and $e_2$ and sum it with the first part of the sum to obtain the final gadget!