spartan-zkinterface This is an interface from zkinterface to the Spartan back-end for ZK proofs. Usage cargo +nightly run -- prove foo.zkif foo.inp.zkif foo.wit.zkif cargo +nightly run -- verify foo.zkif foo.inp.zkif foo.wit.zkif