search

snarkify / sirius

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

feat(nifs): `protogalaxy::prove_mult` #266

Open cyphersnake opened 1 month ago

cyphersnake commented 1 month ago

prove_mult

  1. delta=ro.squeeze()
  2. F=compute_F(beta, delta,w_acc), F[0]=e
  3. alpha=ro.squeeze()
  4. beta*[i]=beta[i]+alpha*delta[i]
  5. G=compute_G(beta*,w,w_i)
  6. K=compute_K(G,f*L0,Z)
  7. gamma=ro.squeeze()
  8. fold_W(w,w1,gamma)
  9. Return F, K
cyphersnake commented 1 month ago
  1. impl
  2. preparing instances for fold
  3. testing