You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long. 381B

  1. #!/bin/bash
  2. mkdir -p /tmp/pinocchio
  3. cd /tmp/pinocchio
  4. # TODO: implement.
  5. # Goal: calling <circuit> <inputs> outputs a hex encoded proof, and a hex encoded outputs.
  6. # Goal: calling <circuit> <inputs> <outputs> <proof> has no output, but exists with status 0 if succeeded, and 1 otherwise.
  7. wine "$(dirname "$(readlink -f "$0")")/pinocchio.exe"