github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-05-14 03:00:33 -04:00
Code Issues Packages Projects Releases Wiki Activity

Add zxc & zxe example

Browse Source
This commit is contained in:
Alex Ozdemir
2023-02-08 14:24:01 -08:00
parent 006fe80520
commit 33747dde61
2 changed files with 20 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
examples/ZoKrates/pf/3_plus.zok.pin
View File

@@ -1,5 +1,6 @@
(let (
; each line defines a prover input
(x #x04)
)
false
false ; ignored
)

18
scripts/zxe_example.sh Normal file
View File

@@ -0,0 +1,18 @@
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