cargo / hekate-prover-sys

Open-source shim that links the closed-source Hekate prover cdylib over a stable C ABI.

0.37.0 did not build; the badge stands for .

516 downloads · source · home page · cargo

cdylib ffi hekate prover zk