/EcneProject

Ecne: An engine for verifying the soundness of R1CS constraints

Primary LanguageJuliaGNU General Public License v3.0GPL-3.0

Stargazers