Forward the Original Title ‘Starknet 万字研报：蓄势待发，长期主义者的跬步千里’

เมื่อเปรียบเทียบกับเรื่องราวที่สร้างเสียงดังในโลก web3 อื่น ๆ ทาง ZK track ได้แทนบทบาทเป็นพื้นฐานที่ยาวนาน โดยมีลักษณะเช่นการทำเบื้องต้นที่ยาวนานและเบื่อ แต่มีความสำคัญอย่างมาก มันเหมือนกับการเดินทางสาธารณะที่ยากลำบากที่คนภายในทำงานหนักอย่างยิ่งในขณะที่คนภายนอกยังอยู่ในความมืด อย่างไรก็ตาม เป็นที่พอใจที่ความเร็วในการพัฒนาของ ZK ได้เร็วกว่าความคาดหมายใน 2 ปีที่ผ่านมา สอง ZK Rollups ชั้นนำ คือ ZkSync และ Starknet ได้ทำความคืบหน้าอย่างมีนัยสำคัญในด้านประสิทธิภาพและต้นทุน

หลังจากการอัปเกรด Ethereum EIP-4844, ZK Rollup ก็เสริมทัพในการแข่งขันกับ OP Rollup อย่างมาก สิ่งที่ทำให้เพลิดเพลินมากขึ้นก็คือความร่วมมือระหว่าง StarkWare และ Polygon Labs ที่เป็นคู่แข่งเดิม ซึ่งได้ทำการอัปเกรดโปรโตคอล STARK ซึ่งมีความสามารถในการทำ ZK proof อย่างมาก และเปิดตัว Circle STARK อย่างเป็นทางการ ซึ่งเป็นการกระโดดข้ามอีกครั้งในความสามารถของ ZK proof

ถ้าคุณได้อ่านบทความปีที่แล้ว ("L2 Summer กำลังจะมา? รู้จักหลักการเทคนิคและนิเวศของ StarkNet ในบทความเดียวถ้าคุณมีพื้นฐานความรู้ในเรื่องดังกล่าวและต้องการสำรวจลึกลงในกระบวนการพิสูจน์ ZK ที่น่าสนใจของ Starknet แต่ถูกขัดขวางโดยสูตรคณิตศาสตร์ที่ซับซ้อนและทฤษฎีเทคนิคที่ซับซ้อน ลองติดตามบทความนี้เพื่อสำรวจประเด็นหลักบางประการเกี่ยวกับ ZK เราจะพยายามหลีกเลี่ยงส่วนของคณิตศาสตร์ที่ยุ่งยากและ จากนั้น พิจารณาถึงข้อดีทางเทคนิคของ Starknet โดยเฉพาะความยอดเยี่ยมที่เกิดขึ้นเร็วๆ นี้

01 เริ่มต้นด้วย ZK ก่อน

ZK เป็นทั้งป้ายชื่อและสั้น ๆ สำหรับระบบพิสูจน์ศูนย์ศูนย์พิสูจน์ความจริง ในฐานะเป็นหัวข้อที่สำคัญ ZK proofs เหมือนตำนานลึกลับ - พวกเขาช่วยให้สามารถพิสูจน์สิ่งที่เป็นความจริงโดยไม่เปิดเผยข้อมูลเพิ่มเติมใด ๆ วัตถุประสงค์ที่เป็นไอเดียนิยมแบบนี้จะสามารถบรรลุได้อย่างไร? เพื่อเรื่องนี้ เราต้องวาดการอุปมาร์เช่นเดียวกับนักเรียนใด ๆ

โดยทั่วไปแล้ว ถ้านักเรียนต้องการพิสูจน์ความยอดเยี่ยมทางการศึกษาของตน วิธีที่ง่ายที่สุดคือการนำส่งทรานสคริปต์ของตน การสมมติว่าระบบสอบข้อสอบเป็นอย่างมีประสิทธิภาพและเป็นธรรม ทรานสคริปต์ที่แสดงเกรดโดยรวมเป็น A สามารถรับรองระดับการศึกษาของนักเรียนโดยไม่เปิดเผยรายละเอียดทางการศึกษาใดๆ

กระบวนการของการพิสูจน์ ZK ค่อนข้างคล้ายกัน อย่างง่ายๆ ส่วนประกอบหลักมีสองส่วน คือ Prover และ Verifier Prover คล้ายกับระบบสอบของโรงเรียน ทำตามกระบวนการที่กำหนดไว้เพื่อสร้างรายงานเป็นหลักฐานของความสามารถทางวิชาการของนักเรียน จากนั้นหลักฐานนี้จะถูกนำมานำเสนอให้กับ Verifier ซึ่งอาจเป็นพ่อแม่หรือบริษัท เพื่อตรวจสอบความสามารถของนักเรียนโดยอิงจากรายงาน

ที่นี่เราเห็นว่าส่วนที่ท้าทายที่สุดของกระบวนการพิสูจน์คือ Prover การสร้างการพิสูจน์ ใน ZK proof กระบวนการนี้สามารถแบ่งเป็นสองส่วน: การทำเลขคณิตและการใส่ใจตัวแปรหลัก

1.1 การทำเลขคณิต

1. Arithmeticization is to convert complex proof problems into algebraic problems. Specifically, it is to convert the witness (Witness) we want to prove into a set of polynomial constraints (Polynomial Constrains). This is similar to how we convert students’ academic abilities through examinations into a set of scores.
2. พยาน: พยานคือสิ่งที่เราเรียกว่าข้อมูลเชิงเส้นของการคำนวณออฟเชน รวมถึงข้อมูลธุรกรรม ข้อมูลสถานะบัญชี ผลลัพธ์การคำนวณชั่วคราว เป็นต้น นั้นคือข้อมูลส่วนตัวที่เราใช้เพื่อพิสูจน์ความถูกต้องของธุรกรรม แต่ไม่ต้องการให้เป็นสาธารณะ
3. Polynomial Constrains: ข้อจำกัดของพหุนาม. สิ่งที่ต้องทำในกระบวนการพิสูจน์ ZK คือการแปลงปัญหาที่ซับซ้อนเป็นปัญหาทางคณิตศาสตร์ ภาคสำคัญที่สุดของวิธีพิสูจน์ทางคณิตศาสตร์คือการค้นหาพหุนามและพิสูจน์ให้เห็นว่าคุณได้หาพวกมันอย่างแท้จริง ข้อจำกัดของพหุนามหมายถึงเงื่อนไขที่พหุนามต้องปฏิบัติตาม

1.2 Polynomial Commitment

การสัญญาณหลักการในการพิสูจน์ทางคณิตศาสตร์โดยเฉพาะนั้น เกี่ยวข้องกับการพิสูจน์ว่าคุณได้พบหาพหุนามที่ทำให้ทุกข้อจำกัดที่สร้างขึ้นในขั้นตอนการเปลี่ยนเป็นค่าตัวเลข เหมาะสม หากพหุนามเป็นที่ถูกต้อง แล้วพิสูจน์ทางคณิตศาสตร์ก็เป็นที่สำเร็จ หมายความว่าปัญหาที่เราต้องการพิสูจน์ได้ถูกสร้างขึ้น กระบวนการนี้คล้ายกับการมาถึงคะแนนเฉลี่ยนที่มีน้ำหนักหรือทรานสคริปต์ที่รับประกันว่าเกรดของนักเรียนทั้งหมดเป็น A ซึ่งจะพิสูจน์ความยอดเยี่ยมทางการเรียนของนักเรียน

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

02 SNARK vs STARK

SNARK และ STARK เป็นโปรโตคอลพิสูจน์ ZK ที่ใช้กันอย่างแพร่หลาย โดยตัวโปรโตคอลเหล่านี้ได้ถูกนำมาใช้เป็นพื้นหลังโดย ZkSync และ Starknet ตามลำดับ ด้วยชื่อและคุณลักษณะที่คล้ายกัน พวกเขามักถูกเปรียบเทียบกัน อย่างไรก็ตามก่อนที่จะเปรียบเทียบพวกเขา ให้เรามาแนะนำตัวละครสองคนเพื่อเข้าใจระบบพิสูจน์ ZK ที่สร้างขึ้นโดยโปรโตคอลเหล่านี้ได้ดีขึ้นจากมุมมองประวัติศาสตร์

2.1 Groth และ SNARK

เย็นส์ โกรท เป็นศาสตราจารย์ในภาควิทยาการคอมพิวเตอร์ที่ UCL (ตอนนี้เป็นศาสตราจารย์เกียรติคุณ) และปัจจุบันดำรงตำแหน่งนักวิทยาศาสตร์ชั้นนำที่ Nexus โดยเน้นที่ที่ zkVM ตั้งแต่ปี 2009 เขามีผลงานมากมายโดยการตีพิมพ์บทความหลายรายการเกี่ยวกับหัวข้อที่เกี่ยวข้องกับความลับศูนย์ ในสาขา ZK เรามักได้ยินเกี่ยวกับบทความอย่าง Groth09, Groth10 เป็นต้น ซึ่งมีชื่อตามเขาและปีที่ตีพิมพ์

Two of his most famous works are:

[Groth10] “Short Pairing-based Non-interactive Zero-Knowledge Arguments,” ซึ่งเสนอแผนการพิสูจน์ที่ไม่ต้องโต้ตอบแบบเต็มและถือว่าเป็นต้นแบบทฤษฎีของ SNARK

[Groth16] “On the Size of Pairing-based Non-interactive Arguments,” which, building on Groth10, streamlined proof sizes and improved verification efficiency, is still widely used today.

มันอยู่บนพื้นฐานของการวิจัยของ Groth ที่ SNARK ได้รับการพัฒนาและปรับปรุง SNARK ซึ่งแปลว่า Succinct Non-interactive Argument of Knowledge เป็นระบบพิสูจน์ที่ไม่ใช่โต้ตอบที่กระชับที่รู้ว่ามีความสามารถในการใช้งานอย่างแข็งแกร่งซึ่งทำให้เกิดการนำ ZK เข้าสู่ฟิลด์ของสกุลเงินดิจิทัลอย่างรวดเร็ว

2.2 Eli Ben-Sasson with STARK

ควรกล่าวถึงว่าโปรโตคอลแรกที่ใช้ SNARK กับสกุลเงินดิจิตอล Zerocash ได้รับการร่วมก่อตั้งโดย Eli Ben-Sasson ผู้ซึ่งภายหลังร่วมก่อตั้ง StarkWare และเป็นหนึ่งในผู้คิดค้น STARK อีกด้วย นอกจากนี้ในปีแรกๆ Eli Ben-Sasson สร้างสรรค์ส่งเสริมการใช้งานโปรโตคอล SNARK และเผยแพร่เอกสารวิจัยในปี 2013 และ 2014 โดยเสนอและปรับปรุงโครงสร้างของ SNARK เพื่อเสริมความเป็นไปได้และประสิทธิภาพ ช่วย SNARK ได้รับความสนใจและการใช้งานอย่างแพร่หลาย

อย่างไรก็ตาม, บางทีเป็นไปได้เพราะเข้าใจอย่างลึกซึ้งถึงความท้าทายที่ SNARK ต้องเผชิญ, เมื่อปี 2018, Eli Ben-Sasson และคนอื่น ๆ ได้เผยแพร่ "[BBHR18] Scalable, transparent, and post-quantum secure computational integrity," โดยเสนอระบบพิสูจน์ STARK และให้คำตอบอย่างครบถ้วนมากขึ้นสำหรับ ZK Rollup

STARK, ซึ่งหมายถึง Scalable Transparent Argument of Knowledge, มีข้อได้เปรียบในการพิสูจน์ในมาตราใหญ่และรับรองความโปร่งใสตลอดกระบวนการพิสูจน์โดยไม่ต้องพึ่งพาบุคคลที่ไว้วางใจ นอกจากนี้ยังมีความปลอดภัยต่อการโจมตีจากควอนตัม

(หมายเหตุ: ต้องชี้แจงว่า ขณะที่เรื่องราวของฮีโร่ที่ยิ่งใหญ่เสมอได้ดึงดูดความสนใจ เรื่องความสำเร็จไม่มาจากบุคคลเดียว ในขณะที่ ไม่ว่าจะเป็น SNARK หรือ STARK ทั้งสิ้น เป็นผลลัพธ์จากความพยายามร่วมกันของนักวิทยาศาสตร์จำนวนมาก การเน้นบุคคลแต่ละคนเพียงเพื่อเพิ่มความสดใสในประวัติการพัฒนาที่สำคัญของ ZK จากมุมมองหนึ่ง แม้แต่อัจฉริยะอย่าง Groth ก็พึงพอใจในการวิจัยของผู้อื่น เช่น Aniket Kate, Gregory Zaverucha และ Ian Goldberg เพื่อทำให้เข้าใจเอกสารของเขาได้ และผู้เขียนที่เสนอ STARK ก็เป็นบุคคลที่มีความสามารถสูงซึ่งเราสามารถศึกษาต่อในอนาคต)

2.3 SNARK vs STARK

ดังนั้น สิ่งที่กระตุ้นให้ Eli Ben-Sasson ตัดสินใจยาก ๆ ที่จะเริ่มต้นใหม่คืออะไร? SNARK พบกับความท้าทายใด?

2.3.1 ความโปร่งใส

ก่อนที่จะตอบคำถามก่อนหน้านี้ เราอาจจะต้องพูดถึงคำถามอีกคำถามหนึ่ง: สิ่งที่แพงที่สุดในด้านการเข้ารหัสคืออะไร? คำตอบของซาโตชิ นาคาโมโต้คือความเชื่อ

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

เมื่อกลับไปที่ตัวอย่างของการถอดรหัสของเรา สาเหตุที่พ่อแม่หรือบริษัทสามารถตัดสินใจความยอดเยี่ยมทางการเรียนของนักเรียนจากค่าเฉลี่ย A เป็นเพราะเราเห็นด้วยกันว่าการจัดอันดับความสามารถทางการเรียนจากสูงไปต่ำเป็น A, B, C, D เท่านั้น ด้วยมาตรฐานนี้เท่านั้นที่เกรด A จะมีความหมาย

แต่ถ้าระบบการจัดเกรดของโรงเรียนถูกละเลย และการจัดอันดับความสามารถทางการเรียนการสอนกลายเป็น C, A, B, D? นักเรียนที่ได้เกรด C ตั้งต้นอาจถูกพิจารณาว่าเป็นผู้ทำได้ดีสุด และได้รับลำดับความสำคัญ สร้างความเข้าใจผิด

จากนี้เราสามารถเห็นได้ว่าความปลอดภัยของมาตรฐานที่ถูกตกลงร่วมกันนี้มีความสำคัญอย่างมาก อย่างไรก็ตาม ในโลกทวิภาครัฐที่ถูกควบคุมโดยกฎของลุ่มน้ำ การตั้งค่านี้กลายเป็นจุดบกพร่องที่ใหญ่มาก

ทราบหรือไม่ว่าทำไม SNARK ยังคงใช้วิธี KZG อยู่? เพราะพิสูจน์ที่ได้จาก KZG มีขนาดเล็กเกินไป จำได้ไหมว่า "S" ใน SNARK หมายถึง? สรุป! การล่วงละเอียดของขนาดพิสูจน์ที่เล็กเกินไปเป็นเรื่องที่น่าลิงเลย โดยเฉพาะก่อนการอัพเกรด Ethereum Constantinople ที่ขนาดพิสูจน์เล็กกว่านำเสนอความประสิทธิภาพและประสิทธิภาพที่ดีกว่าให้กับ SNARK และได้รับการนำมาใช้โดยโครงการอื่นๆ มานานแล้ว ดังนั้น มันเป็นเรื่องของการแลกเปลี่ยน

ตอนนี้เกี่ยวกับ STARK, เพื่อรับมือกับด้าน Non-Trusted, STARK นำเสนอวิธี FRI (Fast Reed-Solomon Interactive Oracle Proofs) สำหรับการสร้างความมั่นใจใน polynomial commitments.

โดยเฉพาะอย่างยิ่งวิธี FRI เข้ารหัสพหุนามโดยใช้การเข้ารหัส Reed-Solomon จัดเก็บไว้ในรูปแบบของต้นไม้ Merkle และอํานวยความสะดวกในการโต้ตอบหลายรอบระหว่างผู้ตรวจสอบความถูกต้องและผู้ตรวจสอบผ่าน Oracle เพื่อให้เกิดการตรวจสอบความถูกต้องและความโปร่งใส ("T" ใน STARK)

(หมายเหตุ: ควรทราบว่าที่นี่คำว่า 'Oracle' ไม่ได้หมายถึงออรัคเคิลที่มีความcentralizedหรือsemi-centralized ที่เห็นได้บ่อยในโลก web3 แต่เป็นสิ่งที่เป็นส่วนตัวแบบไม่centralized และถูกจำลองโดยบุคคลที่ตรวจสอบและพิสูจน์ตามกฎโปรโตคอล มันเป็นรูปแบบของกลไกพิสูจน์แบบปฏิสัมพันธ์)

เพื่อดำเนินการต่อตัวอย่างเช่นการถ่ายโอนที่แสดงในบันทึกการศึกษา เราสามารถมองกระบวนการยืนยันโพลิโนเมียลในระบบ STARK เป็นระบบการจัดเกรดบนบล็อกเชน ที่ให้ความยุติธรรมและโปร่งใสในระบบทั้งหมดผ่านเทคโนโลยีบล็อกเชน

นอกจากนี้ใน STARK proofs ผู้ตรวจสอบและผู้พิสูจน์สามารถจำลองกระบวนการโต้ตอบโดยใช้ Random Beacon ร่วมกันและในที่สุดจะแพคเกจลงในพรูฟเสมบูรณ์เพื่อบรรลุพิสูจน์ที่ไม่ต้องโต้ตอบเพื่อความสะดวกและไม่ต้องโต้ตอบ

2.3.2 ขยายขอบเขต

ความก้าวหน้าของ STARK ยังอยู่ในความเป็นสากลและความยืดหยุ่นในการจัดการปัญหาการคํานวณที่ซับซ้อนขนาดใหญ่รวมถึงความสามารถในการลดขนาดการพิสูจน์โดยเฉลี่ยเมื่อระดับการพิสูจน์เพิ่มขึ้นทําให้เกิดเอฟเฟกต์เครือข่ายตามที่แสดงโดย "S" ใน Scalable

ไม่เหมือนกับ SNARK ที่ใช้วิธีคำนวณวงจรที่แทนโดย R1CS สำหรับการทำเช่นและต้องการการออกแบบวงจรใหม่สำหรับปัญหาที่แตกต่างกัน STARK ใช้วิธี AIR (Algebraic Intermediate Representation) นี้เป็นวิธีการคำนวณเครื่องที่สามารถเชื่อมโยงสถานะต่าง ๆ ผ่านสมการการเปลี่ยนสถานะ ทำให้สามารถแปลงปัญหาทางคำนวณใด ๆ เกือบทุกปัญหาเป็นชุดข้อจำกัดพหวง

นอกจากนี้การใช้วิธี FRI ในการสร้างพิสูจน์โพลนีเชียลโดย STARK ใช้โครงสร้างส่วนตัวเพื่อลดระดับของโพลนีเชียลลดลงเรื่อย ๆ ซึ่งทำให้ขนาดของพิสูจน์เติบโตช้ากว่าการเติบโตของมาตราส่วนปัญหา (ระดับลอการิทึม) ซึ่งมีประโยชน์อย่างมีนัยสำหรับการจัดการการคำนวณในมาตราส่วนใหญ่

กลับสู่ตัวอย่างเรื่องเกรดและการสอบ หากเราเปรียบเทียบกระบวนการการคำนวณกับการสอบ จากนั้น SNARK และ STARK ตามลำดับ คล้ายกับการสอบที่ใช้กระดาษเป็นพื้นฐานและการสอบที่ใช้คอมพิวเตอร์เป็นพื้นฐาน

ในระยะสั้นหรือสำหรับโรงเรียนขนาดเล็ก การสอบทางกระดาษแบบเดิมมีราคาถูกและเร็วกว่า ในขณะที่การสอบทางคอมพิวเตอร์ต้องการการเตรียมการในซอฟต์แวร์และฮาร์ดแวร์ และดูเหมือนว่าจะมีค่าใช้จ่ายและเจ๋งๆ

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

2.3.3 ความต้านทานต่อการโจมตีทางควอนตัม

นอกจากความสำเร็จที่แทนด้วย “S” และ “T” STARK ยังบรรลุความต้านทานต่อการโจมตีดวงจันทร์ผ่านการใช้ฟังก์ชันแฮชที่ต้านทานต่อควอนตัม (เช่น ฟังก์ชันแฮชแรดคือความปลอดภัยต่อควอนตัมทั่วไป ในขณะที่ฟังก์ชันแฮช SHA-256 แบบดั้งเดิมถือว่าอาจมีจุดอ่อนในควอนตัมคอมพิวติ้ง) และปัญหาด้านความปลอดภัยทางพีชคณิต (ปัญหาพีชคณิตที่ต้องการให้พิสูจน์ ที่เชื่อว่ายากที่จะแก้ไขแม้แต่บนเครื่องคอมพิวเตอร์ที่ใช้ควอนตัม)

03nCircle STARK ไม่สามารถหยุดที่นั่น

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

จุดนี้กำลังเป็นชัดเจนขึ้นในอุตสาหกรรมเช่นกัน แอปพลิเคชันหลักที่ใช้ SNARKs เช่น Boojum version ของ ZkSync ได้เริ่มสำรวจการเปลี่ยนแปลงเช่นเดียวกับการเปลี่ยน SNARK เป็น STARK อย่างลงตัว นอกจากนี้ Polygon ที่เป็นที่รู้จักกันด้วยความคล่องตัวก็ได้เลื่อนไปใช้ STARK ในปีนี้ระบบพิสูจน์ที่อัพเกรดเป็น Plonky3 ขึ้นอยู่บนการวิจัยร่วมล่าสุดโดย Polygon Labs และ StarkWare ที่รู้จักกันด้วยชื่อว่า Circle STARK

Circle STARK แทน代表รุ่นใหม่ของโพรโตคอลพิสูจน์ ZK ที่基于 STARKs ที่อัปเดตแบบฉลาด มันเรียนรู้ดีโอวิชวิงวิงวิธีการโค้งวงกลมและผสานเข้าด้วยกันอย่างสำเร็จที่ดีอย่างเล็กน้อยฟิลด์เล็กน้อย M31 เข้าระบบพิสูจน์ให้มีประสิทธิภาพมากขึ้น

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

นวัตกรรมของวงกลมสตาร์คตั้งอยู่ในการรวมกลุ่มของเส้นโค้งวงกลมและการใช้งานของฟิลด์จำนวนเฉพาะ M31 ซึ่งไม่เพียงเพิ่มประสิทธิภาพการพิสูจน์เท่านั้น แต่ยังรักษาความปลอดภัยหลังจากควอนตัม

StarkWare ได้เปิดเผยและเปิดตัว Prover รุ่นถัดไปที่ใช้ Circle STARK ชื่อ Stwo ได้เร็วขึ้น 100 เท่าของ Prover รุ่นแรกชื่อ Stone คาดว่า Stwo จะเข้ากันได้อย่างเต็มรูปแบบกับ Cario ที่ขั้นสูง และ Starknet Prover ปัจจุบัน (SHARP Prover) ที่ใช้ Stone Prover ยังจะเปลี่ยนไปใช้ Stwo ซึ่งหมายความว่า นักพัฒนาและผู้ใช้ในระบบนี้จะได้รับประโยชน์โดยตรงจากการเพิ่มประสิทธิภาพที่ Stwo นำเข้ามาโดยไม่ต้องดำเนินการใด ๆ

นอกจากการเร่งความเร็วในการสร้างพิสูจน์ Brendan Farmer ผู้ร่วมก่อตั้งของ Polygon กล่าวถึงว่าการนำ Circle STARK มาใช้จะลดต้นทุนอย่างมีนัยยะเยิมและขยายตัวไปยังพิสูจน์แอปพลิเคชั่นอื่นๆ ได้มากขึ้น Eli Ben-Sasson ก็เชื่อมั่นว่าการเปิดตัว Circle STARK สามารถถือเป็นขั้นตอนสำคัญอย่างมาก โดยระบบพิสูจน์ที่มีประสิทธิภาพสูงสุดกำลังจะเกิดขึ้นในอนาคตใกล้ๆ และจะมีความก้าวหน้าและปรับปรุงต่อมา

04 Starknet Continues To Strengthen Its Efforts, Enhancing Performance

จากการวิเคราะห์ข้างต้น เราสามารถเห็นได้อย่างชัดเจนว่าระบบพิสูจน์ STARK และเวอร์ชันที่อัพเกรดล่าสุดของมัน คือ Circle STARK คือผู้นำที่สมควรและดาวของวันพรุ่งนี้ ในฐานะผลิตภัณฑ์ที่โดดเด่นของ StarkWare Starknet มีอนาคตที่ไม่มีขอบเขตบนถนนของ ZK Rollup

อย่างไรก็ตาม, บางทีอาจเป็นเพราะการหัดเรียนรู้และการพัฒนาที่ซับซ้อน, Starknet ต้องเผชิญกับความขัดแย้งมานาน สาเหตุก็ไม่มีอยู่ที่ประสบการณ์ของผู้ใช้และค่าใช้จ่าย

โชคดีที่ผ่านมาด้วยความพยายามอย่างต่อเนื่องของ StarkWare ปัญหาเหล่านี้กำลังก่อสร้างประวัติศาสตร์อย่างลงลึกๆ ด้านล่างเราจะทบทวนการอัพเกรดที่สำคัญเมื่อเร็วๆ นี้ของ Starknet และการดำเนินการต่อไปตามแผนงาน

4.1 V0.12

Starknet Alpha v0.12.0, codenamed Quantum Leap, went live on the mainnet in July 2023. The focus of this optimization was to improve network performance and enhance user experience.

ความเร็วในการส่งผ่านและความล่าช้าถือว่าเป็นมาตรฐานสำหรับการวัดประสิทธิภาพของเครือข่าย โดยการปรับปรุง Rustification ของเครื่องเรียงและอัพเกรดภาษา Cario ทำให้เวลาการดำเนินการบล็อกของ Starknet ลดลงอย่างมีนัยสำคัญ ความสามารถในการส่งผ่านเพิ่มขึ้นจาก 30,000 CSPS (Cario steps per second) ในรุ่น v0.11.0 ไปยัง 220,000 CSPS ซึ่งทำให้มีการปรับปรุงประสิทธิภาพอย่างมีนัยสำคัญ

ปัญหาที่ยาวนานเกี่ยวกับประสบการณ์การโต้ตอบที่ไม่ดีก็ได้รับการแก้ไขแล้ว สถานะที่รอดำเนินการเฉลี่ย ซึ่งเคยใช้เวลานานถึง 20 นาทีในระหว่างการรอการยืนยันจาก mainnet ตอนนี้ก็เป็นเรื่องที่ผ่านมาแล้ว

สำหรับผู้ใช้งาน ช่วงเวลาการทำธุรกรรมลดลงเหลือประมาณ 10 วินาที แม้หลังการยืนยันผ่าน Layer 2 ทำให้ประสบการณ์ทั่วไปดียิ่งขึ้น

การอัพเกรดขั้นสูงนี้ช่วยให้ค่า TVL (Total Value Locked) ของ Starknet ได้เกิน 100 ล้านดอลลาร์สหรัฐ โดยมีอัตราการเติบโตรายสัปดาห์เกิน 43%

4.2 V0.13

เวอร์ชัน v0.13.0 ที่เปิดตัวในเดือนมกราคม 2024 ขยายขนาดบล็อก ทำให้ต้นทุนการคำนวณลดลง 50% และต้นทุนความพร้อมข้อมูลลดลง 25% อย่างสำคัญ

เวอร์ชัน v0.13.1 ได้ใช้งาน Ethereum EIP-4844 ล่วงก่อนกำหนด ด้วยเหตุนี้ Starknet เปิดใช้งานคุณลักษณะ blob ในเวลาไม่กี่ชั่วโมงหลังจากการอัพเกรด Cancun เป็นทางเลือกแรกในการลดค่าธรรมเนียมของผู้ใช้อย่างมากใน L2 solution

ในเดือนที่กำลังจะมาถึงของปีนี้ตามแผนการดำเนินงาน v0.13.2 ได้รับการตั้งค่าให้มีการประยุกต์ใช้การทำธุรกรรมแบบขนาน ซึ่งทำให้สามารถประมวลผลการทำธุรกรรมได้มากขึ้นพร้อมกัน ซึ่งจะเพิ่มประสิทธิภาพของเครือข่ายและลดความล่าช้า

V0.13.3 จะรวม Cairo Native เข้ากับตัวเรียง Starknet เพิ่มประสิทธิภาพของตัวเรียงอีกไป การรวมนี้จะเป็นที่นำไปสู่การเร่งความเร็วของเครือข่ายอีกต่อไป

4.3 V0.14 และแผนอัพเกรดต่อๆ มา

ตามแผนการดำเนินงาน คาดว่า Volition ที่ถูกตีความหวังอย่างสูงจะเริ่มใช้งานในการอัพเกรดเวอร์ชัน v0.14.0

ปัจจุบันการจัดเก็บความพร้อมใช้งานของข้อมูล (DA) บนเอทีเธอเรียมกินค่าธรรมเนียมแก๊สในเครือข่ายสตาร์กเน็ตมากที่สุด ดังนั้นการลดการจัดเก็บ DA บนเอทีเธอเรียมเป็นสิ่งสำคัญสำหรับการลดต้นทุน

Volition จะอนุญาตให้นักพัฒนาเลือกที่จะเก็บข้อมูลบางส่วนบน Starknet L2 และสุดท้ายจะส่งสภาพรากของข้อมูลนี้ไปยัง Ethereum L1 การเข้าถึงนี้ลดต้นทุนการเก็บข้อมูล DA บน L1 ลดค่าธรรมเนียมได้อย่างมีนัยสำคัญ

เวอร์ชัน v0.14.0 ยังมีแผนที่จะลงทะเบียนการเรียกตัวเองแบบ applicativeเพื่อประมวลผลแบบกลุ่มระหว่างลาดีวันเท้า L1 หลายบล็อก (ข้อมูลและงานคำนวณที่ต้องใช้เพื่อสนับสนุนการดำเนินงานของ Starknet บน Ethereum) การเข้าถึงนี้มีเป้าหมายที่จะลดต้นทุนที่เกิน

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

นอกจากนี้ Starknet ยังจะสำรวจวิธีการบีบอัด DA เพิ่มเติมเพื่อลดต้นทุนอีก

05 การก่อสร้างนิเวศวิถี

5.1 สถานการณ์ปัจจุบัน

ด้วยการปรับปรุงประสิทธิภาพอย่างต่อเนื่องและการลดค่าธรรมเนียมอย่างต่อเนื่อง ระบบนิเวศบน Starknet ตอนนี้ได้เริ่มเข้าสู่ขั้นตอนการเจริญเติบโตมากขึ้น

ในด้านพื้นฐานโครงสร้าง โครงการกระเป๋าเงินเช่น Agent X และ Braavos ที่ทำหน้าที่เป็นกระเป๋าเงินสมาร์ทที่เป็นโฮสต์เองไม่เพียงแต่รักษาความปลอดภัยแต่ยังปรับตัวให้เข้ากับการสร้างบัญชีเชิงนามของ Starknet โดยมุ่งเน้นให้ผู้ใช้ได้รับประสบการณ์การโต้ตอบที่ดีเยี่ยมเป็นเส้นทางเข้าสู่โลก web3 อย่างเชี่ยวชาญ

ในเชิงสะพาน跨ลึก ทั้ง StarkGate แบบ Native และโครงการอื่น ๆ เช่น Orbiter Finance, MiniBridge และ rhino.fi ซึ่งเน้นที่จะสร้างสะพาน跨ลึก ได้เข้าร่วมระบบนี้แล้ว

โครงการชั้นนำเช่น Starknet.id ในภาคเอกสารสำคัญเล่นบทบาทเสมือน ENS บน Ethereum ที่สนับสนุนผู้ใช้ในการสร้าง NFTs เป็นตัวตนและพาสปอร์ตบนช่อง Starknet

ในกลุ่มภาคเรียกเก็บเกี่ยวเดิม Starknet ยังเห็นการเติบโตของโครงการชั้นนำเช่น Nostra, Ekubo, zkLend, ZKX, Carmine Options ที่ควบคุมพื้นที่สำคัญอย่างรวดเร็วเช่น DEX, staking, lending และความสามารถของสัญญาฉลาด โครงการ DeFi พยายามสำหรับนวัตกรรมในผลิตภัณฑ์ของตน เช่น ZKX นำการปฏิสัมพันธ์แบบเกมและการบริหารโดยระบบ DAO เพื่อสร้างสัญญาแลกเปลี่ยนต่อเนื่องอัตโนมัติที่เป็นเอกลักษณ์ในขณะที่ Ekubo นำเสนอการออกแบบแบบเดียวเพื่อจัดการสระเงินสดทั้งหมดในสัญญาเดียว ลดค่าเสียหายจากการซื้อขายสำหรับผู้ใช้ คุณสมบัติการปรับสมดุลด้วยคลิกเดียวของ mySwap ลดความเสี่ยงที่ไม่คงที่ในช่วงความเจ็บป่วยของตลาด ฉีดชีวิตชีวาให้ระบบมากขึ้น

GameFi เป็นสาขาที่คาดหวังมากที่สุดโดย Starknet โดยมีโครงการชั้นนำเช่นระบบนิเวศ Loot และเกมบล็อกเชนเชิงกลยุทธ์เช่น Realms, Dope Wars, และ Influence ที่นำมาพัฒนา Topology, เกมความรู้ที่ใช้ทฤษฎีฟิสิกส์ โดยทีมงานชาว Starknet สร้างชื่อเสียงเป็นหนึ่งในสี่ราชาเกมบล็อกเชนชั้นนำบน Starknet

เพิ่มเติม, SocialFi พบกับการเกิดขึ้นของ xfam.tech, ที่คล้ายกับ friend.tech ที่เป็นที่นิยมก่อนหน้านี้, ที่เติมเต็มช่องว่างในเขตสังคม

ตั้งแต่การแจกจ่าย $STRK ในต้นปีนี้ กิจกรรมใน Starknet มีการเพิ่มขึ้นอย่างมีนัย นอกจากนี้โครงการภายในระบบนั้น เช่น zkLend, Ekubo และ ZKX ได้ปล่อยตัวโทเคนเหรียญต้นแบบ $ZEND, $EKUBO และ $ZKX ตามลำดับ

ผู้นำในระบบนี้ Nostra Finance ยังได้เปิดตัวสกุลเงินคงที่ USD ชื่อ $UNO บน Starknet และยังมี $NSTSTRK ที่ได้จากการ staking $STRK ด้วย

การกระจายโทเค็นในระดับหลายระดับ ไม่มีสงวนว่าเป็นกำลังใจให้กับระบบนิวัติ Starknet และจนถึงครึ่งปีแรกของปีนี้ ผลการดำเนินงานโดยรวมของระบบนิวัติ Starknet ได้มีผลงานที่น่าประทับใจ

อย่างไรก็ตามในช่วงเวลาปัจจุบันของการแข่งขันที่รุนแรงระหว่างโซลูชันเลเยอร์ 1 และเลเยอร์ 2 การสร้างความมั่นใจในความมีชีวิตชีวาอย่างต่อเนื่องต้องใช้นวัตกรรมคู่ทั้งในผลิตภัณฑ์และเทคโนโลยีเพื่อสร้างแอปพลิเคชันที่ได้รับความนิยมอย่างแท้จริง เบื้องหลังนี้นอกเหนือจากทีมอย่างเป็นทางการแล้วความพยายามอย่างต่อเนื่องจากชุมชนนักพัฒนาก็มีความสําคัญเช่นกัน นี่เป็นหนึ่งในเหตุผลที่ทีม Starknet เป็นมิตรกับนักพัฒนามาโดยตลอดแม้กระทั่งให้รางวัลนักพัฒนาที่ไม่เคยมีมาก่อนใน airdrops

5.2 ความท้าทายและตัวเลือก

เหมือนกับที่กล่าวไว้ก่อนหน้า STARK เกิดขึ้นเพื่อการพิสูจน์ขนาดใหญ่ที่ซับซ้อนที่ปลอดภัยตั้งแต่เริ่มแรก และ Starknet ที่เดินในทิศทางเดียวกันก็มีจิตวิญญาณนี้เช่นกัน

เพื่อบรรลุเป้าหมายที่ยิ่งใหญ่และบริสุทธิ์นี้ หลายความพยายามได้เป็นเรื่องจำเป็นและภาษาไคโรเป็นหนึ่งในนั้น (หมายเหตุ: ภาษาไคโรเป็นภาษาโปรแกรมที่ออกแบบโดย StarkWare โดยเฉพาะสำหรับระบบพิสท์สตาร์ค มันสร้างพิสท์อย่างมีประสิทธิภาพ ปรับปรุงการคำนวณนอกเชือก และแก้ไขข้อจำกัดของ Solidity ในการดำเนินการพิสท์)

ไม่เหมือนกับโซลูชัน Layer 2 อื่น ๆ ที่ใช้ Solidity สำหรับการพัฒนาสมาร์ทคอนแทรก นักพัฒนาบน Starknet ต้องใช้ภาษาเซาโร้เพื่อการพัฒนา ซึ่งเพิ่มเส้นทางการเรียนรู้และขั้นตอนการเข้าถึงสำหรับนักพัฒนา

อย่างอื่น ๆ นอกจากนี้ เนื่องจาก Cairo VM ไม่สามารถทำงานร่วมกับ EVM มาตรฐานที่สมบูรณ์บน Ethereum หลายๆ โครงการก็ไม่สามารถย้ายขึ้น Starknet โดยตรง ซึ่งส่งผลให้ Starknet ถึงแม้จะเป็น Ethereum Layer 2 solution ก็ยังต้องพบกับความยากลำบากในการใช้ประโยชน์จากนิเวศที่ใหญ่โต

ปัจจุบัน, มี dApps กว่า 90% บน Starknet เป็นธรรมชาติกับเชื่อมต่อและค่าใช้จ่ายในการพัฒนาโครงการมีขนาดใหญ่

ในเชิงหน้าที่จะเจอกับจุดประหลาดนี้ ตัวเลือกของ Starknet สามารถหาได้ในบทความของ Eli Ben-Sasson@think-integrity/stubborn%2C-or-steadfast">ที่จะทนทุกข์หรือยืนหยัด" ณ ต้นปี

บทความอ้างถึงนิทานของ "การขี่เสือยากต้องลง" ซึ่งหมายถึงการเสี่ยงความปลอดภัยเพื่อพัฒนาประสิทธิภาพระยะสั้นคล้ายกับการขี่เสือกำลังวิ่งที่เต็มไปด้วยอันตราย ในฐานะคนที่เชื่อมั่นในเทคโนโลยี พวกเขาจะไม่ปลอมเทคโนโลยีระดับสองเป็นระดับแรกและขาย

สิ่งที่ Starknet มุ่งหวังที่จะทำคือการพิสูจน์อย่างแท้จริงที่สามารถทนทานข้อมูลที่มากเหลือเชื่อและป่ามืด และการยึดถือต่อการพิสูจน์คือการยึดถือต่อความปลอดภัย

เพื่อปฏิบัติตาม, Starknet มีมาตรการสิ่งปลูกสร้างนักพัฒนาที่มีความสามารถมากพอ นอกจากกิจกรรมชุมชน เช่น แฮ็กกาธอน ล่าสุดได้เริ่มโปรแกรม Seed Grand, ให้ทีมที่เลือกได้มากถึง 25,000 ดอลลาร์สหรัฐในรูปแบบของรางวัลทุนที่ไม่ทำให้มีการ diluted เพื่อสนับสนุนการพัฒนานิเวศอนากรบน Starknet ของพวกเขา

เฉพาะสำหรับภาคเกมส์ มูลนิธิโปรแกรมนักบินเครื่องยนต์จะเลือกสูงสุด 20 เกมสำหรับการแสดงความคิดเห็นเพื่อรางวัลโดยขึ้นอยู่กับการบรรจุแก๊สในเครือข่ายหลักของ Starknet โดยที่แต่ละเกมมีสิทธิในการรับรางวัลสูงสุด 1 ล้านเหรียญ

นอกจากนี้ Nethermind ทีมพัฒนา Ethereum client ที่มีความร่วมมือกับ Starknet อย่างลึกซึ้ง ยังได้ประกาศStarknet Grand Program, ให้เงินทุนรวมกว่า 1 ล้านเหรียญดอลลาร์ โครงการละสามารถรับเงินทุนและการสนับสนุนทางเทคนิคจากทีม Nethermind ได้สูงสุด 250,000 เหรียญดอลลาร์

Starknet ก็กำลังพยายามทะลุผ่านอุปสรรคระหว่างตัวเองและ Ethereum จากสองมุมมอง ซึ่งการพัฒนาโครงการ Warp โดย Nethermind เน้นการแปลงรหัส Solidity เป็นรหัส Cairo เพื่อให้สามารถทำงานร่วมกันในระดับภาษาระดับสูง อีกอย่างคือโครงการ Kakarot zkEVM ที่พัฒนาโดยสมาชิกของทีม StarkWare จำลองสภาพแวดล้อม EVM ใน Cairo พยายามสร้าง EVM ที่สามารถพิสูจน์ได้ โครงการยังอยู่ในระหว่างการพัฒนา

5.3 未來

ภายใต้ความพยายามของ StarkWare ชุมชนนักพัฒนา Cairo กำลังเติบโตอย่างต่อเนื่อง ด้วยชุมชนนักพัฒนาที่เจริญรุ่ง เอคโซสเกิลจะฟักฟันผลิตภัณฑ์และเครื่องมือที่ยอดเยี่ยมมากขึ้น ทำให้ดึงดูดนักพัฒนาที่มีความสามารถมากขึ้นให้เข้าร่วมชุมชน Cairo ซึ่งจะสร้างวงจรบวก

นอกจากนี้ยังคาดหวังให้มีผลิตภัณฑ์ที่ยอดเยี่ยมเกิดขึ้นในสาขาที่เป็นประเพณีอย่าง DeFi โดยรวมกับประสิทธิภาพการทำงานของ Starknet ที่เริ่มเข้าใจต่อเนื่องและประโยชน์จากความสมบูรณ์ทางคอมพิวเตอร์ มีฝ่ายฝ่ายกำลังเกิดขึ้นบน Starknet ที่อาจแทนส่วนที่เป็นไปได้ในอนาคต

5.3.1 เกมเต็มระบบ On-Chain

แนวคิดของเกม Fully On-Chain (FOCG), หรือที่เรียกว่าเกม Infinite Games ได้รับความนิยมในช่วงต้นของบล็อกเชน และยังคว้าความคาดหวังของเกมเมอร์

มันเกี่ยวกับการจัดเก็บกฎและข้อมูลของเกมทั้งหมดบนบล็อกเชน การดำเนินการทั้งหมดและการโต้ตอบจากภายนอกจะพึงประสงค์ตามสัญญาอัจฉริยะ การตั้งค่านี้ทำให้ผู้เล่นเป็นเจ้าของทรัพย์สินในเกมจริง ๆ ระบบกฎที่โปร่งใสและสามารถที่จะตรวจสอบ และให้ระบบเศรษฐกิจเปิดเผย ซึ่งส่งเสริมประสบการณ์การเล่นเกมที่เสรีและยุติธรรมมากขึ้น

อย่างไรก็ตาม เนื่องจากความจำกัดในช่วงแรก เช่น ประสิทธิภาพการทำงาน ค่าใช้จ่าย และโหมดการจับคู่บนบล็อกเชน เกม Fully On-Chain ยังคงเป็นวิสัยทัศน์ที่ยิ่งใหญ่เป็นเวลานานโดยไม่ได้รับการยอมรับอย่างแพร่หลาย

อย่างไรก็ตาม ด้วยการปรับปรุงอย่างต่อเนื่องทั้งในด้านต่าง ๆ ของ Starknet เราเห็นศักยภาพที่สำคัญที่จะเป็นพื้นที่เชื้อเชิญสำหรับการเลี้ยงเกม Fully On-Chain

5.3.1.1 บัญชีโดยสรุปของบัญชี

การแยกบัญชี (AA) เป็นขั้นตอนที่สำคัญในการปรับปรุงการโต้ตอบและช่วยให้ผู้ใช้ Web2 สามารถเปลี่ยนมาใช้ Web3 ได้

ในคำทั่วไป มันเกี่ยวข้องกับการย้ายจากบัญชี Ethereum Externally Owned Accounts (EOAs) แบบ传统ที่มักจะใช้โดยบุคคล ไปสู่บัญชีสมาร์ทคอนแทร็ค (CAs) เนื่องจากความสามารถในการโปรแกรมบัญชีสมาร์ทคอนแทร็ค การดำเนินการสามารถถูกหยิบยกและประสบการณ์ผู้ใช้ถูกปรับให้ดีขึ้นในขณะที่ยังรักษาความปลอดภัย

การออกแบบของ Starknet รวมถึงการรวมบัญชีธรรมดาตั้งแต่ต้น โดยที่แต่ละบัญชีเป็นบัญชีสมาร์ทคอนแทร็ก ซึ่งจะช่วยลดความซับซ้อนในการนำ AA เข้าสู่ระบบ

dApps ที่อยู่ในกระเป๋าเงิน Native เช่น Agent X และ Braavos สนับสนุน account abstraction ซึ่งจะให้ประสบการณ์ที่เหมือนกับ Web2 แก่ผู้ใช้

ในสถานการณ์การเล่นเกมบทบาทของนามธรรมบัญชีจะชัดเจนยิ่งขึ้น ตัวอย่างเช่นคุณสมบัติหลักของเซสชันที่ริเริ่มโดยทีมเกมที่มีชื่อเสียงบน Starknet เช่น Briq, Loot Realms และ Topology ตอนนี้ถูกใช้โดย Loot Survivor คุณลักษณะนี้ช่วยให้กระเป๋าเงินเซสชันไม่จําเป็นต้องให้ผู้ใช้ลงนามในการกระทํา "โจมตี" ทุกครั้งซึ่งจะช่วยปรับปรุงประสบการณ์ของผู้ใช้อย่างมีนัยสําคัญ

5.3.1.2 นิเวศวิทยาของไคโร้ที่ดีขึ้นเรื่อย ๆ

ด้วยการปรับปรุงและปรับปรุงประสิทธิภาพของ Starknet อย่างต่อเนื่อง มีชุมชนเกมมากมายร่วมมือกันในการสร้างระบบนิเวศ Cairo ไว้ด้วยกัน ด้วยการเปิดตัวซีรีส์ของโครงสร้างพื้นฐาน โครงสร้างของชุมชนเกมตอนนี้ได้ถูกสร้างขึ้นแล้ว

Dojo เป็นเครื่องเกม on-chain ที่ใช้ Cairo เป็นพื้นฐาน สร้างขึ้นในเดือนกุมภาพันธ์ 2023 และในปัจจุบันถูกดำเนินการและรับบำรุงรวมกันโดยชุมชน เครื่องเกมทำหน้าที่เป็นพื้นฐานในการสร้างเกม ให้นักพัฒนาเกมด้วยกรอบการพัฒนาที่ประกอบด้วยสัญญา เครื่องมือ และห้องสมุดโค้ด ซึ่งเป็นการกำจัดความจำเป็นในการสร้างระบบพื้นฐานของเกมจากศูนย์ ทำให้การพัฒนาเกม on-chain เป็นไปได้ง่ายขึ้น

(หมายเหตุ: เครื่องเล่นเกมสองอันดับสำหรับเกม Web2 ที่นิยมที่สุดคือ Unity และ Unreal Engine ซึ่งมีเกมเช่น "Hearthstone" และ "Street Fighter" ที่สร้างขึ้นบน การพัฒนาเครื่องเล่นเกม Web3 ยังอยู่ในช่วงเริ่มต้น สองเครื่องเล่นเกมที่เข้ารหัสที่มีอยู่คือ MUD ที่สร้างขึ้นบน EVM และ Dojo ที่อ้างอิงจาก Cairo Dojo เป็นเครื่องเล่นเกมที่เข้ารหัสโปร่งแสดงเป็นครั้งแรก)

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

5.3.1.3 Layer 3

Starknet, ซึ่งเป็นโซลูชันชั้นที่ 2 สากลที่ใช้ Zk Rollup ไม่เพียงมีประสิทธิภาพด้านความปลอดภัยที่โดดเด่น ประสิทธิภาพสูง และลดต้นทุนอย่างมีนัย แต่ยังมีการพัฒนาแบบกำหนดเองของ Layer3 Appchains เพื่อตอบสนองความต้องการเฉพาะ

นักพัฒนาเกมสามารถปรับแต่งและปรับปรุงสภาพแวดล้อมการดำเนินการแบบ on-chain และกลไกความเห็นตามต้องการของพวกเขา โดยสร้างเครือข่ายเฉพาะเกมที่มีประสิทธิภาพสูง ล่วงล้ำ และมีความจุที่มีต้นทุนต่ำ นี้เปิดโอกาสให้มีแนวคิดเพิ่มเติมสำหรับเกมที่เป็นอยู่บนเครือข่ายอย่างสมบูรณ์

Realms และ Cartridge ได้ร่วมมือกันในการพัฒนา “โลก Realms L3” ที่คาดว่าจะเปิดตัวอย่างเป็นทางการในไตรมาสที่ 3 ของปีนี้ มันจะทำงานบนระบบ Realms ทั้งหมดบน Starknet ซึ่งเสนอความเร็วที่เร็วขึ้นและค่าใช้จ่ายที่ต่ำลงเพื่อเสริมประสบการณ์ของผู้ใช้ได้อย่างเต็มที่

นอกจากนี้ Dope Wars ได้ประกาศความร่วมมือกับ Cartridge เพื่อเปิดตัว Layer3 solution และใช้ $PAPER เป็น Gas token

5.3.1.4 สรุป

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

ในปัจจุบันเราสามารถเห็นระดับความกระตือรือร้นสูงในหมู่นักพัฒนาเกมบน Starknet ในการสร้างระบบ Cairo ความร่วมมือจากโครงการชั้นนำช่วยในการสร้างพื้นฐานสำคัญ เช่น Dojo

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

5.3.2 ZKML

ด้วยการระเบิดพร้อมกันของเทคโนโลยี AI และบล็อกเชน AI+บล็อกเชนถือเป็นทิศทางของการพัฒนาในอนาคตอย่างมาก โดย Zero Knowledge Machine Learning (ZKML) เป็นหนึ่งในทางออก

โมเดล ML แบบดั้งเดิมมักเป็นเหมือนกล่องดําซึ่งเป็นเจ้าของโดยสถาบันส่วนกลาง ผู้ใช้ทั่วไปนอกเหนือจากการไว้วางใจการรับรองของสถาบันขนาดใหญ่แล้วไม่สามารถตรวจสอบได้ว่าพวกเขากําลังใช้โมเดลใดหรือได้รับการฝึกอบรมด้วยข้อมูลที่เชื่อถือได้หรือไม่ นี่เป็นหนึ่งในเหตุผลหลักว่าทําไมโมเดลขนาดใหญ่แบบรวมศูนย์จึงถูกวิพากษ์วิจารณ์

การวางโมเดลบนเชนอย่างง่ายเพื่อการฝึกและดำเนินการในลักษณะที่ไม่ central ไม่ใสามารถทำได้เนื่องจากค่า gas สูงและความไม่สามารถในการรับประกันความเชื่อถือของโมเดลและข้อมูลการฝึกในสภาพแวดล้อม on-chain ที่ไม่น่าเชื่อถือ

ในสถานการณ์เช่นนี้ ZKML กลายเป็นเรื่องจำเป็น คิด off-chain, กระทำ on-chain โดยการฝึกอบรมและเรียกใช้โมเดล off-chain และใช้เทคโนโลยี ZK เพื่อสร้างพิสูจน์ที่ส่งให้กับเชน ZKML แสดงถึงการแก้ปัญหาสองประเด็นที่กล่าวถึงไว้แล้ว - ค่าใช้จ่ายและความเชื่อถือ

นอกจากนี้เนื่องจากมีคุณสมบัติที่เกี่ยวกับความเป็นส่วนตัวใน ZK ZKML ยังมีโอกาสที่มีแนวโน้มที่กว้างขวางในพื้นที่ที่ละเอียดอ่อน เช่น การเงินและสุขภาพ

การสร้าง ZKML บน Starknet โดยใช้ Cairo มีความได้เปรียบที่แท้จริง Cairo เป็นภาษาที่พัฒนาขึ้นเพื่อการพิสูจน์ มีความสมบูรณ์ทางคอมพิวเตอร์และมีการแยกแยะอย่างมากในการพิสูจน์ นักพัฒนาสามารถเรียกใช้องค์ประกอบพิสูจน์โดยตรงโดยไม่ต้องจัดการกับปัญหาในการพิสูจน์เอง ซึ่งทำให้กระบวนการพัฒนาง่ายขึ้นอย่างมาก

นอกจากนี้ยังมีประโยชน์จากความได้เปรียบทางมาตราลัยของ STARK ซึ่งมีผลกระทบที่สำคัญในการจัดการข้อมูลคำนวณขนาดใหญ่อย่างมีประสิทธิภาพและประหยัดต้นทุนเพื่อสนับสนุนข้อมูลมโนเครนที่มีขนาดใหญ่ที่จำเป็นสำหรับการเรียนรู้ของเครื่อง ดังนั้น ZKML ที่ขึ้นอยู่กับ Giza Tech บน Starknet กำลังพัฒนาอย่างรวดเร็ว

Giza เป็นแพลตฟอร์ม ZKML บน Starknet ที่ให้บริการ Orion development framework เพื่อช่วยให้นักพัฒนาสามารถใช้เฟรมเวิร์กที่คุ้นเคย (เช่น PyTorch, TensorFlow) สำหรับการฝึกโมเดลและการใช้งานง่ายบน Starknet

นอกจากนี้ Giza ได้นำเสนอเฟรมเวิร์กเอเยนต์ที่ชื่อ Agents ซึ่งรวม ZKML กับพฤติกรรมของ blockchain หลายราย. นักพัฒนาสามารถสร้างตัวแทน AI on-chain ขึ้นมาโดยใช้ ZKML, โต้ตอบกับสมาร์ทคอนแทรคต์, และตัดสินใจตามกฎที่กำหนดไว้

ปัจจุบัน Giza ได้ถูกนำไปใช้กับหลายโครงการ เช่นในเครือข่ายสังคม มันร่วมมือกับ Circles Network สำหรับการวิเคราะห์กราฟสังคมเพื่อตรวจจับผู้ใช้ปลอม ใน DeFi มันร่วมมือกับ Yearn Finance เพื่อให้กลยุทธ์การลงทุนอัจฉริยะและการจัดการความเสี่ยงโดยใช้เทคโนโลยี ZKML

การรวมเข้าไปล่าสุดในโปรแกรม Starknet Seed Grand Program, ML Village, กำลังใช้ Giza เพื่อนำ ZKML เข้าสู่การเล่นเกมบนบล็อกเชนเพื่อการตัดสินใจ โดยการสาธิตที่มีความหมายในการประยุกต์ใช้ที่กว้างขวางของมัน

06 สรุป

ตามประกาศล่าสุดจากทีมทางการแอบ Starknet คาดว่าจะลดค่าธรรมเนียมให้ต่ำกว่า 0.01 ดอลลาร์อย่างมาก และสามารถทำธุรกรรมได้หลายร้อยต่อวินาที (TPS) ในปี 2024 ซึ่งทำให้เป็น Layer2 ที่มี TPS สูงสุด

เป้าหมายนี้อาจจะไม่ดูทะเยอทะยานสำหรับ Starknet เนื่องจากวิสัยของ StarkWare สำหรับ Starknet ยังกว้างกว่าการเป็นแค่ Layer 2 solution เท่านั้น ในเชิงผลิตภัณฑ์และตัวเลือกในตลาด Starknet คล้ายกับ Solana มากขึ้น โดยที่ปล่อยทั้งประโยชน์และข้อจำกัดของ EVM เพื่อสร้างขึ้นมาใหม่

อย่างไรก็ตาม ไม่เหมือน Solana ที่มีข้อบกพร่องในการกระจายอำนาจ Starknet ได้รับมรดกอย่างเฉลี่ยของ Ethereum อย่างสร้างสรรค์ในขณะที่รักษาประสิทธิภาพในการขยายของ Ethereum Layer 2 และ ZK โดยรองรับความปลอดภัย มันทำให้สามเหลี่ยมที่เป็นไปไม่ได้กลายเป็นไปได้

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

คำปฏิเสธ：

1. บทความนี้ถูกพิมพ์ซ้ำจาก [ กระจก]. Forward the Original Title‘Starknet 万字研报：蓄势待发，长期主义者的跬步千里’. All copyrights belong to the original author [Biteye นักสนับสนุนหลัก Anci]. หากมีข้อหาต่อการพิมพ์ฉวยนี้ โปรดติดต่อ GateGate Learnทีม และพวกเขาจะดำเนินการโดยเร็ว
2. คำปฏิเสธความรับผิด: มุมมองและความคิดเห็นที่แสดงในบทความนี้เป็นเพียงเพียงของผู้เขียนเท่านั้น และไม่เป็นที่แสดงเสียงของคำแนะนำในการลงทุนใด ๆ
3. การแปลบทความเป็นภาษาอื่น ๆ ทำโดยทีม Gate Learn หากไม่ได้กล่าวถึง การคัดลอก การกระจาย หรือการลอกเลียนบทความที่ถูกแปล ถือเป็นการฝ่าฝืนกฎหมาย