Check a speedrunpapi report

colony.technology/checker

local checker / replay against your r1cs

  browser / no upload
  .r1cs + .report.json
  file digest / every rule replayed
  certified: derivation
  broken: both valid witnesses
  unknown: open-signal report


select the .r1cs and its report .json

source
  speedrunpapi scan circuit.circom --report circuit.report.json
  speedrunpapi verify circuit.report.json --source circuit.r1cs

demo  proofs  cli  colony