mirror of
https://github.com/circify/circ.git
synced 2026-04-21 03:00:54 -04:00
19 lines
400 B
Bash
19 lines
400 B
Bash
set -xe
|
|
|
|
cargo build --release --features 'zok r1cs smt' --example zxe --example zxc
|
|
|
|
ZXC=target/release/examples/zxc
|
|
ZXE=target/release/examples/zxe
|
|
PROPERTY=examples/ZoKrates/pf/3_plus.zok
|
|
PROVER_INPUT=examples/ZoKrates/pf/3_plus.zok.pin
|
|
PROVER_DATA=out.pdat
|
|
VERIFIER_DATA=out.vdat
|
|
|
|
# Remove any old data
|
|
rm -f $PROVER_DATA $VERIFIER_DATA
|
|
|
|
$ZXC $PROPERTY
|
|
$ZXE $PROVER_DATA --inputs $PROVER_INPUT
|
|
|
|
|