โซลูชัน L2 อื่นจะเปิดตัว StarkWare เปิดตัวโซลูชันส่วนขยาย ZK Rollup StarkNet
หมายเหตุบรรณาธิการ: บทความนี้มาจากข้อมูล Babbitt (รหัส: bitcoin8btc)หมายเหตุบรรณาธิการ: บทความนี้มาจาก
ข้อมูล Babbitt (รหัส: bitcoin8btc)
StarkWare คาดว่าจะปรับใช้เฟส 1 ในอีกไม่กี่เดือนข้างหน้า และจะย้ายเข้าสู่เฟส 2 และ 3 ภายในสิ้นปี 2564 StarkNet ที่สร้างโดย StarkWare เป็น ZK Rollup สองชั้นแบบกระจายศูนย์ที่ขับเคลื่อนโดย STARK ซึ่งสามารถรองรับการประมวลผลทั่วไปของ Ethereum
ผู้แต่ง: StarkWare ผู้รวบรวม: Kyle เผยแพร่โดยได้รับอนุญาต
StarkWare องค์กรวิจัยและพัฒนาที่ปราศจากความรู้ที่พิสูจน์ได้ระบุว่าโซลูชันการขยายเลเยอร์ 2 ZK Rollup "StarkNet" ได้เสร็จสิ้นการก่อสร้างพื้นฐาน (เฟส 0) ซึ่งได้แก่ ไคโรเฟรมเวิร์กที่สมบูรณ์ของทัวริง ซอฟต์แวร์สแตกของ STARK และเลเยอร์-2 เครื่องยนต์ขยาย StarkEx ซึ่งจะสร้างขึ้นภายหลังเฟส 1 ถึงเฟส 3 ในหมู่พวกเขา ระยะที่ 1 จะรองรับแอพพลิเคชั่นเดี่ยว Rollup "Single-App Rollup" ซึ่งจะช่วยให้นักพัฒนาสามารถสร้างและปรับใช้แอพพลิเคชั่นที่ปรับขนาดได้ของตนเองบน StarkNet ระยะที่ 2 จะรองรับแอพพลิเคชั่นหลายตัว Rollup "Multi-App Rollup" ซึ่งจะสนับสนุน การเรียกใช้และการเข้าถึงแอปพลิเคชันหลายตัวบนอินสแตนซ์ StarkNet เดียวกันจะช่วยให้สามารถทำงานร่วมกันระหว่างแอปพลิเคชันต่างๆ และลดค่าใช้จ่ายแก๊ส ระยะที่สามจะสนับสนุนชุดรวมแบบกระจายอำนาจ "ชุดรวมแบบกระจายอำนาจ"
StarkWare คาดว่าจะปรับใช้เฟส 1 ในอีกไม่กี่เดือนข้างหน้า และจะย้ายเข้าสู่เฟส 2 และ 3 ภายในสิ้นปี 2564 StarkNet ที่สร้างโดย StarkWare เป็น ZK Rollup สองชั้นแบบกระจายศูนย์ที่ขับเคลื่อนโดย STARK ซึ่งสามารถรองรับการประมวลผลทั่วไปของ Ethereum
ต่อไปนี้คือเนื้อหาทั้งหมดของประกาศที่ออกโดย StarkWare (แปล):
เรากำลังสร้าง StarkNet ในสี่ขั้นตอน:
ขั้นตอนที่ 0 - พื้นฐาน (เสร็จสมบูรณ์*)
ขั้นตอนที่ II - Constellation: บทสรุปหลายแอปพลิเคชัน
แนะนำ
ขั้นตอนที่ III - จักรวาล: การรวมแบบกระจายอำนาจ
เราคาดว่าจะทำให้ขั้นตอนที่ 1 ใช้งานได้ภายในไม่กี่เดือน และจะเป็นไปตามขั้นตอนที่ 2 และ 3 ภายในสิ้นปี 2564
แนะนำ
เรากำลังสร้าง StarkNet ซึ่งเป็นเทคโนโลยี STARK แบบกระจายอำนาจ ไม่มีการอนุญาต และป้องกันการเซ็นเซอร์ที่รองรับ L2 ZK-Rollup เพื่อรองรับการคำนวณทั่วไปบน Ethereum มันขึ้นอยู่กับภาษาไคโรที่สมบูรณ์ของทัวริง
นักพัฒนา ผู้ใช้ และโหนด StarkNet จะสามารถทำทุกอย่างตามที่คาดหวังจากรูปแบบการยกเลิก L2 แบบไร้สิทธิ์: นักพัฒนาสามารถสร้างแอปพลิเคชันที่ใช้ตรรกะทางธุรกิจของตนเองและปรับใช้บน StarkNet ผู้ใช้สามารถส่งธุรกรรมไปยัง StarkNet เพื่อดำเนินการได้ เช่นเดียวกับที่พวกเขาโต้ตอบกับ Ethereum ในปัจจุบัน โหนด StarkNet และผู้เข้าร่วมจะได้รับสิ่งจูงใจทางเศรษฐกิจเข้ารหัสเพื่อให้แน่ใจว่าเครือข่ายทำงานได้อย่างมีประสิทธิภาพและยุติธรรม
ธุรกรรมของ StarkNet ทั้งหมดจะถูกแบทช์เป็นระยะๆ และความถูกต้องของธุรกรรมนั้นจะได้รับการพิสูจน์ผ่านการพิสูจน์ของ STARK และตรวจสอบบน Ethereum การคำนวณที่จำเป็นในการตรวจสอบการพิสูจน์ STARK นั้นเล็กกว่าการคำนวณที่จำเป็นในการตรวจสอบมาก ดังนั้น StarkNet จึงปรับขนาด Ethereum ได้หลายลำดับความสำคัญ
เนื่องจากการเปลี่ยนสถานะของ StarkNet ทั้งหมดจะได้รับการยืนยันโดย STARK จึงยอมรับเฉพาะการเปลี่ยนสถานะที่ถูกต้องบนเครือข่าย Ethereum ข้อมูลทั้งหมดที่จำเป็นในการสร้างสถานะ StarkNet เต็มรูปแบบจะถูกเผยแพร่บนเครือข่าย ทุกคนสามารถเรียกใช้โหนด StarkNet ของตนเองได้ คุณสมบัติเหล่านี้จะทำให้ StarkNet มีความปลอดภัยและไม่ได้รับอนุญาตเหมือนกับ Ethereum
Cairo
เราพัฒนามาเป็นเวลาสามปีแล้วและประสบความสำเร็จครั้งสำคัญในการเปลี่ยน "Moon Math" ให้เป็นซอฟต์แวร์ที่มีประสิทธิภาพระดับการผลิตที่ทำงานบน Ethereum วิธีที่เราทำสิ่งต่างๆ คือการแก้ปัญหาที่ยากก่อน สร้างเทคโนโลยีหลัก แล้วจึงค่อยๆ นำมันเข้าสู่การผลิต เราจะสร้างด้วยวิธีนี้ต่อไปเมื่อ StarkNet เสร็จสมบูรณ์
ขั้นตอนที่ 0 — พื้นฐาน
เราได้วางรากฐานที่สำคัญบางประการสำหรับ StarkNet
ไคโรเป็นภาษาระดับสูงที่สมบูรณ์แบบของทัวริงและเฟรมเวิร์กสำหรับการสร้างการพิสูจน์ STARK สำหรับการคำนวณทั่วไป นักพัฒนาแอปพลิเคชันสามารถใช้ไคโรเพื่อกำหนดตรรกะทางธุรกิจใดๆ และพิสูจน์และตรวจสอบนอกเครือข่ายโดยไม่ต้องประดิษฐ์ "วงจร" หรือ AIR ที่ซับซ้อน ไคโรมีอยู่แล้วบน mainnet และนักพัฒนาก็สามารถใช้งานได้เช่นกัน
ในอีกไม่กี่สัปดาห์ เราจะเปิดตัว Cairo General Proof Service (GPS) เวอร์ชันอัลฟ่าบนเครือข่ายทดสอบ Ethereum สาธารณะ สิ่งนี้จะช่วยให้นักพัฒนาสามารถสร้างแอปพลิเคชันของตนเองโดยใช้ไคโร โดยใช้ตรรกะทางธุรกิจอะไรก็ได้ที่พวกเขาต้องการ พวกเขาสามารถส่งรหัสไคโรไปยัง GPS เพื่อตรวจสอบและออนไลน์ได้
GPS ใช้หลักฐานเดียวเพื่อยืนยันความสมบูรณ์ของการดำเนินการของแอปพลิเคชันที่แยกจากกันและเป็นอิสระอย่างสมบูรณ์ ทำให้แอปพลิเคชันเหล่านี้สามารถตัดจำหน่ายต้นทุนก๊าซของการตรวจสอบหลักฐานได้
ไคโรและ GPS เป็นรากฐานของ StarkNet - การตัดสินใจของเราในการทำให้นักพัฒนาจากภายนอกทำให้พวกเขาเข้าถึงเทคโนโลยีได้ก่อนใคร ไม่เพียงแต่ทำให้พวกเขาเริ่มสร้างจากมันได้ แต่ยังอาจมีอิทธิพลต่อการพัฒนาของ StarkNet
เราจะพัฒนาไคโรต่อไปตามความต้องการและข้อเสนอแนะของชุมชนนักพัฒนา เราจะปรับปรุงภาษาด้วยคุณสมบัติใหม่ ไวยากรณ์ และปลั๊กอินในตัวเพื่อเพิ่มความสามารถในการใช้งาน และพัฒนาและปรับปรุงเครื่องมือไคโรอย่างต่อเนื่อง: คอมไพเลอร์ ตัวติดตาม/ดีบักเกอร์ และการรวมเข้ากับ IDE ทั่วไป
StarkNet จะมีไคโรทำงานในพื้นหลัง
สแต็คซอฟต์แวร์ STARK
StarkEx
เราได้พัฒนาระบบพิสูจน์ที่ทรงพลังที่สุดในระบบนิเวศและทำงานบน mainnet มาหลายเดือนแล้ว เรายังได้พัฒนาโปรแกรมพิสูจน์โอเพ่นซอร์ส ethSTARK ซึ่งเร็วกว่าโปรแกรมพิสูจน์อื่น ๆ ถึง 20 เท่า โดยมีทั้งลายเซ็นที่ไม่มีความรู้และลายเซ็นความปลอดภัยภายหลังควอนตัม
เกณฑ์การปรับขนาดของเรารวมถึงการประมวลผลธุรกรรม 300,000 รายการในหลักฐานเดียวบน mainnet บรรลุสถิติโลกในด้านปริมาณงานรวม: 300,000 tps ในกระบวนการนี้ เราบรรลุสถิติโลกสำหรับประสิทธิภาพของแก๊สรวม: 315 แก๊ส/tx ซึ่งเป็นลำดับความสำคัญที่ถูกกว่าธุรกรรม Ethereum L1
เทคโนโลยีนี้จะเป็นรากฐานที่สำคัญของเลเยอร์การพิสูจน์แนวคิดแบบกระจายอำนาจของ StarkNet ดังนั้นเราจะเผยแพร่การพิสูจน์เพิ่มเติมและปรับปรุงซึ่งเป็นส่วนหนึ่งของการพัฒนาของ StarkNet (ดูข้อมูลเพิ่มเติมในบล็อกโพสต์ที่กำลังจะมีขึ้น)
StarkEx เป็นเครื่องมือปรับขนาด L2 ของเรา ได้ให้บริการ mainnet แก่ลูกค้าของ DeversiFi ตั้งแต่เดือนมิถุนายน 2020 มันจะขับเคลื่อน dYdX และ ImmutableX ในอีกไม่กี่สัปดาห์ข้างหน้า StarkEx สามารถจัดการกับตรรกะการซื้อขายที่ซับซ้อน (การซื้อขายทันที, อนุพันธ์, NFT) เช่นเดียวกับการชำระเงิน
การพัฒนา StarkEx เป็นวิธีของเราในการขยาย toolchain และทดสอบกับความต้องการที่แท้จริง แอปพลิเคชันจริงและความต้องการของผู้ใช้จริง เครื่องมือช่วยให้เติบโตและพัฒนาได้ดีที่สุด นอกจากนี้ยังช่วยให้เราเข้าใจองค์ประกอบต่างๆ ที่ต้องจัดการเพื่อให้บริการระบบนิเวศได้ดียิ่งขึ้น เช่น การผสานรวมกับกระเป๋าเงินและตัวสำรวจบล็อก
StarkEx เป็นตัวอย่างจริงของฟังก์ชันแอปพลิเคชันการปรับขนาดโดยใช้ ZK-Rollup ที่ใช้ STARK และเป็นแอปพลิเคชันการผลิตตัวแรกของไคโรที่เขียนบน mainnet ดังนั้น มันจะเป็นหนึ่งในแอพพลิเคชั่นที่ทำงานบน StarkNet
เส้นทางการพัฒนาในอนาคต
ขั้นตอนที่ I - ดาวเคราะห์: สรุปแอปพลิเคชันเดียว
ขั้นตอนนี้จะช่วยให้นักพัฒนาสามารถสร้างและปรับใช้แอปพลิเคชันที่ปรับขนาดได้ของตนเองบน StarkNet
ณ จุดนี้ แต่ละอินสแตนซ์ของ StarkNet จะสามารถเรียกใช้หนึ่งแอปพลิเคชันได้ อินสแตนซ์ที่แตกต่างกันสามารถเรียกใช้แอปพลิเคชันที่แตกต่างกัน
เฟรมเวิร์กของ StarkNet จะประกอบด้วยสิ่งต่อไปนี้:
กลไกในการสร้างการพิสูจน์ STARK สำหรับลอจิกไคโรตามอำเภอใจ จากนั้นส่งและยืนยันบน Ethereum
การโต้ตอบกับ L1 Ethereum: การฝาก การถอนโทเค็น L1 การปล่อยข้อมูลบนเครือข่าย กลไกการหลบหนีเพื่อปกป้องผู้ใช้ StarkNet จากผู้ให้บริการ StarkNet ที่เป็นอันตราย ฯลฯ
การจัดการยอดคงเหลือผู้ใช้ L2 และที่เก็บข้อมูลแอปพลิเคชันและหน่วยความจำ
นักพัฒนาจะสามารถมุ่งเน้นไปที่การสร้างตรรกะทางธุรกิจของแอปพลิเคชันได้อย่างเต็มที่ก่อนที่จะเข้าสู่การผลิต: การปรับใช้และการใช้งานในระดับบน StarkNet
สิ่งที่ช่วยให้เราสร้าง ZK-Rollup ที่ปรับขนาดได้ทั่วไปคือ:
ไคโร เป็นภาษาโปรแกรมสำหรับวัตถุประสงค์ทั่วไปของทัวริง
STARK stack อันทรงพลังของเรา (ผู้พิสูจน์และตรวจสอบความถูกต้อง) ที่รวมการคำนวณจำนวนมากเข้าไว้ในหลักฐานชิ้นเดียว
ขั้นตอนที่ II - Constellation: บทสรุปหลายแอปพลิเคชัน
ขั้นตอนต่อไปคือการสนับสนุนแอปพลิเคชันหลายตัวที่ทำงานบนอินสแตนซ์ StarkNet เดียวกันและเข้าถึงสถานะ L2 ส่วนกลางเดียวกัน สิ่งนี้จะช่วยให้สามารถทำงานร่วมกันระหว่างแอพพลิเคชั่นต่างๆ และลดต้นทุนก๊าซเนื่องจากการประหยัดต่อขนาดที่ดีขึ้น
ไคโร สแต็ก STARK อันทรงพลัง และ GPS ช่วยเพิ่มความสามารถในการแข่งขันของ StarkNet ในการสนับสนุนการรวมหลายแอปพลิเคชัน
ในขั้นตอนนี้ StarkNet จะเป็นเฟรมเวิร์กที่ทำงานได้อย่างสมบูรณ์สำหรับการเรียกใช้แอปพลิเคชันหลายตัวด้วยตรรกะทางธุรกิจตามอำเภอใจบน Ethereum แต่ละอินสแตนซ์ดำเนินการโดยผู้ดำเนินการ
ขณะนี้ผู้ดำเนินการสามารถเปิดใช้โหนด StarkNet ซึ่งนักพัฒนาแอปพลิเคชันสามารถใช้สัญญาได้ จากมุมมองของผู้ใช้ ตอนนี้ StarkNet ดูและให้ความรู้สึกเหมือน Ethereum แต่มีขนาดใหญ่กว่า
ขั้นตอนที่ III - จักรวาล: การรวมแบบกระจายอำนาจ
ขั้นตอนสุดท้ายในการวิวัฒนาการของ StarkNet คือการดำเนินการแบบกระจายอำนาจ
ปัญหาด้านการวิจัยและพัฒนาที่สำคัญที่เรากำลังแก้ไขในขณะนี้ซึ่งส่งผลกระทบต่อเฟสนี้ ได้แก่ (i) การปรับปรุงกลไกสำหรับการบรรลุฉันทามติโดยใช้ ZK-Rollups และ (ii) การออกแบบกลไกเศรษฐกิจแบบเข้ารหัสลับเพื่อจูงใจผู้ร่วมให้ข้อมูลและผู้ประกอบการ StarkNet แบบกระจายอำนาจ (ตัวจัดลำดับธุรกรรม ผู้พิสูจน์ ฯลฯ) ให้ดำเนินไปอย่างมีประสิทธิภาพ เป็นธรรม และปลอดภัย
