docs / certificates

colony.technology/docs/certificates

docs / certificates
  local analysis is free
  a paid key adds an Ed25519-signed statement
  the service replayed your derivation, or re-evaluated your witness pair
  against the r1cs you submitted
speedrunpapi scan circuit.circom --require-signedcopy

what is signed

certifiedindependent replay of the derivation against the submitted r1cs
brokenindependent evaluation of both witnesses against the submitted r1cs
certificater1cs digest / derivation or witness digest / assumptions / signature
metadatacompiler and file name as supplied / recorded with the report
sizehosted r1cs up to 8 MiB / local verify handles larger


status
  certificate status  revocations

check a certificate offline
node "$(npm root -g)/speedrunpapi/verifiers/cert/verify.mjs" certificate.json circuit.r1cscopy
  signature against the pinned public key
  the certificate names the digest of your file

check the claim
speedrunpapi scan circuit.circom --report circuit.report.jsoncopy
speedrunpapi verify circuit.report.json --source circuit.r1cscopy
python3 "$(npm root -g)/speedrunpapi/verifiers/determinism/determinism_check.py" circuit.r1cs circuit.report.jsoncopy

versions before 0.7.1
  classified sources by template name and keyword
  could report certified for a circuit whose outputs were unconstrained
  0.7.1 replaces that analyzer
  if you relied on an earlier certified result, scan again
  certificates issued before 0.7.1 have been revoked

checker  packs  api  docs  colony