gyotak-catch v3

1. Background — Why v2 Was Superseded 1. 背景 — なぜv2を廃止したか 1. ภูมิหลัง — ทำไม v2 ถูกแทนที่

gyotak-catch v2 stored the catch location as gpsHash = persistentHash(GPS), with no random nonce. Because GPS coordinates have finite precision (typically 7 decimal places ≈ 1 cm), a hash without a nonce can be reversed by brute force over the plausible coordinate space. gyotak-catch v2は漁獲位置を gpsHash = persistentHash(GPS)（ランダムノンスなし）で保存していた。GPS座標は有限精度（通常小数7桁 ≈ 1cm）であるため、ノンスなしのハッシュは座標空間の総当たりで復元可能である。 gyotak-catch v2 เก็บตำแหน่งจับปลาเป็น gpsHash = persistentHash(GPS) โดยไม่มี random nonce เนื่องจากพิกัด GPS มีความแม่นยำจำกัด (ทศนิยม 7 ตำแหน่ง ≈ 1 ซม.) แฮชที่ไม่มี nonce สามารถถอดรหัสด้วย brute force ได้

We confirmed the exposure against live mainnet data: recomputing persistentHash from the GPS coordinates stored in GYOTAK’s database reproduced the on-chain gpsHash for 64 of 66 records (the remaining 2 are early test records with no GPS). Because no nonce is present, a third party who does not hold the coordinates can also recover them by brute force — demonstrated on preprod, where a 10,201-point search over the district recovered the coordinates of one record. メインネットの実データで露出を確認した: GYOTAKデータベースのGPS座標から persistentHash を再計算し、オンチェーンの gpsHash と比較したところ、66件中64件が一致した（残り2件はGPSのない初期テストレコード）。ノンスがないため、座標を保持しない第三者も総当たりで復元可能である — preprodで10,201点の探索により1レコードの座標復元を実証した。 เรายืนยันการรั่วไหลกับข้อมูล mainnet จริง: คำนวณ persistentHash ใหม่จากพิกัด GPS ในฐานข้อมูล GYOTAK แล้วเทียบกับ gpsHash บนเชน ตรงกัน 64 จาก 66 รายการ (2 รายการที่เหลือเป็นรายการทดสอบเริ่มต้นที่ไม่มี GPS) เนื่องจากไม่มี nonce บุคคลที่สามที่ไม่มีพิกัดก็สามารถกู้คืนได้ด้วย brute force — สาธิตบน preprod โดยค้นหา 10,201 จุดทั่วอำเภอเพื่อกู้คืนพิกัดของหนึ่งรายการ

2. The v3 Design 2. v3の設計 2. การออกแบบ v3

v3 changes two things: v3では2点を変更した: v3 เปลี่ยนสองสิ่ง:

1. GPS is hidden with a commitment, not a bare hash:1. GPSはハッシュではなくコミットメントで秘匿:1. GPS ถูกซ่อนด้วย commitment ไม่ใช่แฮชเปล่า:

gpsCommitment = persistentCommit(GPS, secret_nonce)

The nonce is 32 random bytes, never written on-chain. Without it, the commitment reveals nothing about the coordinates. ノンスは32バイトのランダム値で、オンチェーンには書き込まれない。ノンスなしではコミットメントから座標は一切わからない。 Nonce เป็น 32 ไบต์สุ่ม ไม่เคยเขียนบนเชน หากไม่มี nonce commitment จะไม่เปิดเผยอะไรเกี่ยวกับพิกัด

2. The region is proven, not asserted:2. 地域は主張ではなく証明される:2. ภูมิภาคถูกพิสูจน์ ไม่ใช่แค่ประกาศ:

assert gps.lat >= latMin    // south boundary
assert gps.lat <= latMax    // north boundary
assert gps.lon >= lonMin    // west boundary
assert gps.lon <= lonMax    // east boundary
gpsCommitment == persistentCommit(gps, nonce)

The bounding box (latMin..lonMax) is a public argument, taken verbatim from OpenStreetMap Nominatim administrative boundaries. regionLabel (e.g. “Pran Buri, Prachuap Khiri Khan”) is a display-only label; the circuit does not prove the label, it proves the coordinates lie inside the box. バウンディングボックス（latMin..lonMax）はOpenStreetMap Nominatimの行政区画境界から取得した公開引数である。regionLabel（例: 「Pran Buri, Prachuap Khiri Khan」）は表示用ラベルに過ぎず、回路はラベルを証明するのではなく、座標がボックス内にあることを証明する。 Bounding box (latMin..lonMax) เป็นอาร์กิวเมนต์สาธารณะ นำมาจากเขตแดนการปกครองของ OpenStreetMap Nominatim regionLabel (เช่น “Pran Buri, Prachuap Khiri Khan”) เป็นป้ายแสดงเท่านั้น วงจรไม่ได้พิสูจน์ป้าย แต่พิสูจน์ว่าพิกัดอยู่ภายในกล่อง

Preprod verification: Preprod検証結果: ผลการตรวจสอบ Preprod:

3. Independent Verification via MCP 3. MCPによる独立検証 3. การตรวจสอบอิสระผ่าน MCP

3.1 Why a document alone is not enough 3.1 文書だけでは不十分な理由 3.1 ทำไมเอกสารเพียงอย่างเดียวไม่เพียงพอ

A chat AI given only a decoding guide cannot verify anything, because it cannot issue the GraphQL query to fetch the on-chain state. In our test, one chat model, unable to fetch, produced a fabricated region and fish species (a hallucination). A verifier needs a way to actually read the chain. デコードガイドのみを渡されたチャットAIは何も検証できない。GraphQLクエリを発行してオンチェーンstateを取得する手段がないためである。テストでは、取得できないチャットモデルが捏造した地域名と魚種を出力した（ハルシネーション）。検証者にはチェーンを実際に読む手段が必要である。 AI แชทที่ได้รับเฉพาะคู่มือถอดรหัสไม่สามารถตรวจสอบอะไรได้ เพราะไม่สามารถส่ง GraphQL query เพื่อดึง state บนเชน ในการทดสอบ โมเดลแชทหนึ่งที่ไม่สามารถดึงข้อมูลได้สร้างภูมิภาคและชนิดปลาปลอมขึ้นมา (hallucination) ผู้ตรวจสอบต้องมีวิธีอ่านเชนจริง ๆ

3.2 The verify_catch MCP tool 3.2 verify_catch MCPツール 3.2 เครื่องมือ MCP verify_catch

GYOTAK added verify_catch to its existing MCP server (registered on Smithery). The tool: GYOTAKは既存のMCPサーバー（Smithery登録済み）に verify_catch を追加した。このツールは: GYOTAK เพิ่ม verify_catch ในเซิร์ฟเวอร์ MCP ที่มีอยู่ (ลงทะเบียนบน Smithery) เครื่องมือนี้:

3.3 End-to-end demonstration (preprod) 3.3 エンドツーエンド実証（preprod） 3.3 การสาธิตจากต้นจนจบ (preprod)

A real transaction was recorded on preprod, then verified from Claude Desktop through the GYOTAK MCP server — without trusting GYOTAK’s database. preprodに実トランザクションを記録し、GYOTAK MCPサーバー経由でClaude Desktopから検証した — GYOTAKのデータベースを一切信頼せずに。 ธุรกรรมจริงถูกบันทึกบน preprod จากนั้นตรวจสอบจาก Claude Desktop ผ่านเซิร์ฟเวอร์ GYOTAK MCP — โดยไม่เชื่อถือฐานข้อมูลของ GYOTAK

record:   CR-TESTV3-INSIDE-02
contract: 2e519c349331a6aaee82a7ed31aa5e39d6a3995f6cf85ec2256c97cda9a8c302
tx:       b32f3328a0e1ac73adf41ce3ac665626b7a98f9e921ce7885a52b83e83ad078a
block:    1602801
network:  preprod

As of 2026-07-11, the v3 contract is also deployed and live on Midnight mainnet (contract: bc33d8c05852decd4ef183201a8a9f3c25eabaa46a81786f306b95397ed118ab). It currently holds no records; the first will be inscribed with the next real catch. The demonstration above was performed on preprod, where test records were freely created; mainnet carries no test records. 2026年7月11日現在、v3コントラクトはMidnight mainnetにもデプロイ・稼働中である（コントラクト: bc33d8c05852decd4ef183201a8a9f3c25eabaa46a81786f306b95397ed118ab）。現時点ではレコード0件であり、次の実際の漁獲時に最初のレコードが刻まれる。上記の実証はpreprodで行ったものであり、mainnetにはテストレコードは存在しない。 ณ วันที่ 2026-07-11 สัญญา v3 ยังถูก deploy และใช้งานบน Midnight mainnet ด้วย (คอนแทรกต์: bc33d8c05852decd4ef183201a8a9f3c25eabaa46a81786f306b95397ed118ab) ปัจจุบันยังไม่มีรายการ รายการแรกจะถูกจารึกเมื่อจับปลาจริงครั้งถัดไป การสาธิตข้างต้นดำเนินการบน preprod ซึ่งสร้างรายการทดสอบได้อย่างอิสระ mainnet ไม่มีรายการทดสอบ

4. How to Verify Yourself 4. 自分で検証する方法 4. วิธีตรวจสอบด้วยตัวเอง

Path A — MCP-capable AI agent (recommended) Path A — MCP対応AIエージェント（推奨） Path A — AI agent ที่รองรับ MCP (แนะนำ)

Path B — Manual GraphQL + state decode Path B — 手動GraphQL + stateデコード Path B — GraphQL ด้วยตนเอง + ถอดรหัส state

5. Scope & Limitations 5. 実装範囲と限界 5. ขอบเขตและข้อจำกัด

6. Archive Metadata 6. アーカイブメタデータ 6. Metadata