{
  "name": "sorryfree",
  "url": "https://sorryfree.com",
  "updated": "2026-09-13",
  "author": {
    "name": "sorryfree editors",
    "url": "https://sorryfree.com/about/",
    "org": "sorryfree"
  },
  "endpoints": {
    "frameworks": "https://sorryfree.com/api/frameworks.json",
    "categories": "https://sorryfree.com/api/categories.json",
    "firms": "https://sorryfree.com/api/firms.json",
    "glossary": "https://sorryfree.com/api/glossary.json",
    "checklist": "https://sorryfree.com/api/checklist.json",
    "faq": "https://sorryfree.com/api/faq.json",
    "news": "https://sorryfree.com/api/news.json"
  },
  "pages": [
    "https://sorryfree.com/",
    "https://sorryfree.com/frameworks/",
    "https://sorryfree.com/firms/",
    "https://sorryfree.com/glossary/",
    "https://sorryfree.com/checklist/",
    "https://sorryfree.com/faq/",
    "https://sorryfree.com/news/",
    "https://sorryfree.com/about/",
    "https://sorryfree.com/categories/zk-circuits/",
    "https://sorryfree.com/categories/proof-systems/",
    "https://sorryfree.com/categories/symbolic-protocols/",
    "https://sorryfree.com/categories/implementations/",
    "https://sorryfree.com/categories/provers/",
    "https://sorryfree.com/categories/challenges/",
    "https://sorryfree.com/frameworks/clean/",
    "https://sorryfree.com/frameworks/sp1-lean/",
    "https://sorryfree.com/frameworks/zklean/",
    "https://sorryfree.com/frameworks/halva/",
    "https://sorryfree.com/frameworks/picus/",
    "https://sorryfree.com/frameworks/llzk/",
    "https://sorryfree.com/frameworks/garden/",
    "https://sorryfree.com/frameworks/lampe/",
    "https://sorryfree.com/frameworks/proven-zk/",
    "https://sorryfree.com/frameworks/civer/",
    "https://sorryfree.com/frameworks/circomspect/",
    "https://sorryfree.com/frameworks/zkfuzz/",
    "https://sorryfree.com/frameworks/coda/",
    "https://sorryfree.com/frameworks/ecne/",
    "https://sorryfree.com/frameworks/nave/",
    "https://sorryfree.com/frameworks/verified-cairo/",
    "https://sorryfree.com/frameworks/arklib/",
    "https://sorryfree.com/frameworks/easycrypt/",
    "https://sorryfree.com/frameworks/cryptoverif/",
    "https://sorryfree.com/frameworks/ssprove/",
    "https://sorryfree.com/frameworks/prooffrog/",
    "https://sorryfree.com/frameworks/squirrel/",
    "https://sorryfree.com/frameworks/tamarin/",
    "https://sorryfree.com/frameworks/proverif/",
    "https://sorryfree.com/frameworks/verifpal/",
    "https://sorryfree.com/frameworks/dystar/",
    "https://sorryfree.com/frameworks/jasmin/",
    "https://sorryfree.com/frameworks/hax/",
    "https://sorryfree.com/frameworks/cryptol-saw/",
    "https://sorryfree.com/frameworks/fiat-crypto/",
    "https://sorryfree.com/frameworks/hacl-star/",
    "https://sorryfree.com/frameworks/aeneas/",
    "https://sorryfree.com/frameworks/kani/",
    "https://sorryfree.com/frameworks/cbmc/",
    "https://sorryfree.com/frameworks/cryptoline/",
    "https://sorryfree.com/frameworks/verus/",
    "https://sorryfree.com/frameworks/lean4/",
    "https://sorryfree.com/frameworks/rocq/",
    "https://sorryfree.com/frameworks/isabelle/",
    "https://sorryfree.com/frameworks/fstar/",
    "https://sorryfree.com/frameworks/acl2/",
    "https://sorryfree.com/frameworks/k-framework/",
    "https://sorryfree.com/frameworks/certora-prover/",
    "https://sorryfree.com/frameworks/zk-golf/",
    "https://sorryfree.com/frameworks/better-codes/",
    "https://sorryfree.com/frameworks/verified-zkevm/",
    "https://sorryfree.com/firms/zksecurity/",
    "https://sorryfree.com/firms/galois/",
    "https://sorryfree.com/firms/veridise/",
    "https://sorryfree.com/firms/nethermind/",
    "https://sorryfree.com/firms/formal-land/",
    "https://sorryfree.com/firms/cryspen/",
    "https://sorryfree.com/firms/reilabs/",
    "https://sorryfree.com/firms/runtime-verification/",
    "https://sorryfree.com/firms/certora/",
    "https://sorryfree.com/firms/trail-of-bits/",
    "https://sorryfree.com/firms/symbolic-software/",
    "https://sorryfree.com/glossary/circuit-soundness/",
    "https://sorryfree.com/glossary/circuit-completeness/",
    "https://sorryfree.com/glossary/underconstrained-circuit/",
    "https://sorryfree.com/glossary/overconstrained-circuit/",
    "https://sorryfree.com/glossary/symbolic-vs-computational/",
    "https://sorryfree.com/glossary/specification-gap/",
    "https://sorryfree.com/glossary/trusted-computing-base/",
    "https://sorryfree.com/glossary/proof-assistant-vs-smt/",
    "https://sorryfree.com/glossary/bounded-model-checking/",
    "https://sorryfree.com/glossary/equivalence-checking/",
    "https://sorryfree.com/glossary/refinement/",
    "https://sorryfree.com/glossary/constant-time-verification/",
    "https://sorryfree.com/glossary/arithmetization/",
    "https://sorryfree.com/glossary/extraction/",
    "https://sorryfree.com/glossary/witness-generation-vs-constraints/"
  ]
}