[
  {
    "rank": 1,
    "name": "zkSecurity",
    "slug": "zksecurity",
    "url": "https://www.zksecurity.xyz",
    "page": "https://sorryfree.com/firms/zksecurity/"
  },
  {
    "rank": 2,
    "name": "Galois",
    "slug": "galois",
    "url": "https://www.galois.com",
    "page": "https://sorryfree.com/firms/galois/"
  },
  {
    "rank": 3,
    "name": "Veridise",
    "slug": "veridise",
    "url": "https://veridise.com",
    "page": "https://sorryfree.com/firms/veridise/"
  },
  {
    "rank": 4,
    "name": "Nethermind (Formal Verification team)",
    "slug": "nethermind",
    "url": "https://www.nethermind.io/formal-verification",
    "page": "https://sorryfree.com/firms/nethermind/"
  },
  {
    "rank": 5,
    "name": "Formal Land",
    "slug": "formal-land",
    "url": "https://formal.land",
    "page": "https://sorryfree.com/firms/formal-land/"
  },
  {
    "rank": 6,
    "name": "Cryspen",
    "slug": "cryspen",
    "url": "https://cryspen.com",
    "page": "https://sorryfree.com/firms/cryspen/"
  },
  {
    "rank": 7,
    "name": "Reilabs",
    "slug": "reilabs",
    "url": "https://reilabs.io",
    "page": "https://sorryfree.com/firms/reilabs/"
  },
  {
    "rank": 8,
    "name": "Runtime Verification",
    "slug": "runtime-verification",
    "url": "https://runtimeverification.com",
    "page": "https://sorryfree.com/firms/runtime-verification/"
  },
  {
    "rank": 9,
    "name": "Certora",
    "slug": "certora",
    "url": "https://www.certora.com",
    "page": "https://sorryfree.com/firms/certora/"
  },
  {
    "rank": 10,
    "name": "Trail of Bits",
    "slug": "trail-of-bits",
    "url": "https://www.trailofbits.com",
    "page": "https://sorryfree.com/firms/trail-of-bits/"
  },
  {
    "rank": 11,
    "name": "Symbolic Software",
    "slug": "symbolic-software",
    "url": "https://symbolic.software",
    "page": "https://sorryfree.com/firms/symbolic-software/"
  }
]