docs / r1cs

colony.technology/docs/r1cs

docs / r1cs
  a compiled .r1cs is analysed directly
  cli / browser demo / hosted api

cli
speedrunpapi scan build/withdraw.r1cscopy
  a sibling .sym supplies signal names / --sym names one

input wires
  certification uses the compiled r1cs
  a broken report needs every declared input wired
  scan .circom source, or compile with --O0

browser
  the same engine runs in the page
  the file stays in the browser
  demo

hosted api
  POST https://api.colony.technology/v1/analyze
  { "format": "r1cs", "source_base64": "...", "filename": "circuit.r1cs" }
  r1cs up to 8 MiB / compile source locally through the cli

api  signed certificates  what a verdict states  docs  colony