snarkify / sirius

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

feat(poly): impl `pow_i` from protogalaxy #257

Closed cyphersnake closed 1 month ago

cyphersnake commented 1 month ago

Power function

Define power function

Let $\boldsymbol{\beta}=(\beta0,\cdots,\beta{t-1})=(\beta,\beta^2,\cdots,\beta^{2^{t-1}})$ (define $\boldsymbol{\delta}$ similarly) Suppose $[i]_2=(b0,\cdots,b{t-1}), b_i\in {0,1}$ Define $pow_i$ function over t variable as:

$pow_i(\boldsymbol{\beta})=powi(\beta,\cdots,\beta^{2^{t-1}})=\prod{j=0}^{t-1}(1-b_j+b_j\cdot\beta^{2^j})$