EcneProject
Ecne: An engine for verifying the soundness of R1CS constraints
103 stars
2 watching
6 forks
Language: Julia
last commit: about 2 years ago EcneProject Ecne: An engine for verifying the soundness of R1CS constraints