That last one is the wrong curve. Well ...
Maybe checkout Cairo
https://github.com/starkware-libs/cairo
Please Login to reply.
Although last I checked this isn't zero knowledge, just succinct.
