implement conversion of RangeCheck0, RangeCheck1, Xor, ForeignFieldAdd, ForeignFieldMul, Rot64, Raw

Question

implement conversion of RangeCheck0, RangeCheck1, Xor, ForeignFieldAdd, ForeignFieldMul, Rot64, Raw

o1-david opened this issue a year ago · comments

o1-david · Answer 1 · Tue Mar 14 2023 04:15:35 GMT+0800 (China Standard Time)

in constraints.rs the conversion of RangeCheck0, RangeCheck1, Xor, ForeignFieldAdd, ForeignFieldMul, Rot64, Raw are not implemented. I don't think they are implemented in the Rust constraint system side either