matter-labs / franklin-crypto

Other

115 stars 66 forks source link

Gadgets that works with naive main gate #71

Open saitima opened 2 months ago

saitima commented 2 months ago

What ❔

This PR adds some gadgets that can works with a main gate that has only 3 variables: qAA + qBB + qABAB + qC*C + qConst

Why ❔

It allowed to keep number of the polynomials in the fflonk implementation smaller so that cheaper evm verification cost.

Checklist

[ x] PR title corresponds to the body of PR (we generate changelog entries from PRs).
[ ] Tests for the changes have been added / updated.
[ x] Documentation comments have been added / updated.
[ ] Code has been formatted via zk fmt and zk lint.