ปัจจัยที่สำคัญที่สุดประการหนึ่งว่าการประมวลผลแบบคลาวด์สามารถนำมาใช้กันอย่างแพร่หลายได้หรือไม่ก็คือความน่าเชื่อถือ ในกระบวนการสมัครจริง ข้อมูลทั้งหมดบนคลาวด์คอมพิวติ้งจะต้องครบถ้วน และในขณะเดียวกันในระหว่างการรันโปรแกรม ข้อมูลนั้นจะต้องมีความแม่นยำสูง จึงสามารถขยายขอบเขตการใช้งานของคลาวด์คอมพิวติ้งได้อย่างมีประสิทธิภาพ นอกจากนี้ โปรโตคอลการประมวลผลแบบคลาวด์สามารถตัดสินผลตอบรับทั้งหมดในเซิร์ฟเวอร์ และเซิร์ฟเวอร์ระยะไกลไม่จำเป็นต้องดำเนินการตามขั้นตอนที่เกี่ยวข้องอีกครั้ง ในช่วงไม่กี่ปีที่ผ่านมา คอมพิวเตอร์ที่ตรวจสอบได้ได้รับความสนใจอย่างมากจากนักวิจัย และกลายเป็นเทรนด์หลักในการพัฒนาคลาวด์คอมพิวติ้งที่เชื่อถือได้
นำโดย Grigore Rosu ศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์ที่มหาวิทยาลัยอิลลินอยส์ Urbana-Champaign บริษัท Pi Squared เป็นบริษัทที่มุ่งเน้นการเปิดใช้งานการคำนวณที่ตรวจสอบได้ผ่านเทคโนโลยีที่ไม่มีความรู้ แนวคิดหลักของ Pi Squared มาจากการวิจัยทางวิชาการของ Rosu เป็นเวลาหลายปี เขาสำรวจเทคโนโลยีนี้ร่วมกับนักเรียนของเขาเป็นเวลาหลายปี และในที่สุดก็ก่อตั้งแนวคิดของ Pi Squared
ตามที่คนวงในในอุตสาหกรรมระบุว่า หาก Pi Squared ประสบความสำเร็จ มันจะปฏิวัติการประมวลผลที่ตรวจสอบได้ เทคโนโลยีนี้จะไม่เพียงแต่ใช้ใน Universal Settlement Layer (USL) ของบล็อกเชนและการประมวลผลบนคลาวด์ที่เชื่อถือได้เท่านั้น แต่ยังจะขยายไปสู่สาขาการตรวจสอบทางวิทยาศาสตร์ด้วย และความรู้ และทำงานได้ในทุกภาษาและเวอร์ช่วลแมชชีนอย่างแม่นยำและรวดเร็ว
อาจกล่าวได้ว่าสถานการณ์การใช้งานและพื้นที่คุณค่าของ Pi Squared นั้นเต็มไปด้วยจินตนาการ
ก่อนที่จะเรียนรู้เพิ่มเติมเกี่ยวกับ Pi Squared จำเป็นต้องทำความเข้าใจโครงการนวัตกรรมอื่นๆ อีกหลายโครงการที่ใช้เทคโนโลยี ZK ก่อน รวมถึงความแตกต่างและความเชื่อมโยงกับ Pi Squared
01
การวิเคราะห์ผลิตภัณฑ์คู่แข่ง
ZKsync
ZKsync เป็นโซลูชันการปรับขนาด Ethereum ที่ใช้ประโยชน์จากเทคโนโลยี ZK-rollup เพื่อให้ได้ปริมาณงานสูงและค่าธรรมเนียมการทำธุรกรรมต่ำ บรรลุความสามารถในการปรับขนาดได้โดยการรวมธุรกรรมหลายรายการเข้าด้วยกันและสร้างหลักฐาน ZK ข้อได้เปรียบหลักของ ZKsync คือความเร็วและค่าธรรมเนียมในการทำธุรกรรมลดลงอย่างมากในขณะที่ยังคงรักษาความปลอดภัยของ Ethereum
ZK-พื้นเมือง
ZK-native หมายถึงบล็อกเชนที่ใช้เทคโนโลยีพิสูจน์ความรู้เป็นศูนย์จากการออกแบบพื้นฐาน บล็อกเชนเหล่านี้มักจะมีการป้องกันความเป็นส่วนตัวที่แข็งแกร่งกว่าและมีความสามารถในการบีบอัดข้อมูล เช่น StarkNet และ Mina Protocol พวกเขารับประกันความเป็นส่วนตัวและประสิทธิภาพของธุรกรรมและข้อมูลโดยการบูรณาการเทคโนโลยี ZK โดยตรงในระดับโปรโตคอล
โซ่ ZK
ZK-native หมายถึงบล็อกเชนที่ใช้เทคโนโลยีพิสูจน์ความรู้เป็นศูนย์จากการออกแบบพื้นฐาน บล็อกเชนเหล่านี้มักจะมีการป้องกันความเป็นส่วนตัวที่แข็งแกร่งกว่าและมีความสามารถในการบีบอัดข้อมูล เช่น StarkNet และ Mina Protocol พวกเขารับประกันความเป็นส่วนตัวและประสิทธิภาพของธุรกรรมและข้อมูลโดยการบูรณาการเทคโนโลยี ZK โดยตรงในระดับโปรโตคอล
โซ่ ZK
ZK Chain หมายถึงระบบบล็อกเชนที่ใช้เทคโนโลยีพิสูจน์ความรู้เป็นศูนย์เป็นองค์ประกอบหลัก ระบบเหล่านี้มักได้รับการออกแบบมาเพื่อปรับปรุงการปกป้องความเป็นส่วนตัวและความสามารถในการปรับขนาดของบล็อกเชน เช่น Aztec และ Zcash ZK Chain มอบการปกป้องความเป็นส่วนตัวที่แข็งแกร่งแก่ผู้ใช้และความสามารถในการประมวลผลธุรกรรมที่มีประสิทธิภาพโดยการใช้เทคโนโลยี เช่น ZK-SNARK หรือ ZK-STARK
ความแตกต่างที่สำคัญระหว่าง Pi Squared และเทคโนโลยีที่กล่าวมาข้างต้นคือความคล่องตัวและวิธีการตรวจสอบ ในขณะที่ ZKsync, ZK-native และ ZK Chain ต่างมุ่งเน้นไปที่การปรับปรุงประสิทธิภาพและการปกป้องความเป็นส่วนตัวสำหรับบล็อกเชนที่เฉพาะเจาะจง Pi Squared ให้การตรวจสอบที่เป็นสากลสำหรับบล็อกเชน เครื่องเสมือน และภาษาการเขียนโปรแกรมทั้งหมดผ่าน Universal Settlement Layer (USL) คำนวณวิธีแก้ปัญหา . เทคโนโลยี PoP ของ Pi Squared ไม่เพียงแต่เหมาะสำหรับบล็อกเชนเท่านั้น แต่ยังสามารถขยายไปยังสาขาการประมวลผลอื่นๆ เพื่อให้เกิดการประมวลผลที่แพร่หลายอย่างแท้จริง
02
USL: ทรัมป์การ์ดของ Pi Squared
ผลิตภัณฑ์แรกของ Pi Squared คือ Universal Settlement Layer (USL) ซึ่งเป็นสถาปัตยกรรมบล็อกเชนแบบแยกส่วนพร้อมคุณสมบัติหลักดังต่อไปนี้:
(1) ความเป็นสากล
USL รองรับการคำนวณในภาษาหรือเครื่องเสมือนใด ๆ โดยไม่ต้องใช้คอมไพเลอร์ ซึ่งหมายความว่านักพัฒนาสามารถใช้ภาษาการเขียนโปรแกรมที่คุ้นเคยสำหรับการชำระเงินธุรกรรมบล็อคเชน
(2) ความถูกต้องที่พิสูจน์ได้
USL ตรวจสอบความถูกต้องของการคำนวณผ่านการพิสูจน์ทางคณิตศาสตร์ และหน่วยงานภายนอกใดๆ สามารถตรวจสอบความถูกต้องของสถานะ USL ได้อย่างอิสระ
(3) การลดฐานความไว้วางใจให้เหลือน้อยที่สุด
USL เปิดเผยสมมติฐานด้านความน่าเชื่อถือในการคำนวณชั้นบนอย่างโปร่งใส ท้ายที่สุดคือการลดฐานความน่าเชื่อถือผ่านการพิสูจน์ความถูกต้อง และเพิ่มความไว้วางใจและความโปร่งใสของผู้ใช้
(4) การทำงานร่วมกันของแอปพลิเคชัน
USL รองรับการทำงานร่วมกันระหว่างโมดูลแอปพลิเคชันและเครือข่ายที่แตกต่างกัน เช่น การโต้ตอบระหว่าง Appchains
(5) ความแน่นอนและการทำซ้ำ
กระบวนการตรวจสอบของ USL นั้นถูกกำหนดไว้แล้วและสามารถทำซ้ำได้โดยอิสระโดยหน่วยงานภายนอก
สถาปัตยกรรม USL ของ Pi Squared ประกอบด้วยเลเยอร์และส่วนประกอบหลายชั้น ซึ่งแต่ละเลเยอร์มีบทบาทสำคัญในการทำให้การคำนวณมีประสิทธิภาพและตรวจสอบได้
ขั้นแรกคือเลเยอร์คอมพิวเตอร์
เลเยอร์การประมวลผลตั้งอยู่ที่ด้านบนของสถาปัตยกรรม และเป็นที่ที่ภาษาต่างๆ และเครื่องเสมือนทำการคำนวณ รวมถึงกลไกการดำเนินการทางการค้า ห่วงโซ่แอปพลิเคชันที่ทำงานได้อย่างสมบูรณ์ และการยกเลิกการดำเนินการ การคำนวณในเลเยอร์การประมวลผลอาจซับซ้อนมากและสภาพแวดล้อมสามารถนำการปรับให้เหมาะสมและการประมวลผลแบบขนานของตัวเองไปใช้โดยที่ USL ไม่จำเป็นต้องเข้าใจว่าการคำนวณเหล่านี้ดำเนินการอย่างไร
ประการที่สอง เครือข่ายซีเควนเซอร์
Sequencer Network มีหน้าที่รับผิดชอบในการประมวลผลธุรกรรมระหว่างเลเยอร์การประมวลผลและ USL ตัวจัดลำดับตรวจสอบและรวบรวมธุรกรรมเป็นบล็อก ส่งเสริมประสิทธิภาพและเพิ่มปริมาณธุรกรรม โดยทั่วไป Sequencer Network จะมีการกระจายอำนาจและเรียกใช้อัลกอริธึมที่เป็นเอกฉันท์เพื่อจัดลำดับธุรกรรมอย่างปลอดภัย การยืนยันล่วงหน้าที่เลเยอร์ Sequencer Network นั้นเป็นไปด้วยดี และธุรกรรมที่ไม่ถูกต้องสามารถย้อนกลับได้หลังจากการตรวจสอบ USL
ประการที่สาม อินเทอร์เฟซเลเยอร์การดำเนินการ
ประการที่สาม อินเทอร์เฟซเลเยอร์การดำเนินการ
อินเทอร์เฟซของเลเยอร์การดำเนินการอยู่ใต้เลเยอร์การประมวลผล และช่วยให้ระบบเลเยอร์การประมวลผลสามารถสื่อสารกับ USL ได้ ยอมรับ "ธุรกรรมที่คำนวณแล้ว" รวมถึงธุรกรรม การเปลี่ยนแปลงสถานะ และข้อมูลเมตาของการเปลี่ยนแปลง ข้อมูลเมตากำหนดโปรแกรมที่ทำการคำนวณ รายการเอนทิตีที่เชื่อถือได้ และรายละเอียดอื่นๆ
ประการที่สี่ เลเยอร์ USL ของ Pi Squared
เลเยอร์ USL ทำหน้าที่เป็นภาพรวมในแง่ดี โดยตีความธุรกรรมทางคอมพิวเตอร์เป็นข้อความทางคณิตศาสตร์ในทฤษฎีตรรกะ USL สร้างการพิสูจน์ทางคณิตศาสตร์ของลำดับการคำนวณเพื่อให้แน่ใจว่าถูกต้อง และส่วนใหญ่ประกอบด้วยเครือข่าย π² และพูล Prover
ในที่สุด π² Network และ Prover Pool
เครือข่าย π² ประกอบด้วยโหนดที่ใช้โปรโตคอลฉันทามติที่ตรวจสอบความถูกต้องของสถานะหลังการทำธุรกรรม กระบวนการตรวจสอบมีความโปร่งใส ทำซ้ำได้ และสามารถตรวจสอบได้อย่างอิสระโดยหน่วยงานภายนอก Prover Pool ประกอบด้วยโหนด Prover ที่สร้าง Zero-Knowledge Proofs (ZKP) ของธุรกรรมหรือบล็อก ZKP ทำงานโดยดำเนินธุรกรรมหรือบล็อกอีกครั้ง และสร้างการพิสูจน์ความถูกต้องของตรรกะที่ตรงกัน ผลลัพธ์ ZKP ที่ได้นั้นมีขนาดเล็กกว่าการพิสูจน์ทางคณิตศาสตร์ดั้งเดิมมาก และสามารถส่งและตรวจสอบได้เร็วขึ้น
03
ค่าแอปพลิเคชันของ USL ในฟิลด์ของ Web3
ทีมงาน Pi Squared จินตนาการว่า USL เป็นเลเยอร์ที่ไม่ขึ้นกับภาษาและเครื่องเสมือน ซึ่งจะปรับปรุงแอปพลิเคชันข้ามสายโซ่และการเข้าถึงสภาพคล่องในอุตสาหกรรม Web3 อย่างมีนัยสำคัญ การใช้งานเฉพาะได้แก่:
โรลอัพในกล่อง
บริการนี้รองรับการสร้าง L2/L3 rollups และสายโซ่แอปพลิเคชัน ผู้ใช้สามารถเลือกคุณสมบัติของระบบได้ และธุรกรรมทั้งหมดจะถูกชำระอย่างโปร่งใสโดย USL
การเชื่อมโยงหลายสายโซ่
การเชื่อมโยงหลายสายโซ่ช่วยให้แอปพลิเคชันและโรลอัพที่ทำงานบน USL สามารถเชื่อมโยงโทเค็นบนสายโซ่ที่แตกต่างกันได้อย่างราบรื่น โดยไม่จำเป็นต้องใช้รหัสนอกสายโซ่
แอปพลิเคชันทางการเงินแบบข้ามสายโซ่
USL ช่วยให้แอปพลิเคชัน DeFi สามารถเปลี่ยนระหว่างโรลอัพและกลุ่มแอปพลิเคชันต่างๆ ได้อย่างราบรื่น โดยให้อัตราการวางเดิมพันและการกู้ยืมที่ดีขึ้น ตัวอย่างเช่น เดิมพัน ETH บน Ethereum บนเครือข่าย Cosmos และให้ยืม USDC
การตรวจสอบ ZK ที่แตกต่างกัน
ผู้ใช้สามารถใช้ ZK Rollups และแอปพลิเคชันต่างๆ ที่ USL รองรับ เพื่อเลือกแพลตฟอร์ม ZK ที่พวกเขาคุ้นเคย และ USL จะตรวจสอบธุรกรรมผ่านแบ็กเอนด์ ZK ที่เกี่ยวข้อง
สรุป
Pi Squared สร้างมาตรฐานใหม่ในการประมวลผลที่ตรวจสอบได้ด้วยเทคโนโลยี PoP ที่เป็นนวัตกรรมและ Universal Settlement Layer (USL) USL ไม่เพียงแต่แก้ปัญหาความท้าทายมากมายในระบบนิเวศบล็อกเชนในปัจจุบัน แต่ยังวางรากฐานสำหรับการตรวจสอบทางวิทยาศาสตร์และความรู้ในอนาคตอีกด้วย
แม้ว่า USL จะทำงานได้ดีในหลาย ๆ ด้าน แต่ก็มีข้อจำกัดบางประการเช่นกัน ตัวอย่างเช่น USL ไม่ได้มีจุดมุ่งหมายที่จะปรับปรุงความเป็นส่วนตัว และเพียงเก็บหลักฐานตรรกะที่ตรงกันของความถูกต้องในการคำนวณไว้เป็นส่วนตัวเท่านั้น ความต้องการความเป็นส่วนตัวเฉพาะแอปพลิเคชันอาจได้รับการพิจารณาในอนาคต โครงสร้างธุรกรรมช่วยให้สามารถระบุรายการการพึ่งพาที่เชื่อถือได้ ซึ่งระบุโดยส่วนประกอบของระบบ USL จะไม่ค้นพบพื้นฐานความน่าเชื่อถือของธุรกรรมในเชิงรุกที่ไม่มีข้อกำหนดการพึ่งพาความน่าเชื่อถือ และในตอนแรกจะมุ่งเน้นไปที่การตรวจสอบพื้นฐานความน่าเชื่อถือ
แต่เราเห็นได้จากความก้าวหน้าครั้งสำคัญของเทคโนโลยีที่ USL ได้แสดงให้เห็นถึงความสามารถในการแก้ปัญหาเชิงปฏิบัติในทางปฏิบัติ ในอนาคต ด้วยแอปพลิเคชันที่เพิ่มขึ้นและการปรับปรุงโครงสร้างพื้นฐาน Pi Squared จะนำนวัตกรรมและการเปลี่ยนแปลงมาสู่อุตสาหกรรมบล็อกเชนอย่างแน่นอน
ความคิดเห็นทั้งหมด