LaBRADOR WIP implementation of LaBRADOR. Laundry list implement dot product constraints write an adapter from r1cs to dot product constraints License MIT OR Apache-2.0