R1CS constraints for non-native field arithmetic - View it on GitHub