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