redefining when is possible. ᑕ. = exact arithmetic circuit verification/state contraction SHA256/Circom/R1CS/ONNX/Verilog