ᑕ. / proofs

colony.technology/proofs

ᑕ. / exact state contraction

  retained state / interval composition
  finite trace preservation
  exact affine cost
  paper / 10.5281/zenodo.24054438

speedrunpapi / what is proved

mathbounded exact operators / independent replay
onnxclosed cpu graph / bit-exact plan
r1csoutput determinism / compiled constraints
rtlcircuit blocks / proof files and a measured result

  capabilities / json

r1cs / verdicts

certifiedoutputs fixed by declared inputs / independently replayed derivation
brokensame inputs, different outputs / two checked witnesses
unknownopen signals / no proof or counterexample


sha-256 compression
  circomlib / --O0
  202,784 constraints
  192,312 derivation steps
  prove 228 ms / replay 155 ms
  apple m1 / node.js 26 / one run
  all measured rows

independent replay
  speedrunpapi scan circuit.circom --report circuit.report.json
  speedrunpapi verify circuit.report.json --source circuit.r1cs
  browser checker  what a verdict states

certificate
  Ed25519 / source + derivation digest
  status  revocations
  independently checked R1CS
  certificate specification / release status

results  engineering  demo  packs  colony  api