Closed o1-david closed 1 year ago
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
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