Ecne: An engine for verifying the soundness of R1CS constraints
Primary LanguageJuliaGNU General Public License v3.0GPL-3.0