Implementation of this library’s traits on halo2curves types. Used for testing and also VM runtime execution. These should only be importable on a host machine.