หลักฐานของ AI: คลาวด์โอเพนซอร์สที่จ่ายเงินให้นักพัฒนาที่มันรันอยู่บน
Hanzo Cloud สร้างบนหลักฐานของ AI — การอนุมานเชิงกำหนดที่ผู้ตรวจสอบคนใดก็ตรวจซ้ำบนเชนได้ — และบนคำมั่นว่า 25% ของสิ่งที่คลาวด์หาได้จะไหลกลับไปยังนักพัฒนาโอเพนซอร์สที่โค้ดของพวกเขาถูกนำมารัน
ในหน้านี้
ใต้ทุกคำเสนอ «AI แบบกระจายศูนย์» มีปัญหาหนักสองข้อ และโครงการส่วนใหญ่เพียงโบกมือให้ทั้งคู่
ข้อแรก: คุณจะเชื่อผลที่คุณไม่ได้คำนวณเองได้อย่างไร ถ้าเครื่องระยะไกลบอกว่า «โมเดลให้ผล X» คุณจะรู้ได้อย่างไรว่ามันรันโมเดลจริง — ไม่ใช่ตัวที่ถูกกว่า ไม่ใช่ขยะ ไม่ใช่คำโกหกที่แคชไว้
ข้อสองเงียบกว่า และเราคิดว่าสำคัญกว่า: กอง AI ทั้งกองสร้างบนโอเพนซอร์สที่แทบไม่มีใครจ่ายให้ เซิร์ฟเวอร์อนุมานของคุณ ตัวตัดโทเค็นของคุณ ดัชนีเวกเตอร์ของคุณ ไลบรารีคริปโตของคุณ — เขียนโดยคนที่ไม่เห็นรายได้แม้บาทเดียวจากโค้ดของตน
หลักฐานของ AI (PoAI) คือคำตอบของเราต่อข้อแรก คำมั่นเรื่องการจ่ายคือคำตอบต่อข้อสอง โพสต์นี้เป็นบัญชีที่ซื่อสัตย์ว่าอะไรมีชีวิตอยู่ในวันนี้ อะไรถูกต่อไว้แต่ยังหลับ และอะไรยังเป็นแผนงาน เราจะบอกให้ชัดว่าอันไหนเป็นอันไหน — เพราะประเด็นทั้งหมดคือความตรวจสอบได้
หลักฐานของ AI พิสูจน์อะไรจริง
การคำนวณ AI ขึ้นชื่อว่าตรวจยาก เพราะคณิตศาสตร์ทศนิยมลอยตัวไม่เชิงกำหนด: โมเดลเดียวกัน อินพุตเดียวกัน GPU เดียวกัน อาจให้ตัวเลขต่างกันเล็กน้อยตามลำดับการดำเนินการและการจัดตาราง คุณไม่สามารถได้ฉันทามติบนตัวเลขที่เปลี่ยนทุกครั้งที่คำนวณ
PoAI เอาความไม่เชิงกำหนดออก แทนที่จะพยายามพิสูจน์อ้อมมัน:
- การอนุมานด้วยจำนวนเต็มเท่านั้น น้ำหนักและการกระตุ้นถูกควอนไทซ์เป็น
int8การสะสมเป็นint32การสเกลเป็นการเลื่อนขวาทางเลขคณิต เอาต์พุตอิ่มตัว และฟังก์ชันอดิศัยเป็นตารางค้นหาที่แช่แข็ง — ไม่มีวันเป็นexp()หรือrsqrt()ผลคือการเดินหน้า เหมือนกันทีละบิต บน CPU, Metal, CUDA และ AMD - คำนวณใหม่ ไม่ใช่ความเชื่อ ทรานส์ฟอร์มเมอร์จำนวนเต็มถูกเปิดเป็นพรีคอมไพล์ของ EVM โมเดลความเชื่อคือแบบที่เรียบง่ายที่สุดที่มีอยู่: ผู้ตรวจสอบทุกคนรันการคำนวณชุดเดียวกันซ้ำระหว่างการดำเนินการบล็อก ถ้าเอาต์พุตของคุณไม่ตรงกับที่เครื่องของคนอื่นผลิต บล็อกของคุณถูกปฏิเสธ ไม่มีคณะกรรมการ ไม่มีฮาร์ดแวร์พิเศษ ไม่มีบทพิสูจน์ให้ปลอม
นี่คือรูปของ PoAI ที่งานวิจัยของเราอธิบายครั้งแรกใน หลักฐานของ AI: การคำนวณที่ตรวจสอบได้ในฐานะพื้นฐานของฉันทามติ (ZIP-002) และตอนนี้ส่งเป็นโค้ดแล้ว
ส่วนนี้มีชีวิตอยู่
ศิลาหลักคือการคูณเมทริกซ์ int8 เชิงกำหนด — gemm_i8 — ที่ทำให้เป็นจริง เหมือนกันทีละไบต์ใน Go, Rust และ C++ พร้อมเคอร์เนล GPU (Metal, CUDA, HIP) ที่ผ่านการทดสอบคำตอบที่รู้แล้วชุดเดียวกัน การทำให้เป็นจริงด้วย Go เป็น พรีคอมไพล์ EVM ที่ลงทะเบียนแล้ว ที่อยู่ 0x0300...0003 ถูกนำเข้าแบบว่างโดย EVM ของ Lux, Zoo และ Hanzo ดังนั้นเส้นทางอนุมานเชิงกำหนดเส้นเดียวกันจึงใช้ร่วมกันทั้งสามเชน ลำดับโทเค็นทองคำถูกยืนยันข้ามทุกภาษาเป็นการทดสอบ:
prompt 1 7 13 2 → 4 28 21 17 2 19 43 35 36 15ถ้าเวกเตอร์นั้นต่างกันระหว่างสองเครื่องเมื่อใด CI จะแดง นั่นคือความหมายของ «ตรวจสอบได้» ในทางปฏิบัติ
ส่วนนี้คือแผนงานที่ซื่อสัตย์
- ขนาดโมเดล พรีคอมไพล์บนเชนวันนี้รันทรานส์ฟอร์มเมอร์อ้างอิงขนาดเล็ก การพอร์ตโมเดลโปรดักชัน (Qwen3-0.6B / zen-nano) ถูกระบุไว้และกำลังทำ — การคำนวณโมเดลแนวหน้าซ้ำในผู้ตรวจสอบทุกคนไม่ใช่เป้าหมาย โมเดลเล็กที่ตรวจสอบได้ และการตรวจแบบสุ่มตัวอย่างของโมเดลใหญ่ต่างหากที่เป็นเป้าหมาย
- บทพิสูจน์เชิงรหัส บทพิสูจน์ zkML และการดำเนินการที่เป็นความลับ (TEE) ถูกออกแบบและวางโครงไว้สำหรับรุ่นถัดไป การรับประกันวันนี้คือ ความเชิงกำหนดที่คุณรันซ้ำได้ ซึ่งเป็นการรับประกันจริง — เพียงไม่ใช่บทพิสูจน์แบบกระชับ
- การรับรองฮาร์ดแวร์ สำหรับโมเดลที่ใหญ่เกินกว่าจะคำนวณใหม่บนเชน จุดยึดความเชื่อคือการรับรองฮาร์ดแวร์ การรับรอง AMD SEV-SNP ทำให้เป็นจริงตั้งแต่ต้นจนจบในกองของเรา (ตรวจโซ่ใบรับรองเต็มกับบริการกุญแจของ AMD) ส่วน Intel TDX และการคำนวณลับของ GPU จาก NVIDIA วางโครงไว้ ยังไม่เสร็จ
เราอยากบอกคุณแบบนี้ มากกว่าส่งสไลด์ที่เขียนว่า «AI ที่ตรวจด้วย zk»
การจ่ายโอเพนซอร์ส: 25% โดยการออกแบบ
นี่คือคำมั่น และมันอยู่ในโค้ดของเรา ไม่ใช่แค่โพสต์บล็อก: 75% ของรายได้คลาวด์ที่ระบุที่มาได้คงอยู่กับแพลตฟอร์ม 25% ถูกรวมไว้ให้นักพัฒนาโอเพนซอร์สที่แพ็กเกจของพวกเขาถูกคลาวด์รันจริง
การระบุที่มาทำงานตั้งแต่ต้นจนจบอย่างไร:
| ขั้น | เกิดอะไรขึ้น |
|---|---|
| สร้าง | ทุกอิมเมจที่ระบบบิลด์ของเราสร้างได้รายการวัสดุซอฟต์แวร์ (syft → CycloneDX) — กราฟการพึ่งพาที่แน่นอนของสิ่งที่ส่งออก |
| ระบุที่มา | เอนจิน git blame จับคู่แต่ละการพึ่งพากับผู้เขียน ทีละบรรทัด แล้วผลิตสัดส่วนการมีส่วนร่วมต่อผู้เขียน |
| วัด | คลาวด์วัดการใช้งานต่อองค์กรเพื่อวางบิลอยู่แล้ว การใช้งานนั้นคือฐานต้นทุน |
| แบ่ง | การใช้งานถูกจัดสรรข้ามกราฟการพึ่งพา ถ่วงน้ำหนักด้วยการมีส่วนร่วม และ 25% ของจำนวนที่ระบุที่มาได้ถูกสำรองไว้ให้ผู้มีส่วนร่วม |
| จ่าย | ผู้มีส่วนร่วมได้รับเงิน — เริ่มต้นด้วยเครดิต Hanzo ที่ไม่หมดอายุ รางคริปโตและเงินเฟียตตามมา |
เราพูดสถานะให้แม่น: ตัวสร้าง SBOM, เอนจินระบุที่มา, การแบ่ง 25%, การวัด และโมเดลการจ่าย มีอยู่ในโค้ดวันนี้ทั้งหมด สิ่งที่เรากำลังต่อคือเนื้อเยื่อเชื่อม — เปิดการนำเข้า SBOM, จัดตารางรอบการจ่าย และส่งเงินจริงผ่านรางที่จ่ายให้ผู้รับตามอำเภออยู่แล้ว การจ่ายก้อนแรกไปยังการพึ่งพาที่ Hanzo Cloud เองรันอยู่บน ในฐานะการทำให้เป็นจริงอ้างอิง
เชื่อมที่เก็บของคุณ แล้วรับเงิน
สถานะปลายทางคือบริการตนเอง: เชื่อมที่เก็บ GitHub, ยืนยันว่าคุณเป็นเจ้าของ, เลือกวิธีที่อยากรับเงิน, และได้รับส่วนแบ่งทุกครั้งที่ Hanzo Cloud รันซอฟต์แวร์ที่ขึ้นกับของคุณ ขั้นตอนนำเข้านี้คือชิ้นที่เรากำลังสร้างถัดไป เมื่อมันมาถึง มันจะเป็นหัวเรื่องตามตัวอักษรของชื่อโพสต์นี้ — และคุณจะตรวจรายได้ของตนเองกับ SBOM ที่ก่อให้เกิดมันได้
การรันโหนด และการแบ่งปันคลาวด์
ผู้ปฏิบัติการโหนด Hanzo Node ให้เครื่องลงทะเบียนด้วยอัตลักษณ์เชิงรหัส ประกาศว่าทำอะไรได้ รับงานผ่านเครือข่ายเพียร์ทูเพียร์ และได้เงินผ่านการชำระด้วยสเตเบิลคอยน์ (x402) วงนั้นเป็นจริงวันนี้สำหรับงานเอเจนต์และเครื่องมือ ตลาดการคำนวณที่วัดด้วยฮาร์ดแวร์และรับรองครบ — ที่ซึ่งคุณขายเวลา GPU ภายใต้การรับรอง TEE และชำระบนเชน — คือทิศทาง สร้างบนพื้นฐานการรับรองและการชำระข้างต้น ไม่ใช่ทางลัดอ้อมพวกมัน
การแนะนำและการแบ่งปัน แนะนำนักพัฒนาหรือองค์กร แล้วทั้งคู่ได้เครดิต พันธมิตรได้ส่วนแบ่งเป็นชั้นของค่าใช้จ่ายที่ถูกแนะนำ สิ่งนี้มีชีวิตอยู่ในระบบวางบิลวันนี้ มีประตูกันการฉ้อโกงและผ่านการทดสอบ — เครื่องจักรแบ่งรายได้ชุดเดียวกับที่การจ่ายโอเพนซอร์สสร้างอยู่บน
ทำไมเรื่องนี้จึงสำคัญ
คลาวด์ AI ที่พิสูจน์ผลของตนเองไม่ได้กำลังขอความเชื่อแบบปิดตา คลาวด์ AI ที่ได้กำไรจากโอเพนซอร์สโดยไม่จ่ายคืนนั้นไม่ยั่งยืน หลักฐานของ AI จัดการข้อแรกด้วยกลไกที่น่าเบื่อที่สุดและแข็งแรงที่สุดที่มี — การคำนวณใหม่เชิงกำหนด — และการจ่าย 25% ของเราจัดการข้อสองด้วยตัวเลขที่เราเขียนลงในโค้ด
ใบบันทึกที่ซื่อสัตย์: แกนการอนุมานที่ตรวจสอบได้ถูกส่งและทดสอบแล้ว ท่อการจ่ายถูกสร้างและกำลังถูกเปิด บทพิสูจน์ การพอร์ตโมเดลใหญ่ และประตูหน้าแบบบริการตนเองคือแผนงานที่มีรากฐานจริงอยู่ข้างใต้
เราจะเผยแพร่ต่อไปว่าอะไรจริง และติดป้ายสิ่งที่ไม่จริง นั่นคือทางเดียวที่ «หลักฐานของ AI» จะมีความหมาย
Hanzo AI คือ Techstars '17 การตรวจทางเทคนิคเบื้องหลังโพสต์นี้ — ทุกข้ออ้างถูกจับคู่กับไฟล์และบรรทัด — ถูกดูแลภายในและขับแผนการสร้าง
อ่านต่อ
เราเตอร์คือรีจิสทรี
Hanzo Cloud ไม่มีไฟล์ OpenAPI ที่เช็คอินไว้ ตารางเส้นทางที่กำลังทำงานคือแหล่งที่มา ถูกฉายสามทาง และการทดสอบการสมนัยสองทางทำให้บิลด์ล้มถ้าภาพฉายใดเลื่อน 1,362 การดำเนินการบน 963 เส้นทาง สร้างต่อโปรเซสในเวลาที่มีคำขอ
Introducing Enso — one API, routed to the best frontier intelligence
Enso is Hanzo's learned router: no single frontier model leads every benchmark, so Enso routes each request to the model most likely to win it — and learns from your feedback as it goes. Microsecond routing on a CPU, a transparent per-request meter, and a 1% fee that pays for itself. Here is how it works, the measured results, and the cost-transparency angle a monolith cannot offer.
Route every prompt to the right model — and cut AI cloud costs by up to 90%
Hanzo Router places each request on the cheapest model that can still serve it — reuse a local model for free, load one that fits, or fall through to cloud. Here's the idea, what it feels like in production (qualitative), and the honest cost arithmetic (quantitative) — no fabricated benchmark.