/otti

A zkSNARK compiler for optimization problems

Primary LanguagePython

Stargazers