speedrunpapi command-line tool

colony.technology/cli

speedrunpapi / 0.7.2
  npm / node.js 20+ / circom 2.x
  pypi / python 3.9+ / node.js 20+
  source  releases

install
npm install -g speedrunpapicopy
python3 -m pip install speedrunpapicopy
  single-file executable

local scan / free
speedrunpapi scan circuit.circomcopy
speedrunpapi scan build/circuit.r1cs --jsoncopy
  --main "Template(args)" / -l includes
  --opt O0|O1|O2 / --assume-binary
  --strict / --timeout / --cex-timeout
  compiler / assumptions  R1CS verdicts

proof / independent replay
speedrunpapi scan circuit.circom --report circuit.report.jsoncopy
speedrunpapi verify circuit.report.json --source circuit.r1cscopy
  browser replay

hosted mathematics
speedrunpapi quote example.mathcopy
speedrunpapi solve example.mathcopy
speedrunpapi check example.math result.jsoncopy
  18 bounded exact operators
  examples / sources and results
  capabilities / json

CI / signed certificate
  uses: lmtlssss/speedrunpapi@v0.7.2
  --require-signed / 1 credit
  Ed25519 certificate and verification

certificate compatibility
  R1CS certificates / from 0.7.1
  independent replay
  version and certificate status

proofs  packs  colony  api