Linearity Property Circuits