snarkify/sirius

feat(nifs): `protogalaxy::prove_mult`

cyphersnake opened this issue · 1 comments

cyphersnake commented

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. impl
  2. preparing instances for fold
  3. testing