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.
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