docs

colony.technology/docs

docs / what is analysed
  output determinism of a constraint system
  .circom / compiled on your machine by circom 2.x
  .r1cs / analysed directly

inputs

.circomcli compiles and scans / demo and api take the compiled .r1cs
.r1cscli / browser demo / hosted api up to 8 MiB


verdicts

certifiedsame inputs, same outputs / derivation replayed by a separate checker
brokensame inputs, different outputs / both witnesses re-evaluated
unknownneither established / open signals listed with the reason


reference
  scanning circom
  scanning r1cs
  signed certificates / release status
  related tools
  measured results
  capabilities / json

cli  api  demo  checker  colony