{
 "schema": "colony.measured/1",
 "release": "speedrunpapi 0.7.2",
 "source": "speedrunpapi README, section \"Measured\"; each row cross-checked against the corpus run it reports",
 "method": {
  "compiler": "circom 2.2.3",
  "level": "--O0",
  "machine": "Apple M1",
  "runtime": "Node.js 26",
  "timing": "single runs, milliseconds"
 },
 "rows": [
  {
   "circuit": "Sha256compression()",
   "corpus_id": "Sha256compression",
   "verdict": "Certified",
   "constraints": 202784,
   "derivation_steps": 192312,
   "prove_ms": 228,
   "replay_ms": 155
  },
  {
   "circuit": "Sha256(64)",
   "corpus_id": "Sha256_64",
   "verdict": "Certified",
   "constraints": 204576,
   "derivation_steps": 194104,
   "prove_ms": 252,
   "replay_ms": 160
  },
  {
   "circuit": "Poseidon(5)",
   "corpus_id": "Poseidon_5",
   "verdict": "Certified",
   "constraints": 1347,
   "derivation_steps": 1347,
   "prove_ms": 1.9,
   "replay_ms": 1.1
  },
  {
   "circuit": "MiMCSponge(2, 220, 1)",
   "corpus_id": "MiMCSponge_2_220_1",
   "verdict": "Certified",
   "constraints": 1767,
   "derivation_steps": 1767,
   "prove_ms": 2.1,
   "replay_ms": 2.7
  },
  {
   "circuit": "Poseidon Merkle root, depth 4",
   "corpus_id": "fx_merkle_poseidon",
   "verdict": "Certified",
   "constraints": 3102,
   "derivation_steps": 3098,
   "prove_ms": 2,
   "replay_ms": 2
  },
  {
   "circuit": "LessThan(252)",
   "corpus_id": "LessThan_252",
   "verdict": "Certified",
   "constraints": 256,
   "derivation_steps": 3,
   "prove_ms": 0.8,
   "replay_ms": 0.6
  },
  {
   "circuit": "Multiplexer(2, 4)",
   "corpus_id": "Multiplexer_2_4",
   "verdict": "Certified",
   "constraints": 36,
   "derivation_steps": 31,
   "prove_ms": 0.3,
   "replay_ms": 0.1
  },
  {
   "circuit": "IsZero()",
   "corpus_id": "IsZero",
   "verdict": "Certified",
   "constraints": 2,
   "derivation_steps": 4,
   "prove_ms": 0.2,
   "replay_ms": 0.1
  },
  {
   "circuit": "Num2Bits(254)",
   "corpus_id": "Num2Bits_254",
   "verdict": "Broken",
   "constraints": 255
  },
  {
   "circuit": "Decoder(4)",
   "corpus_id": "Decoder_4",
   "verdict": "Broken",
   "constraints": 6
  },
  {
   "circuit": "MontgomeryAdd()",
   "corpus_id": "MontgomeryAdd",
   "verdict": "Broken",
   "constraints": 3
  },
  {
   "circuit": "Edwards2Montgomery()",
   "corpus_id": "Edwards2Montgomery",
   "verdict": "Broken",
   "constraints": 2
  },
  {
   "circuit": "Pedersen(8), inputs unrestricted",
   "corpus_id": "Pedersen_8",
   "verdict": "Broken",
   "constraints": 95,
   "level": "--O1"
  },
  {
   "circuit": "BabyAdd()",
   "corpus_id": "BabyAdd",
   "verdict": "Unknown",
   "constraints": 6
  },
  {
   "circuit": "BabyPbk()",
   "corpus_id": "BabyPbk",
   "verdict": "Unknown",
   "constraints": 10114
  },
  {
   "circuit": "Num2Bits_strict()",
   "corpus_id": "Num2Bits_strict",
   "verdict": "Unknown",
   "constraints": 1285
  }
 ],
 "corpus": {
  "cases": 71,
  "certified": 46,
  "broken": 15,
  "unknown": 10,
  "decided": 61,
  "contradicting_known_answer": 0
 },
 "fuzzer": {
  "systems": 150000,
  "wrong_certified": 0,
  "wrong_broken": 0
 },
 "reproduce": "speedrunpapi scan node_modules/circomlib/circuits/sha256/sha256compression.circom --main \"Sha256compression()\" -l node_modules/circomlib/circuits"
}