This repository was archived by the owner on Aug 27, 2021. It is now read-only.
This repository was archived by the owner on Aug 27, 2021. It is now read-only.
Open
Description
The recent upgrade, which switches the core protocols to xJsnark's, has suggested considerations on a separate metric: density.
Basically, xJsnark's techniques have been developed sophisticatedly toward reducing the number of constraints. However, some of the techniques may not be best for density. As we already found,
- Selecting parameters that minimize the number of constraints (smaller limbs) could lead to a high density during the
mul_without_reduce. - The linear checking approach used for creating multiplication limbs does not work the best for density.
In addition, it might be worthwhile to see if the old method of reduction (which does not always reduce to the normal form) would result in a much smaller density.
Metadata
Metadata
Assignees
Labels
No labels