Implement Standard Traits for ArkGroth16
GhostOfGauss opened this issue · 0 comments
GhostOfGauss commented
The remaining standard library traits should be implemented for the ArkGroth16 proving system. This would include all traits in eclair::{ bool, cmp, num, ops } for COM = R1CS<F>, implemented for Fp<F>, FpVar<F>, or whatever other type may be appropriate.
Implementation should follow the examples here