ภาพรวมของโครงการทางการเงินที่สำคัญที่ควรค่าแก่ความสนใจในเส้นทาง ZK ล่าสุด

ชื่อระดับแรก

ZK, ZK-VM และ ZK-EVM

เพื่อให้เข้าใจถึงลักษณะทางเทคนิคที่อยู่เบื้องหลังแต่ละโครงการบนเส้นทาง ZK ก่อนอื่นเรามาทำความเข้าใจแนวคิดพื้นฐานที่เกี่ยวข้องกับ ZK

ZKP (Zero Knowledge Proof) ย่อมาจาก Zero-knowledge Proof ซึ่งหมายถึงการแก้ปัญหาความเป็นส่วนตัวและการขยายตัวของบล็อกเชนผ่านการเข้ารหัสทางคณิตศาสตร์ ส่วนใหญ่ผ่านผู้รับรองและผู้ตรวจสอบเพื่อตรวจสอบความถูกต้องของข้อมูลโดยไม่ต้องเปิดเผยข้อมูล

ZK-VM เป็นเครื่องเสมือนที่ใช้การพิสูจน์ความรู้เป็นศูนย์ ซึ่งรวมเอา ZK ที่พิสูจน์ความรู้เป็นศูนย์และ VM ของเครื่องเสมือน (Virtual Machine) โดยทั่วไป ZK-VM จะประกอบด้วยองค์ประกอบที่สำคัญ 2 ส่วน ส่วนหนึ่งคือคอมไพเลอร์ (Compiler) ซึ่งสามารถคอมไพล์ภาษาระดับสูง เช่น C++ และ Rust ให้เป็น Intermediate Expression (IR) เพื่อให้ระบบ ZK พิสูจน์ ส่วนอีกส่วนคือคำสั่ง set framework ISA (Instruction Set Architecture) ชุดคำสั่งส่วนใหญ่สั่งการทำงานของ CPU และเป็นชุดของชุดคำสั่งที่ใช้เพื่อเป็นแนวทางให้ CPU ดำเนินการ

ชื่อระดับแรก

ล่าสุด ZK ติดตามโครงการทางการเงินใหม่ที่ควรค่าแก่การให้ความสนใจ

Nil Foundation

Nil Foundationชื่อเต็มคือ "=nil; Foundation" ซึ่งเป็นคำที่ไม่มีความหมาย อันที่จริง ชื่อแปลกๆ นี้มาจากเรื่องตลกของการฉีด SQL

Nil Foundation ก่อตั้งขึ้นในปี 2561 โดยเริ่มต้นจากการเป็นระบบจัดการฐานข้อมูล เมื่อปลายปีที่แล้ว บริษัทได้เสร็จสิ้นการจัดหาเงินทุนจำนวน 22 ล้านดอลลาร์สหรัฐ จากการประเมินมูลค่า 220 ล้านดอลลาร์สหรัฐ นำโดย Polychain Capital โดยมีส่วนร่วมจาก Blockchain Capital, Starkware, Mina Protocol และ IOSG Ventures

Nil Foundation ได้สร้างคอมไพเลอร์วงจร ZK โดยใช้ LLVM ซึ่งสามารถคอมไพล์โปรแกรมที่เขียนด้วยภาษาระดับสูง เช่น C++ และ Rust ในการเป็นตัวแทนระดับกลาง (IRs) ที่เหมาะสมสำหรับการพิสูจน์ระบบ ZK นั่นคือ Nil Foundation เป็นวงจรคอมไพเลอร์ ไม่ใช่เครื่องเสมือน

LLVM (LowLevelVirtualMachine) เป็นระบบเฟรมเวิร์กสำหรับคอมไพเลอร์เฟรม ซึ่งสามารถเพิ่มประสิทธิภาพการคอมไพล์และรันไทม์ของโปรแกรมที่เขียนด้วยภาษาระดับสูง เช่น Rust และ C++ LLVM ได้รับการพัฒนาขึ้นในปี 2000 โดย Dr. Chris Lattner จาก University of Illinois หลังจากร่วมงานกับ Apple ในปี 2549 Chris Lattner เริ่มอุทิศตนให้กับการประยุกต์ใช้ LLVM ในระบบการพัฒนา ปัจจุบัน LLVM ถูกนำไปใช้กับบริษัทใหญ่ๆ เช่น Apple, Microsoft, Google และ Facebook

นอกจากนี้ Nil Foundation ยังมีสถานที่พิเศษในการจัดตั้ง "Proof Market" ผู้ใช้สามารถจ่ายเงินให้กับผู้ที่เป็นเจ้าของฮาร์ดแวร์เพื่อตรวจสอบผ่าน Proof Market และผู้ตรวจสอบจะแข่งขันกันเพื่อพิสูจน์สำหรับผู้ใช้ที่จ่ายเงิน ในเชิงคำนวณ ไดนามิกของตลาดเสรีนี้จะช่วยให้ผู้พิสูจน์สามารถเพิ่มประสิทธิภาพงานพิสูจน์ที่มีค่าที่สุดได้

Sovereign Labs

มุ่งเน้นไปที่การสร้าง ZK-Rollup SDKSovereign Labsบริษัทปิดรอบเมล็ดพันธุ์มูลค่า 7.4 ล้านดอลลาร์ในเดือนมกราคม นำโดย Haun Ventures โดยมีส่วนร่วมจาก Maven 11, 1KX, Robot Ventures และ Plaintext Capital

Sovereign Labs วางแผนที่จะสร้างชุดพัฒนาซอฟต์แวร์ (SDK) เพื่อช่วยให้นักพัฒนาสร้างการสั่งสมความรู้เป็นศูนย์ที่ปลอดภัยและทำงานร่วมกันได้ Sovereign SDK มีจุดมุ่งหมายเพื่อลดความซับซ้อนของการสร้าง ZK-Rollups เช่นเดียวกับที่ Cosmos SDK ทำให้การสร้างเลเยอร์ 1 ง่ายขึ้น เป็นกรอบการรวมแรกที่ขจัดความซับซ้อนของความรู้ที่ไม่มีศูนย์ ทำให้นักพัฒนาสามารถสร้างแอปพลิเคชันของตนได้โดยง่ายโดยที่นักพัฒนาไม่จำเป็นต้องเป็นผู้เชี่ยวชาญในการเข้ารหัส เมื่อใช้ Sovereign SDK นักพัฒนาจะสามารถเขียนแอปพลิเคชันในสำนวน Rust (หรือ C++) และ SDK จะรวบรวมแอปพลิเคชันเหล่านี้ลงในเครื่องเสมือน ZK ที่มีประสิทธิภาพโดยอัตโนมัติ

แผนงานของ Sovereign Labs แบ่งออกเป็น 3 ส่วน ระยะแรกคือการสร้างต้นแบบการออกแบบการวิจัยให้เสร็จในไตรมาสที่สองของปี 2023 ต้นแบบปัจจุบันผสานรวม Celestia เพื่อความพร้อมใช้งานของข้อมูล และ Risc 0 เพื่อการพิสูจน์ ขั้นตอนที่สองคือการปรับใช้ Sovereign SDK รวมถึงเครือข่ายเพียร์ทูเพียร์, โหนด RPC, API หลัก และโมดูลการจัดเก็บและการสั่งซื้อเริ่มต้น ขั้นตอนที่สามคือการดำเนินการล้างโค้ด การทดสอบ การฟัซซิ่ง และการตรวจสอบ

Ulvetanna

Ulvetanna การเริ่มต้นสร้างฮาร์ดแวร์เพื่อปรับปรุงประสิทธิภาพของการสร้าง Zero-knowledge Proof (ZKP) ได้เสร็จสิ้นการระดมทุน 15 ล้านดอลลาร์ที่มูลค่า 55 ล้านดอลลาร์ นำโดย Bain Capital Crypto และ Paradigm โดยมีส่วนร่วมจาก Jump Crypto

Ulvetanna กำลังสร้างฮาร์ดแวร์ที่ออกแบบมาเพื่อเร่งกระบวนการสร้าง ZKP และทีมงานของ Ulvetanna รวมถึงโปรแกรมเมอร์และวิศวกรจาก Coinbase, Microsoft และ Intel

เนื่องจากความต้องการ ZKP เพิ่มขึ้นในอนาคต ZKP จึงต้องการการคำนวณจำนวนมาก ซึ่งต้องใช้ฮาร์ดแวร์ที่ทรงพลังและใช้พลังงานจำนวนมาก Ulvetanna เชื่อว่าการสร้าง ZKP นั้นมีประสิทธิภาพมากกว่ามากบนฮาร์ดแวร์ที่ออกแบบมาตามวัตถุประสงค์ ดังนั้น Ulvetanna จึงรวบรวมทีมงานที่มีประสบการณ์ซึ่งประกอบไปด้วยผู้เข้ารหัสแบบประยุกต์ วิศวกรซอฟต์แวร์และฮาร์ดแวร์ ศูนย์ข้อมูลและสถาปนิกระบบคลาวด์ และนักลงทุนที่เป็นเจ้าของสกุลเงินดิจิทัล เพื่อให้บริการประมวลผลฮาร์ดแวร์ ZKP ที่มีประสิทธิภาพโดยการรวม การเข้ารหัสและการประมวลผลประสิทธิภาพสูง

Cysic

การเริ่มต้นฮาร์ดแวร์ ZKCysicเสร็จสิ้นการระดมทุน 6 ล้านดอลลาร์ในเดือนธันวาคม 2565 นำโดย Polychain Capital ร่วมกับนักลงทุนรายอื่น ได้แก่ Hashkey, SNZ Holding, ABCDE และ Web3.com Foundation

Cysic ตั้งเป้าที่จะจัดหาโซลูชันเร่งฮาร์ดแวร์สำหรับการพิสูจน์ ZK พันธมิตร Cysic ปัจจุบัน ได้แก่ Scroll, Nil Foundation และ Hyper Oracle

ทีม Cysic ได้พัฒนาต้นแบบ FPGA ของ Multiscalar Multiply (MSM) ซึ่งเป็นรูปแบบของฮาร์ดแวร์ที่ตั้งโปรแกรมได้คล้ายกับชิป CPU และ GPU (ประหยัดพลังงานน้อยกว่าการรัน MSM บน CPU)

Hyper Oracle

เครือข่ายออราเคิล ZKHyper Oracleเมื่อเร็ว ๆ นี้เสร็จสิ้นการจัดหาเงินทุนรอบเมล็ดพันธุ์มูลค่า 3 ล้านดอลลาร์ ซึ่งนำโดย dao 5 และ Sequoia China Seed Fund ตามมาด้วย Foresight Ventures และ FutureMoney Group

Hyper Oracle กำลังพัฒนาโปรโตคอลมิดเดิลแวร์ ZK และ ZK oracle machine zkOracle บนเครื่องเสมือน zkWASM เพื่อแก้ปัญหาความท้าทายของมิดเดิลแวร์บล็อกเชนในแง่ของความปลอดภัย การกระจายอำนาจ ความสมบูรณ์ของการคำนวณ และประสิทธิภาพ

Polyhedra

สตาร์ทอัพโครงสร้างพื้นฐาน ZK ล่าสุดPolyhedra Network ปิดรอบการระดมทุน $10M นำโดย Binance Labs และ Polychain Capital โดยมีส่วนร่วมจาก Animoca Brands และ Dao 5

ปัจจุบัน Polyhedra พัฒนาผลิตภัณฑ์ ZK 3 รายการที่ใช้เทคโนโลยี ZK ได้แก่ ZK Bridge (zkBridge) สำหรับการส่งผ่านสินทรัพย์ L1 และ L2 ZK-DID โซลูชันระบุตัวตนผู้ใช้ที่ใช้เทคโนโลยีการพิสูจน์ความรู้เป็นศูนย์เพื่อปกป้องความเป็นส่วนตัว โปรโตคอล NFT ที่ตั้งโปรแกรมได้ ZK- NFT ผลิตภัณฑ์นี้ใช้เทคโนโลยีการพิสูจน์ความรู้เป็นศูนย์เพื่อปกป้องความเป็นส่วนตัวของทรัพย์สินของผู้ใช้ ในปัจจุบันเครือข่ายทดสอบ zkBridge ได้เปิดตัวแล้ว นอกจากนี้ Polyhedra ยังได้พัฒนาโซลูชันการปรับขนาดที่เรียกว่า ParaPlonk ซึ่งสามารถใช้เครือข่ายการสร้างหลักฐานแบบกระจายขนาดใหญ่เพื่อเร่งการยกเลิก ZK Polyhedra วางแผนที่จะผสานรวมบล็อกเชนมากขึ้น และทำให้นักพัฒนาเข้าถึงได้ง่ายผ่านเครื่องมือ API และ SDK เพื่อดึงดูดนักพัฒนา ZK-rollup มากขึ้น

RISC ZERO

RISC Zero(ข้อมูลทางการเงินยังไม่ได้รับการประกาศ) เป็น ZK-VM แบบโอเพ่นซอร์สสำหรับวัตถุประสงค์ทั่วไป ชื่อโครงการ มีที่มาจาก RISC (คอมพิวเตอร์ชุดคำสั่งลดขนาด) ที่ได้รับความนิยม RISC Zero ใช้ RISC-V เจนเนอเรชั่นที่ 5 ล่าสุด แนวคิดของชุดคำสั่ง RISC-V คือการเพิ่มชุดคำสั่งที่ลดลงซึ่งมีมากกว่า 40 ชุดคำสั่งเท่านั้น เนื่องจากชุดคำสั่ง RISC-V ทำให้ RISC Zero รองรับภาษาการเขียนโปรแกรมขั้นสูง เช่น C++, Rust และ Go และนักพัฒนาสามารถใช้ ZK-VM ได้โดยไม่ต้องเรียนรู้ภาษาใหม่

การเติบโตของผลิตภัณฑ์ RISC Zero รองประธาน Manasi (อดีตผู้อำนวยการฝ่ายการเติบโตของ Uniswap) กล่าวว่า RISC Zero จะสนับสนุน Solidity ดังนั้น RISC Zero จะเป็นมิตรกับนักพัฒนา Ethereum ดั้งเดิมมากกว่า ในแง่ของการรวบรวมภาษา RISC ZERO นำสถาปัตยกรรม LLVM มาใช้โดยผู้ผลิตรายใหญ่หลายราย จากมุมมองของเส้นทางทางเทคนิค RISC ZERO อาจกลายเป็นโครงการทั่วไปบนเส้นทาง ZK-VM เนื่องจากการใช้โซลูชันการรวบรวมและชุดคำสั่งที่ค่อนข้างสมบูรณ์

ทิศทางการพัฒนาราง ZK

ปีที่แล้ว โครงการในเส้นทาง ZK มุ่งเน้นไปที่ ZK-EVM ที่เข้ากันได้กับ Ethereum เช่น Starknet, zkSync, Scroll และโครงการยอดนิยมอื่นๆ เป็นหลัก เมื่อพิจารณาจากประเภทของโครงการ ZK ที่ได้รับทุนเมื่อเร็วๆ นี้ โดยพื้นฐานแล้วจะขึ้นอยู่กับระดับโครงสร้างพื้นฐาน เช่น คอมไพเลอร์วงจร ZK, การเร่งด้วยฮาร์ดแวร์ ZK, ZK oracles และบริดจ์

ในขณะเดียวกัน โครงการเหล่านี้ก็มีแนวโน้มเช่นกัน กล่าวคือ จำนวนโครงการ ZK-VM เริ่มเพิ่มขึ้น ในความเป็นจริง ด้วยการแนะนำระบบพิสูจน์ ZK นั้น ZK-VM สามารถช่วยให้แอปพลิเคชัน Web2.0 จำนวนมากรวมการพิสูจน์ที่ไม่มีความรู้เพื่อเข้าสู่ Web3 ตัวอย่างเช่น บริการแบ็กเอนด์ Gamefi ปัจจุบันสำหรับการจัดการข้อมูลผู้ใช้เป็นแบบรวมศูนย์ หากแบ็กเอนด์ใช้ ZK-VM เกมจะสามารถบรรลุการกระจายอำนาจที่แท้จริงได้ โดยการเปรียบเทียบ แอปพลิเคชัน Web2.0 จำนวนมากสามารถกระจายอำนาจได้หากจำเป็น

อนาคต ZK-EVM หรือ ZK-VM คืออะไร? แม้ว่าแอปพลิเคชันบน Ethereum จะค่อยๆ รองรับ ZK-EVM แต่ Web3 ไม่จำกัดเฉพาะ Ethereum เนื่องจาก ZK-VM รองรับภาษาขั้นสูงและสร้างได้ง่ายกว่า ZK-EVM (ZK-VM สามารถใช้สถาปัตยกรรมคอมไพเลอร์และชุดคำสั่งที่เป็นผู้ใหญ่ได้) หาก ZK-VM สามารถรองรับ Solidity ได้ดี ZK-VM อาจเป็นอนาคตของ Web3