Usage

spartan-zkinterface

This is an interface from zkinterface to the Spartan back-end for ZK proofs.

cargo +nightly run -- prove foo.zkif foo.inp.zkif foo.wit.zkif
cargo +nightly run -- verify foo.zkif foo.inp.zkif foo.wit.zkif

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
schema		schema
src		src
test		test
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.md		README.md
flatc_to_json.sh		flatc_to_json.sh
run.sh		run.sh