gyotak-komon

0. Background & Motivation 0. 背景と動機 0. ที่มาและแรงจูงใจ

gyotak-catch (Layer 1, on Midnight mainnet) commits a hash of the registered coordinates but does not prove the coordinates lie inside the declared region — the region is a self-declared label. gyotak-komon closes that gap: it proves region-membership in zero knowledge while keeping the exact location — a genuine competitive asset — secret. KOMON's aim is broader than seafood: a QR/tag-free way to prove an item's one-of-a-kind identity and its origin from a photo alone — from an EPS foam box to agricultural produce such as durian — as an experiment toward bringing provenance to primary industry at large. It also adds a per-individual fingerprint (komonCommit) for item-level provenance. gyotak-catch（Layer 1・Midnightメインネット）は登録座標のハッシュをコミットするが、「座標が申告エリア内にある」ことは証明しない（regionは自己申告ラベル）。gyotak-komon はその差を埋める — 正確な位置（真の競争資産）を秘匿したまま、エリア内であることをゼロ知識で証明する。KOMONの狙いは水産にとどまらない：QRコードやタグを貼らず、写真だけでモノの世界唯一性とその産地を証明する — 発泡スチロール箱から、ドリアンなどの農産物まで — 産地証明を一次産業全体へ広げるための実験である。あわせて個体単位の指紋（komonCommit）で個体レベルの来歴も付与する。 gyotak-catch (Layer 1 บน Midnight mainnet) คอมมิตแฮชของพิกัดที่ลงทะเบียนแต่ไม่พิสูจน์ว่าพิกัดอยู่ในเขตที่ประกาศ — region เป็นป้ายที่ประกาศเอง gyotak-komon ปิดช่องว่างนี้: พิสูจน์การอยู่ในเขตแบบ zero-knowledge โดยเก็บตำแหน่งที่แท้จริงเป็นความลับ เป้าหมายของ KOMON กว้างกว่าอาหารทะเล: วิธีพิสูจน์ความเป็นหนึ่งเดียวของวัตถุและแหล่งกำเนิดจากรูปภาพเพียงอย่างเดียว โดยไม่ต้องมี QR/แท็ก — ตั้งแต่กล่องโฟม EPS ไปจนถึงผลผลิตทางการเกษตรเช่นทุเรียน — เป็นการทดลองเพื่อขยายการพิสูจน์แหล่งกำเนิดสู่ภาคปฐมภูมิ และเพิ่มลายนิ้วมือรายตัว (komonCommit)

1. Contract Deployment 1. コントラクトのデプロイ 1. การ deploy คอนแทรกต์

2. Contract Specification 2. コントラクト仕様 2. ข้อกำหนดคอนแทรกต์

KomonRecord fields stored on-chain: オンチェーンに格納される KomonRecord のフィールド： ฟิลด์ของ KomonRecord ที่เก็บบนเชน:

recordKomon circuit arguments: recordKomon 回路引数： อาร์กิวเมนต์วงจร recordKomon:

batchId: Bytes<32>, region: Bytes<32>, komonCommit: Bytes<32>,
photoHash: Bytes<32>, privacyMode: Uint<8>,
latMin: Uint<32>, latMax: Uint<32>, lngMin: Uint<32>, lngMax: Uint<32>,
timestamp: Uint<64>

Witnesses (private inputs, never published): Witness（秘密入力、公開されない）： Witness (อินพุตส่วนตัว ไม่เปิดเผย):

witness getGpsCoords(batchId: Bytes<32>): Vector<2, Uint<32>>;  // exact coords (private)
witness localSecretKey(): Bytes<32>;                              // owner key (private)

3. The Range Proof 3. レンジ証明 3. การพิสูจน์ขอบเขต

The bounds (latMin/latMax/lngMin/lngMax) are public circuit parameters. The witnessed coordinates are compared against them, and disclose() exposes only the boolean outcome — which must be true — never the coordinate values. 範囲（latMin/latMax/lngMin/lngMax）は公開の回路パラメータ。witnessの座標をこれと比較し、disclose() は真偽（必ずtrueでなければならない）のみを開示する。座標値そのものは出ない。 ขอบเขต (latMin/latMax/lngMin/lngMax) เป็นพารามิเตอร์สาธารณะ พิกัดที่เป็น witness ถูกเทียบกับขอบเขต และ disclose() เปิดเผยเฉพาะผลบูลีน (ต้องเป็น true) ไม่ใช่ค่าพิกัด

assert(latMin <= latMax, "bad lat bounds");
assert(lngMin <= lngMax, "bad lng bounds");
assert(disclose(gps[0] >= latMin), "lat below range");
assert(disclose(gps[0] <= latMax), "lat above range");
assert(disclose(gps[1] >= lngMin), "lng below range");
assert(disclose(gps[1] <= lngMax), "lng above range");

4. Dual-Mode Privacy 4. デュアルモード・プライバシー 4. ความเป็นส่วนตัวสองโหมด

Compact has no ternary operator, so mode selection uses a multiplication trick. privacyMode (0/1) is disclosed and recorded on-chain. shielded (pm=0) forces lat=lng=0; disclosed (pm=1) stores the real coordinates. The circuit enforces this, so a prover cannot claim shielded while revealing, nor claim disclosed while hiding. The range proof runs in BOTH modes. Compactには三項演算子が無いため、モード選択は乗算トリックで行う。privacyMode(0/1)はdiscloseされオンチェーンに記録される。shielded(pm=0)はlat=lng=0を強制、disclosed(pm=1)は実座標を格納。回路がこれを強制するため、「秘匿を主張しつつ公開」も「公開を主張しつつ秘匿」も不可能。レンジ証明は両モードで常に実行される。 Compact ไม่มี ternary จึงใช้ multiplication trick เลือกโหมด privacyMode (0/1) ถูก disclose และบันทึกบนเชน shielded (pm=0) บังคับ lat=lng=0; disclosed (pm=1) เก็บพิกัดจริง วงจรบังคับ จึงอ้าง shielded แต่เปิดเผยไม่ได้ และอ้าง disclosed แต่ซ่อนไม่ได้ range proof ทำงานทั้งสองโหมด

const sel = pm as Uint<32>;
const latOut = (gps[0] * sel) as Uint<32>;  // pm=0 -> 0,  pm=1 -> real lat
const lngOut = (gps[1] * sel) as Uint<32>;  // pm=0 -> 0,  pm=1 -> real lng

5. Circuit Verification Results 5. 回路検証結果 5. ผลการตรวจสอบวงจร

6. Coordinate Encoding 6. 座標エンコード 6. การเข้ารหัสพิกัด

Coordinates are stored as scaled unsigned integers: stored = round(degrees × 1e7) + 231. The ×1e7 keeps ~cm precision; the +2³¹ offset shifts negatives into the unsigned range. Example: lat 12.3456789 → 123456789 + 2147483648 = 2270940437. 座標はスケール済み符号なし整数で格納：stored = round(度 × 1e7) + 231。×1e7で約cm精度、+2³¹で負値を符号なし範囲へシフト。例：緯度12.3456789 → 123456789 + 2147483648 = 2270940437。 พิกัดเก็บเป็นจำนวนเต็มไม่มีเครื่องหมาย: stored = round(องศา × 1e7) + 231 ×1e7 ให้ความละเอียดระดับ cm; +2³¹ เลื่อนค่าลบเข้าสู่ช่วงไม่มีเครื่องหมาย ตัวอย่าง: lat 12.3456789 → 2270940437

7. Scope & Limitations 7. 適用範囲と限界 7. ขอบเขตและข้อจำกัด

8. Design Philosophy 8. 設計哲学 8. ปรัชญาการออกแบบ

9. GYOTAK Protocol Layers 9. GYOTAKプロトコルレイヤー 9. GYOTAK Protocol Layers

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