EcneProject. Ecne: An engine for verifying the soundness of R1CS constraints
putting-the-learning-in-LAA. Python
