{
  "added_at": "2026-10-16",
  "category": "official-case-studies",
  "description_en": "An official educational challenge investigation connects binary checks to equations and records an original-program validation.",
  "description_zh": "官方教育 CTF 案例：从检查函数得到方程，并记录原程序验证过程。",
  "entry_url": "https://awesomerea.org/resources/rea-ctf-case/",
  "entry_url_zh": "https://awesomerea.org/zh/resources/rea-ctf-case/",
  "evidence_url": "https://github.com/morluto/rea/blob/808339f0b1cf3837445f392b5d5f1f362d64a27d/website/evidence/ctf-masked-squares.md",
  "group": "rea",
  "id": "rea-ctf-case",
  "json_url": "https://awesomerea.org/resources/rea-ctf-case/record.json",
  "kind": "case-study",
  "markdown_url": "https://awesomerea.org/resources/rea-ctf-case/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/resources/rea-ctf-case/index.md",
  "name": "DownUnderCTF: masked-squares flag checker",
  "name_zh": "DownUnderCTF：masked-squares 校验器",
  "record_type": "resource",
  "relationship": "official-case-study",
  "requirement_facets": [
    "prerequisites",
    "testing"
  ],
  "requirements": [
    "Upstream case: public DownUnderCTF 2023 challenge, REA 4.1.0 and Ghidra 12.1.4 on Linux x64.",
    "Target hash and source revision are documented; author-reported execution."
  ],
  "requirements_zh": [
    "上游案例使用公开的 DownUnderCTF 2023 题目、REA 4.1.0、Ghidra 12.1.4，运行于 Linux x64。",
    "文档提供目标摘要与源码版本；作者报告的执行。"
  ],
  "targets": [
    "binary"
  ],
  "url": "https://rea.tools/showcase/ctf/",
  "verification": "source-reviewed",
  "verified_at": "2026-10-15"
}