ขอแนะนําเหล็ก: โลหะผสมชุบแข็งที่เชื่อมต่อ RISC Zero กับ Ethereum

ความสําเร็จของ Ethereum ได้นําไปสู่ระบบนิเวศที่เฟื่องฟูของแอปพลิเคชันแบบกระจายอํานาจ แต่ความท้าทายด้านความสามารถในการปรับขนาดได้ชัดเจนขึ้นเรื่อยๆ นักพัฒนาเหลือทางเลือกที่ยาก: จํากัดฟังก์ชันการทํางานและความสมบูรณ์ของข้อมูลของแอปพลิเคชันของตน หรือแบกรับภาระค่าธรรมเนียมก๊าซหรือขีดจํากัดก๊าซที่มากเกินไป จะเกิดอะไรขึ้นถ้ามีวิธีที่นักพัฒนาจะข้ามข้อจํากัดเหล่านี้ได้

Steel ซึ่งเป็นไลบรารีหลักฐานการโทรมุมมองที่ใช้ โลหะผสมโดย RISC Zero แสดงถึงการเปลี่ยนแปลงครั้งใหญ่ในวิธีที่นักพัฒนาโต้ตอบกับเชนที่ใช้ Ethereum L1 หรือ EVM ด้วยการควบคุมพลังของการพิสูจน์ความรู้เป็นศูนย์และ RISC Zero zkVM Steel ช่วยให้นักพัฒนาสามารถดําเนินการเรียกมุมมองและอ่านและคํานวณสถานะของ Ethereum ได้อย่างพิสูจน์ได้ในลักษณะที่ปรับขนาดได้ ปลอดภัย และมีประสิทธิภาพทางเศรษฐกิจ

Solidity's Convenience ด้วยพลังของ ZK

Steel เชื่อมช่องว่างระหว่างการพัฒนาแอปของ Ethereum และเทคโนโลยีที่ไม่มีความรู้ ทําให้นักพัฒนาสามารถควบคุมพลังของ ZK ในสัญญาอัจฉริยะได้ง่ายกว่าที่เคย เมื่อรวมกับความสามารถของ RISC Zero zkVM แล้ว Steel ช่วยให้นักพัฒนาสามารถสร้างแอปพลิเคชันที่ปลอดภัย ปรับขนาดได้ และมีประสิทธิภาพมากขึ้นบน Ethereum L1 หรือเชนที่เทียบเท่า EVM

ด้วย Steel นักพัฒนาจะได้รับความสามารถในการ:

• ดําเนินการสัญญาอัจฉริยะของ Solidity โดยตรงภายใน zkVM เพื่อตรรกะบนเครือข่ายที่ซับซ้อนยิ่งขึ้น
• เข้าถึงสถานะ Ethereum ในอดีตภายใน zkVM
• คํานวณโดยไม่มีการจํากัดบล็อกและขนาดธุรกรรมโดยใช้ ความต่อเนื่อง
• รับรองการคํานวณแบบ off-chain ที่ปลอดภัยและเชื่อถือได้ ราวกับว่าดําเนินการแบบ on-chain
• ใช้ zkVM ที่พร้อมสําหรับการผลิตเครื่องแรก ซึ่งผ่านการทดสอบและใช้งานอย่างเข้มงวดโดยพันธมิตรต่างๆ
• การคํานวณส่วนตัวเหนือสถานะ Ethereum
• รักษาความยืดหยุ่นด้วย โค้ดเบสแบบโอเพนซอร์สโดยไม่ต้องล็อคอินผู้ขาย

การผสานรวมที่ราบรื่นและการประหยัดต้นทุน

ด้วย Steel การดําเนินการเรียกมุมมองทําได้ง่ายเพียงแค่ระบุวิธีการ Solidity ที่ต้องการ ไม่ว่าจะดึงยอดคงเหลือโทเค็น ERC-20 (ตัวอย่าง) หรือการเข้าถึงสถานะใด ๆ ของ Ethereum Steel ทําให้กระบวนการง่ายขึ้นในขณะที่รับประกันความปลอดภัยและประสิทธิภาพผ่านการผสานรวมกับ RISC Zero zkVM อย่างราบรื่น การทดสอบของเราแสดงให้เห็นถึงความสามารถของ Steel ในการจัดการการดําเนินการ SLOAD มากกว่า 100K ในการโทรมุมมองเดียว ซึ่งอาจช่วยประหยัดค่าธรรมเนียมก๊าซได้หลายพันดอลลาร์บนเมนเน็ต เราสามารถพิสูจน์สิ่งนี้ได้ในเวลาประมาณ 15 นาทีโดยใช้บอนไซ สิ่งนี้จะต้องใช้ก๊าซอย่างน้อย 210M ซึ่งเกินขีดจํากัดบล็อกถึง 7 เท่า

ตัวอย่าง: ERC20 balanceOf

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

การกําหนดลายเซ็นฟังก์ชันมุมมอง

เริ่มต้นด้วยการกําหนดลายเซ็นฟังก์ชัน ERC-20 balanceOf โดยใช้ sol! มหัพภาค สิ่งนี้จะแยกวิเคราะห์ไวยากรณ์ Solidity เพื่อสร้างโครงสร้าง Rust ที่สอดคล้องกัน ซึ่งใช้ลักษณะ SolCall โครงสร้างนี้สามารถใช้เพื่อเรียกเมธอด balanceOf ซึ่งใช้ที่อยู่บัญชีและส่งกลับยอดคงเหลือโทเค็น ERC-20 ที่เกี่ยวข้อง

กําลังเตรียมการโทร

ตั้งค่าการโทรโดยสร้างอินสแตนซ์โครงสร้าง balanceOfCall ด้วยที่อยู่บัญชีเป้าหมาย นอกจากนี้ ให้กําหนดค่าคงที่สําหรับที่อยู่ของสัญญาที่คุณต้องการสอบถามและที่อยู่ของผู้โทร

การดําเนินการโทรในหลัก

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

วิธีการทํางาน

Steel ช่วยลดความยุ่งยากในกระบวนการพิสูจน์การเรียกใช้โค้ด Solidity ใน RISC Zero zkVM ในสามขั้นตอนง่ายๆ:

1. ระยะก่อนบิน: เริ่มต้นก่อนการบินโดยทําการเรียกมุมมองไปยังโหนด Ethereum RPC สิ่งนี้จะแคชสล็อตที่เก็บข้อมูลที่จําเป็น โดยเติมฐานข้อมูล EVM ด้วยเฉพาะข้อมูลที่จําเป็นสําหรับการสืบค้นเท่านั้น ช่องเก็บข้อมูลทั้งหมดจะถูกค้นพบและดึงข้อมูลโดยอัตโนมัติตามการดําเนินการเรียกมุมมอง
2. การตรวจสอบการจัดเก็บ: ดําเนินการตรวจสอบความสมบูรณ์ของที่เก็บข้อมูล เพื่อให้มั่นใจว่าข้อมูลในฐานข้อมูล EVM สอดคล้องกับรูทสถานะของบล็อกเชน ดังนั้นจึงยืนยันความถูกต้อง
3. การดําเนินการ Solidity: เรียกใช้ฟังก์ชัน Solidity ที่กําหนดบน EVM ภายใน RISC Zero zkVM

สิ่งนี้แตกต่างจากหลักฐานการจัดเก็บอย่างไร

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

การรับแฮชบล็อกที่ได้รับการยืนยัน

เมื่อใช้ blockhash opcode สําหรับการตรวจสอบความถูกต้องในสัญญาอัจฉริยะของ Ethereum ความมุ่งมั่นในการตรวจสอบความถูกต้องจะต้องอ้างอิง blockhash ที่มีอายุไม่เกิน 256 บล็อก ด้วยเวลาบล็อกเฉลี่ย 12 วินาที สิ่งนี้จะกําหนดกรอบเวลาที่แคบประมาณ 50 นาทีเพื่อสร้างการพิสูจน์ให้เสร็จสมบูรณ์และยืนยันการรวมธุรกรรมการตรวจสอบความถูกต้องภายในบล็อก

เมื่อจําเป็นต้องมีแฮชบล็อกที่ตรวจสอบแล้วซึ่งเก่ากว่า 256 บล็อกบนเครือข่าย สามารถใช้กลยุทธ์ได้หลายอย่าง:

• เมื่อทราบแฮชบล็อกที่จําเป็นล่วงหน้า (เช่น เมื่อเริ่มต้นข้อเสนอสําหรับการกํากับดูแล) แฮชบล็อกนั้นสามารถบันทึกลงในสถานะสัญญาได้
• อีกวิธีหนึ่งคือการใช้ RISC Zero เพื่อพิสูจน์ห่วงโซ่แฮชจากบล็อกที่ถูกสอบถามจนถึงบล็อกใน 256 ล่าสุด

อนาคตของแอพ On-chain

เรามองเห็นอนาคตที่มีการผสานรวมการคํานวณแบบ off-chain เข้ากับการตรวจสอบแบบ on-chain อย่างราบรื่น Steel คือการมีส่วนร่วมของเราในการทําให้วิสัยทัศน์นี้เป็นจริง โดยช่วยให้นักพัฒนาสามารถเข้าถึงและคํานวณประวัติทั้งหมดของ Ethereum ภายใน zkVM ได้อย่างพิสูจน์ได้ เพื่อสร้างคลื่นลูกต่อไปของแอปพลิเคชันบนเครือข่ายที่มีข้อมูลมากมายและใช้งานได้มากขึ้น

เริ่มต้นใช้งานเหล็ก

เหล็กเป็นองค์ประกอบสําคัญของความมุ่งมั่นของ RISC Zero ในการเปิดตัว zkVM 1.0 ซึ่งเป็นก้าวสําคัญสู่การตรวจสอบหลักฐานบนเครือข่ายราคาถูกและปลอดภัยและการพิสูจน์ความรู้เป็นศูนย์สากล เริ่มต้นใช้งาน Steel วันนี้โดยไปที่ repo GitHub ของเราเพื่อดูเอกสาร ตัวอย่างโค้ด และแหล่งข้อมูลเพื่อช่วยคุณรวม Steel เข้ากับโครงการของคุณ

ปฏิเสธ:

1. บทความนี้พิมพ์ซ้ําจาก [riscze] ลิขสิทธิ์ทั้งหมดเป็นของผู้แต่งต้นฉบับ [Santiago Campos] หากมีการคัดค้านการพิมพ์ซ้ํานี้ โปรดติดต่อทีม Gate Learn และพวกเขาจะจัดการทันที
2. การปฏิเสธความรับผิด: มุมมองและความคิดเห็นที่แสดงในบทความนี้เป็นของผู้เขียนเท่านั้นและไม่ถือเป็นคําแนะนําในการลงทุนใดๆ
3. การแปลบทความเป็นภาษาอื่นดําเนินการโดยทีม Gate Learn ห้ามคัดลอก แจกจ่าย หรือลอกเลียนแบบบทความที่แปลเว้นแต่จะกล่าวถึง