snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
MIT License
106 stars 15 forks source link

feat(nifs): `compute_G` #260

Closed cyphersnake closed 1 week ago

cyphersnake commented 1 month ago
fn compute_G(
    beta: F,
    delta: F,
    alpha: F,
    ws: &[PlonkWitness],
    S: PlonkStructure // S.gates
) -> UnivariatePoly<F> {
  // 1. calculate L_0(X)*ws[0]+L_1(X)*ws[1]+L_2(X)*ws[1]+...
  // over dk+1 points of the cyclic group
  // 2. pow_i()*f_i()
  // 3. ifft
   todo!()
}