demo

# Prepare a circuit to push to proof market

python3 scripts/prepare_statement.py -c=/root/workshop/data/arithmetics_example.ll -o=arithmetic_stmt.json -n=arithmetic -t=placeholder-zkllvm


# Push to proof market

python3 scripts/statement_tools.py push  --file arithmetic_stmt.json


# See all pushed statements

python3 scripts/statement_tools.py get


# Push a bid for circuit

python3 scripts/bid_tools.py push --cost=2   --key=23792064 --file=/root/tmp/proof-market-toolchain/example/input/arithmetic_example/input.json


# Get order status
python3 scripts/bid_tools.py get --key=2379363

# Push a ask for circuit
python3 scripts/ask_tools.py push --cost=2 --key=23792064


# Get order status
python3 scripts/ask_tools.py get --key=23797400

 
 # Generate a proof
./build/bin/proof-generator/proof-generator --proof_out=/root/workshop/out/proof.bin --circuit_input=/root/tmp/proof-market-toolchain/arithmetic_stmt.json --public_input=/root/tmp/proof-market-toolchain/example/input/arithmetic_example/input.json

# Push Proof
python3 scripts/proof_tools.py push -b=23793638 -f=/root/workshop/out/proof.bin