R1CS Lite - Basic Circuit Specification