การวิเคราะห์เชิงลึกของ StarkWare: ต้องการสร้าง "จักรวาล" ของ ZK หรือไม่

ChinaDeFi

特邀专栏作者

2022-07-05 13:00

บทความนี้มีประมาณ 2598 คำ การอ่านทั้งหมดใช้เวลาประมาณ 4 นาที

StarkNet แสดงคำมั่นสัญญาในการปรับขนาด Ethereum โดยใช้ ZK-rollup

สรุปโดย AI

ขยาย

StarkNet แสดงคำมั่นสัญญาในการปรับขนาด Ethereum โดยใช้ ZK-rollup

การรวบรวมต้นฉบับ: ChinaDeFi

StarkWare เป็นบริษัท ZK ที่มุ่งเน้นการสร้างโซลูชันโรลอัพที่ใช้ ZK สำหรับ Ethereum ตามขนาด ผลิตภัณฑ์แรกของพวกเขาคือ StarkEx เปิดตัวในปี 2020 และในเดือนพฤศจิกายน 2021 StarkNet พร้อมคุณสมบัติเพิ่มเติมก็เปิดตัว

เทคโนโลยี

StarkWare สร้างเทคโนโลยีใหม่ที่บีบอัดธุรกรรมหลายพันรายการให้เป็นหลักฐานยืนยันความถูกต้องเดียวที่เรียกว่า STARK และส่งไปยัง Ethereum L1 เมื่อเปรียบเทียบกับ SNARK แล้ว STARK มีข้อได้เปรียบหลักสองประการ:

ไม่จำเป็นต้องมีการตั้งค่าความเชื่อถือเริ่มต้น
มีเวลาในการคำนวณที่เร็วกว่า SNARK มันสามารถปรับปรุงความสามารถในการปรับขนาดของ Ethereum ตามลำดับความสำคัญเนื่องจากต้องการการคำนวณที่น้อยลง

สถาปัตยกรรม

สแต็ก StarkWare ส่วนใหญ่ประกอบด้วยตัวพิสูจน์ที่ใช้ร่วมกัน (SHARP) และตัวตรวจสอบ (มีอยู่ใน L1) SHARP รวมธุรกรรมหลายรายการจาก dapps ที่แตกต่างกันและสร้างหลักฐาน จากนั้นจะแบ่งปันหลักฐานกับผู้ตรวจสอบความถูกต้องใน L1 ซึ่งช่วยประหยัดค่าใช้จ่ายเนื่องจากใช้การคำนวณร่วมกันระหว่างแอปพลิเคชันต่างๆ ผู้ตรวจสอบตรวจสอบว่าการพิสูจน์ของ SHARP นั้นถูกต้อง หากถูกต้อง ข้อมูลเหล่านี้จะถูกแบ่งปันใน Fact Registry แอปพลิเคชันสามารถเชื่อมต่อกับ StarkEx หรือโดยตรงกับ SHARP (แอปพลิเคชัน StarkNet)

โหนด L2 (ซีเควนเซอร์) ของ StarkNet จะดำเนินการทุกธุรกรรมและอัปเดตสถานะเป็น Ethereum mainnet เป็นระยะ ควรสังเกตว่าการทำธุรกรรมขั้นสุดท้ายของ StarkNet เชื่อมโยงกับ L1 ซึ่งหมายความว่าโหนด L2 จะต้องตรวจสอบทั้ง StarkNet และ Ethereum StarkNet นำเสนอโซลูชันที่เกี่ยวข้องกับการตรวจสอบ Ethereum mainnet ทำให้สามารถบรรลุขั้นสุดท้ายที่มีประสิทธิภาพในด้านการยกเลิกได้อย่างรวดเร็ว ดังนั้นโหนด L2 ทั้งหมดจึงมีโหนดเต็ม L1

ความพร้อมใช้งานของข้อมูล

StarkNet ใช้กลไก Validium เพื่อให้ข้อมูลพร้อมใช้งาน เกือบจะเหมือนกับ ZK-rollup ยกเว้นว่าจะเก็บข้อมูลไว้นอกเครือข่าย ในขณะที่ ZK-rollup และ Optimistic Rollup (OR) จะเก็บข้อมูลไว้บนเชน Validium จะออกหลักฐานความถูกต้องใน L1 เท่านั้นในขณะที่เก็บข้อมูลนอกเครือข่าย สิ่งนี้ทำให้ Validium บรรลุปริมาณงานที่สูงพอสมควรและลดต้นทุนต่อการทำธุรกรรม

ค่าใช้จ่ายในการจัดเก็บข้อมูลแบบออฟไลน์คือต้องอาศัยความไว้วางใจจากบุคคลที่สาม ซึ่งสามารถป้องกันไม่ให้ผู้ใช้เข้าถึงยอดคงเหลือได้ StarkWare มีเป้าหมายที่จะแก้ปัญหานี้ผ่านคณะกรรมการความพร้อมใช้งานของข้อมูล (DAC) ซึ่งประกอบด้วยสมาชิกอิสระ 8 คนที่มีสำเนาธุรกรรม พวกเขายังต้องรักษาข้อมูลนี้ด้วยการทำให้พร้อมใช้งานตลอดเวลา หากผู้ดำเนินการบล็อกไม่ให้ผู้ใช้เข้าถึงเงินของพวกเขา สมาชิกคณะกรรมการจะยืนยันว่าคำขอของพวกเขาถูกต้องหรือไม่

StarkWare ยังวางแผนที่จะใช้กลไก Volition ซึ่งผู้ใช้สามารถเลือกได้ว่าจะส่งข้อมูลบนเครือข่ายหรือไม่ โดยเปลี่ยนการตัดสินใจเกี่ยวกับความพร้อมใช้งานของข้อมูลจากระดับแอปพลิเคชันเป็นระดับผู้ใช้ แม้กระทั่งสำหรับธุรกรรมแต่ละรายการ หากผู้ใช้ต้องการส่ง NFT มูลค่าสูงพร้อมข้อมูลทั้งหมดบนเครือข่าย พวกเขาสามารถจ่ายค่าใช้จ่ายเพิ่มเติมเพื่อถ่ายโอนข้อมูลบนเครือข่ายได้ สิ่งนี้จะสำเร็จได้ด้วย ImmutableX และ Sorare

ภาษาโปรแกรมไคโร

เทคโนโลยีใหม่นำมาซึ่งข้อกำหนดใหม่ ไคโรเป็นภาษาโปรแกรมที่สมบูรณ์ของทัวริงซึ่งสร้างขึ้นสำหรับ STARK โดยเฉพาะ มันดีกว่าในแง่ของประสิทธิภาพและความสามารถในการปรับขนาด แต่มันใหม่มาก นักพัฒนาหลายคนไม่คุ้นเคยกับมัน ทำให้ยากต่อการโยกย้ายแอปพลิเคชันที่มีอยู่ไปยัง StarkNet Warp พัฒนาโดย Nethermind เป็น EVM สำหรับเครื่องถ่ายเอกสาร Cairo Warp ช่วยให้สามารถแปลงสัญญา Solidity เป็น Cairo ได้อย่างราบรื่น

ความก้าวหน้าของภาษาไคโรคือการอนุญาตให้ผู้ตรวจสอบเพียงคนเดียวใช้หลักฐานเดียวเพื่อยืนยันความสมบูรณ์ของการดำเนินการโปรแกรมต่างๆ

StarkNet Vs OR

StarkNet ไม่เพียงมีหน้าต่างการถอนที่เร็วกว่าเมื่อเทียบกับเวลารอ 7 วันของ OR แต่สถาปัตยกรรมพื้นฐานก็แตกต่างกันเช่นกัน StarkNet ใช้ "ไร้สถานะ" คุณจะต้องจัดเก็บสถานะรูทของสถานะทั้งหมดบน L1 และผู้ใช้จำเป็นต้องแสดงหลักฐานของ Merkle เพื่อเข้าถึงรายการสถานะเฉพาะ หรือติดตามโซลูชัน "stateful" ซึ่งแต่ละรายการสถานะจะถูกบันทึกไว้ในสายโซ่ สิ่งนี้จะนำไปสู่การขยายตัวของรัฐที่มากขึ้นและอาจพิสูจน์ได้ว่าไม่ได้ขยายตัวได้ดีเมื่อนำมาใช้ในอนาคต

ระบบนิเวศ

ระบบนิเวศของ StarkWare กำลังเติบโต ด้วยการปรับใช้แบบไม่มีสิทธิ์ใน StarkNet นักพัฒนาหลายคนแสดงความสนใจ ระบบนิเวศแบบเปิดและเอกสารประกอบที่สมบูรณ์ของ StarkEx ช่วยให้นักพัฒนานำไปใช้งานได้ง่าย DeFi Pooling เป็นไปได้บน StarkNet ช่วยให้ผู้ใช้สามารถอยู่บน L2 ได้ ในขณะที่ DeFI ยังคงอยู่ที่ L1 ซึ่งถือกำเนิดขึ้น และกำลังสร้างสิ่งที่น่าตื่นเต้นมากมาย เกมและรายการเกม NFT มากมายปรากฏบน StarkNet