One aspect of this is Zokrates, a domain specific language (DSL) for taking logical functions and turning them into the "addition, subtraction, multiplication" math required by zero knowledge proofs. Zokrates is an open source project maintained by [ ]. From the perspective of the enterprise, it has the disadvantage of being distributed under a [ ] license, not Apache2 or MIT.