ฟังก์ชันของการอัปเดตนี้สามารถสรุปได้เป็นสามประเด็น ได้แก่ ความฉลาด ประสิทธิภาพ และความปลอดภัย

ฟังก์ชันของการอัปเดตนี้สามารถสรุปได้เป็นสามประเด็น ได้แก่ ความฉลาด ประสิทธิภาพ และความปลอดภัย

• ฉลาดขึ้น: ใช้การออกแบบ Sierra ตรวจสอบให้แน่ใจว่ารหัสไคโรสามารถพิสูจน์ได้ และสัญญาอัจฉริยะของ StarkNet จะถูกนำมาใช้ในเวอร์ชันถัดไป

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

• ปลอดภัยยิ่งขึ้น: รักษาความสมบูรณ์ของทัวริง และรับประกันความปลอดภัยของกลไก STARK ด้วยการพิสูจน์ทางคณิตศาสตร์

เวิร์กโฟลว์ของ Cairo 1.0 เวอร์ชันสาธารณะจะแตกต่างจากที่ผ่านมา และทิศทางการพัฒนาหลักคือการปรับปรุงอย่างต่อเนื่องในด้านความสามารถในการเขียนสัญญาอัจฉริยะและความเป็นมิตรกับนักพัฒนา

สิ่งที่ดีที่สุดของทั้งสองโลก: มุ่งสู่ ZK-EVM

ในรอบของการต่อสู้เลเยอร์ 2 นี้ STARK และ SNARK ในซีรีส์ ZK ได้กลายเป็นสองเส้นทางหลัก แต่ความเข้ากันได้ของ EVM และประสิทธิภาพการดำเนินการก็กลายเป็นจุดสนใจของทุกฝ่าย และความเข้ากันได้ที่ดีกว่าจะได้รับการยอมรับจาก Ethereum mainnet การให้พรด้านความปลอดภัยและประสิทธิภาพการดำเนินการที่สูงขึ้นจะทำให้ความเร็วในการดำเนินการของ L2 เร็วขึ้น

แต่มีความขัดแย้งในเรื่องนี้: ความเข้ากันได้ของ EVM และประสิทธิภาพการดำเนินการมักจะไม่สามารถทำได้พร้อมๆ กัน ความเข้ากันได้ของ L1 ที่ดีกว่าจะลดประสิทธิภาพการดำเนินการของ L2 มิฉะนั้นจะมีปัญหาด้านความปลอดภัย

ดังนั้น StarkWare จึงหวังที่จะใช้ภาษาไคโรเป็นกาวเชื่อมระหว่างทั้งสอง สัญญาอัจฉริยะ ที่เขียนผ่านนั้นไม่เพียงแต่สามารถทำงานด้วยความเร็วเต็มที่บน StarkNet เท่านั้น แต่ยังรักษาความเข้ากันได้สูงกับเครือข่ายหลัก Ethereum อีกด้วย นี่คือสาระสำคัญที่แท้จริงของ ZK -EVM ความหมาย

ในการอัปเดตนี้ ไคโรจะสนับสนุน Cairo-VM ที่สมบูรณ์ ซึ่งกุญแจสำคัญคือเลเยอร์การนำเสนอระดับกลาง Sierra

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

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

เนื่องจากมีการรักษาระดับความเข้ากันได้กับ Ethereum mainnet ไว้ การแปลงระหว่างสัญญาอัจฉริยะที่เขียนด้วยไคโรและ Solidity ก็จะง่ายขึ้นด้วยเช่นกัน Warp ซึ่งเป็นตัวแปลของไคลเอนต์ Ethereum Nethermind รองรับการเขียน Uniswap V3 ใหม่เป็นรหัสไคโรแล้ว

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

ถั่วงอก: คุณสมบัติสมดุลที่ขึ้นสนิม

อันที่จริง ไคโรเองก็ถือได้ว่าเป็นภาษาที่เขียนด้วยภาษารัสต์ ซึ่งสืบทอดคุณลักษณะของรัสต์มามากกว่า

ตัวสนิมเองนั้นแตกต่างจากภาษาสมัยใหม่ที่เรียกว่า Python/Go ประสิทธิภาพการทำงานนั้นใกล้เคียงกับภาษาการพัฒนาระดับล่างอย่างมาก กลไกการจัดการหน่วยความจำ - ความเป็นเจ้าของพิเศษ (ความเป็นเจ้าของ) และการยืม การออกแบบ

เพื่อให้แม่นยำ ความเป็นเจ้าของ Cairo/Rust หมายถึงข้อกำหนดที่ชัดเจนในการจัดการหน่วยความจำ เนื่องจากกลไกการทำงานของโหนดพิเศษของ blockchain จึงเป็นสภาพแวดล้อมการพัฒนาที่ไวต่อหน่วยความจำโดยทั่วไป ยกตัวอย่าง C/C++ และ Java ปัจจุบันกลไกการใช้ทรัพยากรหน่วยความจำ A กระแสหลักสามกลไก:

• C/C++: จัดการหน่วยความจำด้วยตนเอง ต้องขอบคุณ (ผู้รับประโยชน์จาก) ความก้าวหน้าของอุปกรณ์ที่ทันสมัย ​​นักพัฒนาส่วนใหญ่ไม่ได้พัฒนานิสัยในการปล่อยหน่วยความจำให้ทันเวลา ซึ่งจะทำให้ทรัพยากรสิ้นเปลืองอย่างร้ายแรง

• Java: กลไกการรีไซเคิลทรัพยากรโดยอัตโนมัติ JVM เป็นเครื่องเสมือนที่รันไทม์ Java มีฟังก์ชันในการจัดการหน่วยความจำโดยอัตโนมัติ แต่โดยทั่วไปเพื่อให้มั่นใจถึงประสิทธิภาพการทำงาน JVM จะรักษาทรัพยากรหน่วยความจำจำนวนหนึ่ง ซึ่งจะทำให้การจัดหาไม่ตรงกัน และความต้องการ

• Cairo/Rust: กลไกความเป็นเจ้าของจัดการทรัพยากรหน่วยความจำ ตัวแปรใดๆ ใน Rust ต้องระบุเจ้าของและสามารถมีได้ทีละตัวเท่านั้น เมื่อเรียกใช้ตัวแปร ตัวแปรนั้นจะถูกปล่อยและไม่สามารถอยู่ในหน่วยความจำต่อไปได้

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

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

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

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

ในการเขียนสัญญาอัจฉริยะประเภทและปริมาณของสินทรัพย์จะต้องได้รับการปฏิบัติอย่างชัดเจนเพื่อให้แน่ใจว่าความเป็นเจ้าของนั้นชัดเจนและขั้นตอนการทำธุรกรรมและการแปลงมีความชัดเจน Cairo/Rust สามารถอ่านได้ง่ายและเป็นมิตรกับนักพัฒนาดังนั้นจึงเป็นเรื่องง่ายที่จะ หลีกเลี่ยงความกังวลด้านความปลอดภัยเพิ่มเติม

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

รีบอร์น: นักพัฒนาที่เป็นมิตร

Cairo 1.0 แบกรับความรับผิดชอบอันหนักหน่วงในการเชื่อมต่อ L2 และ Ethereum mainnet ตามแผน Regenesis (การเกิดใหม่) อย่างเป็นทางการ StarkNet จะเปลี่ยนไปใช้ไคโรอย่างสมบูรณ์ในไตรมาสแรกของปี 2023 สิ้นสุดสถานะที่กระจัดกระจายในปัจจุบันและเข้าสู่การพัฒนาใหม่ของการแข่งขันทางนิเวศวิทยา เวที.

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

ในรูปแบบการพัฒนาเชนสาธารณะ/L2/dApp ปัจจุบัน Solidity (Vyper) ครองตำแหน่งผูกขาดเกือบ 98% ในขณะที่ไคโรครองพื้นที่ตลาดน้อยกว่า 1% โดยทั่วไปมีเพียง StarkWare เท่านั้นที่สามารถรองรับการดำเนินการได้ในปัจจุบัน

นับตั้งแต่ก่อตั้ง StarkNet และ StarkEx dApps ที่ขับเคลื่อนด้วยไคโรได้ประมวลผลธุรกรรมมากกว่า 300 ล้านรายการ สร้าง NFT มากกว่า 65 ล้านรายการ และประมวลผลธุรกรรมมูลค่า 700 พันล้านดอลลาร์ ทั้งหมดใช้ Ethereum เป็นชั้นการชำระบัญชีขั้นสุดท้าย

ก่อนที่ไคโร 1.0 จะถูกนำไปใช้กับ StarkNet จริง ประสบการณ์ของนักพัฒนาคือขั้นตอนแรกในการแข่งขันเพื่อเข้าสู่ระบบนิเวศของ StarkWare นอกเหนือจากการสนับสนุน Warp ของ Nethermind แล้ว ConsenSys ยังบรรลุความร่วมมือกับ StarkWare เพื่อจัดหาสัญญาอัจฉริยะให้แก่ไคโรเพื่อให้ความปลอดภัย บริการตรวจสอบบัญชี

การอ่านที่เกี่ยวข้อง:

การอ่านที่เกี่ยวข้อง:สินค้าคงคลังของนิเวศวิทยา StarkWare: 7 แอปพลิเคชันใน StarkEx, 105 โครงการระบบนิเวศใน StarkNet

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

ในปัจจุบัน คุณสามารถอ้างอิงข้อมูลของ StarkEx ได้อย่างถูกต้อง StarkEx แตกต่างจากเส้นทางทั่วไปของ StarkNet ตรงที่เน้นไปที่โครงการขนาดใหญ่ที่สำคัญหลายโครงการ รวมถึง Immutable X, Sorare, Rgino.Fi และ dYdX จำนวนผู้ใช้ที่ใช้บริการ ได้ถึง 20 ล้าน ชีวิตเฉลี่ยเดือนละหลักหมื่น

บทส่งท้าย

บทส่งท้าย

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

ในขณะเดียวกัน ควรสังเกตว่า Cairo 1.0 ยังมีฟังก์ชันบางอย่างที่ยังไม่ได้รับการนำไปใช้อย่างเต็มที่ และสถานะที่สมบูรณ์อาจต้องใช้วงจรการพัฒนาที่ยาวนานขึ้น และเวลาในการออกโทเค็นก็จะถูกปรับตามไปด้วย

กล่าวโดยย่อ ไคโรมีความสำคัญอย่างยิ่งในการยุติ StarkNet เวอร์ชันปัจจุบันที่ "ไม่สมบูรณ์" การรวมเครื่องมือใหม่ๆ เช่น Sierra คอมไพเลอร์ และเครื่องมือการพัฒนากระแสหลักเข้าด้วยกันจะช่วยลดแรงกดดันให้นักพัฒนาในการเขียนสัญญาอัจฉริยะลงได้อย่างมาก