search

snarkify / sirius

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

feat(nifs): `protogalaxy::verify_mult` #267

Closed cyphersnake closed 2 months ago

cyphersnake commented 6 months ago

verify_mult

  1. phi_i.sps_verify for each instance phi_i
  2. delta=ro.squeeze()
  3. alpha=ro.squeeze()
  4. beta*=beta+alpha*delta
  5. gamma=ro.squeeze()
  6. e*=eval(G,gamma)
  7. phi*=fold_inst(phi,phi1,gamma)
  8. ReturnPhi*=(phi*,beta*,e*)