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
The remaining standard library traits should be implemented for the ArkGroth16 proving system. This would include all traits in
eclair::{ bool, cmp, num, ops }forCOM = R1CS<F>, implemented forFp<F>, FpVar<F>, or whatever other type may be appropriate.Implementation should follow the examples here