Technical Report · ECOSUS CO., LTD. · TR-2026-006 技術報告書 · ECOSUS CO., LTD. · TR-2026-006 รายงานทางเทคนิค · ECOSUS CO., LTD. · TR-2026-006
gyotak-temp-log
Midnight Preprod Full Circuit Verification
gyotak-temp-log
Midnight Preprod 全回路検証報告
gyotak-temp-log
การยืนยันวงจรเต็มรูปแบบบน Midnight Preprod
ZK-verified cold chain temperature logging on Midnight Preprod: storage temperature recording, quick-freeze PASS/FAIL circuit with both outcomes permanently anchored on-chain Midnight Preprod 上での ZK 検証済みコールドチェーン温度記録:保管温度記録および急速冷凍 PASS/FAIL 回路の双方の結果をオンチェーンに永続記録 การบันทึกอุณหภูมิ cold chain ที่ตรวจสอบด้วย ZK บน Midnight Preprod: บันทึกอุณหภูมิจัดเก็บและวงจร quick-freeze PASS/FAIL โดยผลลัพธ์ทั้งสองบันทึกบนเชนถาวร
Preprod VerifiedPreprod 検証済みยืนยันบน Preprod แล้ว
Date日付วันที่
May 23, 20262026年5月23日23 พ.ค. 2569
Networkネットワークเครือข่าย
Midnight Preprod
Statusステータスสถานะ
Final最終版ฉบับสมบูรณ์
Class区分หมวดหมู่
Public公開สาธารณะ
Abstract. This report documents the full circuit verification of the gyotak-temp-log smart contract on the Midnight Preprod network. The contract implements two ZK-verified cold chain functions: (1) public storage temperature recording, and (2) zero-knowledge-proof-based quick-freeze PASS/FAIL determination against a -20°C / 15-minute threshold. Six circuit tests were executed across blocks 846,623–898,311, verifying recordStorageTemp, verifyStorageTemp, recordQuickFreeze (PASS), verifyQuickFreeze (PASS), recordQuickFreeze (FAIL), and verifyQuickFreeze (FAIL). All circuits returned expected results. Critically, both PASS and FAIL outcomes are permanently anchored on-chain—a deliberate transparency design where a system that only records success cannot be trusted.
要旨.本報告書は、Midnight Preprod ネットワーク上の gyotak-temp-log スマートコントラクトの全回路検証を記録する。本コントラクトは 2 つの ZK 検証済みコールドチェーン機能を実装する:(1) 公開保管温度記録、(2) -20°C / 15分基準に対するゼロ知識証明ベースの急速冷凍 PASS/FAIL 判定。ブロック 846,623〜898,311 にわたり 6 つの回路テストを実行し、全回路が期待結果を返した。重要なのは、PASS と FAIL の双方がオンチェーンに永続記録される点であり、これは「成功だけを記録するシステムに信頼はない」という透明性設計の意図的な実装である。
บทคัดย่อ. รายงานนี้บันทึกการยืนยันวงจรเต็มรูปแบบของ smart contract gyotak-temp-log บน Midnight Preprod ระบบมีฟังก์ชัน cold chain 2 ประเภท: (1) การบันทึกอุณหภูมิจัดเก็บแบบเปิดเผย และ (2) การตัดสิน PASS/FAIL ของ quick-freeze ด้วย zero-knowledge proof ตามเกณฑ์ -20°C / 15 นาที ดำเนินการทดสอบ 6 วงจรในบล็อก 846,623–898,311 วงจรทั้งหมดคืนค่าตามที่คาดหวัง ที่สำคัญคือทั้ง PASS และ FAIL บันทึกบนเชนถาวร—การออกแบบเชิงความโปร่งใสโดยเจตนา

1. Contract Deployment1. コントラクトデプロイ1. การ Deploy Contract

Parameter項目พารามิเตอร์Valueค่า
ContractコントラクトContractgyotak-temp-log
Networkネットワークเครือข่ายMidnight Preprod
Contract Addressコントラクトアドレスที่อยู่ Contract9bac09a1dabbfe43b677bb9edf15edd117178a7073d604b429d176fc07e89781
Deploy Timeデプロイ時刻เวลา Deploy2026-05-19 22:02:04 UTC
Deploy TXデプロイ TXDeploy TXUnder verification確認中อยู่ระหว่างการยืนยัน
Owner Public Keyオーナー公開鍵Public Key เจ้าของbf4b78efeb9c1979d77e487d40a20daefa43663c3cbd93dcd578d73333e08100

2. Contract Specification2. コントラクト仕様2. ข้อกำหนด Contract

Function関数ฟังก์ชันDescription説明คำอธิบาย
recordStorageTempPublic storage temperature recording (no ZKP)公開保管温度記録(ZKP なし)บันทึกอุณหภูมิจัดเก็บแบบเปิดเผย (ไม่มี ZKP)
verifyStorageTempVerify recorded storage temperature value記録済み保管温度値の検証ตรวจสอบค่าอุณหภูมิจัดเก็บที่บันทึกไว้
recordQuickFreezeZK-proof-based quick-freeze PASS/FAIL determination (-20°C / 15 min threshold)ZK証明ベースの急速冷凍 PASS/FAIL 判定(-20°C / 15分基準)การตัดสิน PASS/FAIL ของ quick-freeze ด้วย ZK proof (เกณฑ์ -20°C / 15 นาที)
verifyQuickFreezeVerify quick-freeze result on-chainオンチェーンでの急速冷凍結果検証ตรวจสอบผลลัพธ์ quick-freeze บนเชน
Parameterパラメータพารามิเตอร์Valueค่า
Time window時刻窓กรอบเวลา[840s, 960s] (14–16 min)
PASS sensor readingPASS センサー実測値ค่า sensor PASS9,979,000
FAIL sensor readingFAIL センサー実測値ค่า sensor FAIL9,999,000

3. Circuit Verification Results3. 回路検証結果3. ผลการยืนยันวงจร

Six circuit tests were executed sequentially across Midnight Preprod blocks 846,623 through 898,311.6 つの回路テストを Midnight Preprod ブロック 846,623〜898,311 にわたり順次実行した。ดำเนินการทดสอบ 6 วงจรตามลำดับในบล็อก 846,623 ถึง 898,311

Test 1 — recordStorageTempテスト 1 — recordStorageTempทดสอบ 1 — recordStorageTemp
Block846,623
Result結果ผลลัพธ์✓ Success
Test 2 — verifyStorageTempテスト 2 — verifyStorageTempทดสอบ 2 — verifyStorageTemp
Block849,082
Result結果ผลลัพธ์Expected value match期待値一致ค่าตรงกับที่คาดไว้
Test 3 — recordQuickFreeze PASSテスト 3 — recordQuickFreeze PASSทดสอบ 3 — recordQuickFreeze PASS
TX006d0fe04a3e6b9fc2e7f954a23e01d3fb546bb64a6e089c3ecd53a9c47ea4bfd4
Block898,101
Result結果ผลลัพธ์result = 1 (PASS)
Test 4 — verifyQuickFreeze PASSテスト 4 — verifyQuickFreeze PASSทดสอบ 4 — verifyQuickFreeze PASS
TX00a15200f10e590a36524977986cf70db27515c8bddd974ea08051d8d00fd87e46
Block898,235
Result結果ผลลัพธ์result = 1 — confirmed確認済みยืนยันแล้ว
Test 5 — recordQuickFreeze FAILテスト 5 — recordQuickFreeze FAILทดสอบ 5 — recordQuickFreeze FAIL
TX00cb23d1d148b43b69244c5740899251f50685b5172c3006b7fed3d534fed9df97
Block898,273
Result結果ผลลัพธ์result = 0 (FAIL)
Test 6 — verifyQuickFreeze FAILテスト 6 — verifyQuickFreeze FAILทดสอบ 6 — verifyQuickFreeze FAIL
TX0072c7f57740c8ae0f9243e292f9e0b65ff148464ec00481e9a31d45e19af12091
Block898,311
Result結果ผลลัพธ์result = 0 — confirmed確認済みยืนยันแล้ว

Summaryサマリーสรุป

#Function関数ฟังก์ชันBlockResult結果ผลลัพธ์
1recordStorageTemp846,623✓ Success
2verifyStorageTemp849,082✓ Match
3recordQuickFreeze898,101✓ PASS (1)
4verifyQuickFreeze898,235✓ PASS confirmed
5recordQuickFreeze898,273✓ FAIL (0)
6verifyQuickFreeze898,311✓ FAIL confirmed

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

"Both PASS and FAIL are recorded on-chain. A system that only records success cannot be trusted. GYOTAK's cold chain is transparent because it publishes its failures."
「PASSもFAILもオンチェーンに刻む。成功だけを記録するシステムに信頼はない。GYOTAKのコールドチェーンは、失敗を公開するから信頼される。」
"ทั้ง PASS และ FAIL บันทึกบนเชน ระบบที่บันทึกแค่ความสำเร็จไม่น่าเชื่อถือ GYOTAK cold chain น่าเชื่อถือเพราะเผยแพร่ความล้มเหลว"

Traditional food safety systems operate on a suppress-and-report-success model: failures are logged internally, corrective actions are taken, and only compliant records are presented to auditors or customers. This architecture creates an inherent information asymmetry that undermines trust.

GYOTAK's gyotak-temp-log contract inverts this model. Both PASS (result=1) and FAIL (result=0) outcomes are permanently anchored on-chain via zero-knowledge proofs. The sensor readings that produced each outcome remain private (protected by ZKP), but the fact of failure is public and immutable. This design makes selective disclosure impossible—you cannot delete a FAIL from a blockchain.

従来の食品安全システムは「失敗を抑制し、成功のみを報告する」モデルで運用される。不合格は内部ログに記録され、是正措置が取られ、監査人や顧客には適合記録のみが提示される。このアーキテクチャは情報の非対称性を生み、信頼を損なう。

GYOTAK の gyotak-temp-log コントラクトはこのモデルを反転させる。PASS(result=1)と FAIL(result=0)の双方がゼロ知識証明を通じてオンチェーンに永続記録される。各結果を生んだセンサー読み取り値は秘匿されるが(ZKP で保護)、「失敗した事実」は公開かつ不変である。選択的開示は不可能—ブロックチェーンから FAIL を削除することはできない。

ระบบความปลอดภัยอาหารแบบดั้งเดิมทำงานบนโมเดล"ปิดบังและรายงานเฉพาะความสำเร็จ": ความล้มเหลวถูกบันทึกภายใน แก้ไข และนำเสนอเฉพาะบันทึกที่ผ่านเกณฑ์ต่อผู้ตรวจสอบ สถาปัตยกรรมนี้สร้างความไม่สมมาตรของข้อมูล

Contract gyotak-temp-log ของ GYOTAK พลิกโมเดลนี้ ทั้ง PASS (result=1) และ FAIL (result=0) บันทึกบนเชนถาวรผ่าน zero-knowledge proof ค่า sensor ยังคงเป็นส่วนตัว (ปกป้องด้วย ZKP) แต่ข้อเท็จจริงของความล้มเหลวเป็นสาธารณะและไม่เปลี่ยนแปลง การเปิดเผยแบบเลือกสรรเป็นไปไม่ได้—คุณไม่สามารถลบ FAIL ออกจาก blockchain

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

Layer 1
gyotak-catch
Catch provenance ZKP漁獲産地 ZKPZKP ที่มาของปลา
Mainnet Approved
Layer 2
gyotak-temp-log
Storage temp + Quick-freeze ZKP保管温度 + 急速冷凍 ZKPอุณหภูมิจัดเก็บ + Quick-freeze ZKP
Preprod ✓ → Mainnet
Layer 3
gyotak-transit
Transport route verification輸送経路検証การยืนยันเส้นทางขนส่ง
Planned計画中วางแผน
Layer 4
gyotak-delivery
Delivery confirmation着荷証明การยืนยันการจัดส่ง
Planned計画中วางแผน

6. Archive Metadata6. アーカイブメタデータ6. Metadata สำหรับ Archive

Fieldフィールドฟิลด์Valueค่า
Document IDECOSUS-TR-2026-006
Prior Report先行報告รายงานก่อนหน้าTR-2026-005 · perma.cc/F3V7-Y2J3
Author著者ผู้เขียนTakuya Ogura, Chairman, ECOSUS CO., LTD.
Organization組織องค์กรECOSUS CO., LTD. · 0205562030631 · Pranburi, Thailand
Report date報告日วันที่May 23, 2026
Contract addressコントラクトアドレスที่อยู่ Contract9bac09a1dabbfe43b677bb9edf15edd117178a7073d604b429d176fc07e89781
Networkネットワークเครือข่ายMidnight Preprod
LicenseライセンスใบอนุญาตCC BY 4.0