This library provides the non-native field gadget for the
arkworks constraint-writing platform.
The non-native field gadget can be used as a standard
reasonable non-native gadget parameters.
This file contains the implementation of three structs:
NonNativeFieldParamsspecifies the constraint prime field (called
BaseField), the simulated prime field (called
TargetField), and internal parameters searched by the Python script (see
NonNativeFieldMulResultVaris an intermediate representations of the result of multiplication, which is hidden from the
FieldVarinterface and is left for advanced users who want better performance.
The Python script mentioned above can be found in the subdirectory
example parameters of non-native field gadget
The allocated form of
The allocated version of
Parameters for a specific
An intermediate representation especially for the result of a multiplication, containing more limbs. It is intended for advanced usage to improve the efficiency.
A gadget for representing non-native (