PSE Trading: ภายใต้ Rollup wave VM ยังคงมีเรื่องราวที่จะเล่าให้ฟัง

特邀专栏作者

2023-10-30 06:26

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

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

ผู้เขียนต้นฉบับ: นักวิเคราะห์การซื้อขาย PSE@cryptohawk

TL;DR

เครื่องเสมือนเป็นระบบคอมพิวเตอร์จำลองซอฟต์แวร์ที่ให้สภาพแวดล้อมการดำเนินการสำหรับโปรแกรมต่างๆ สามารถจำลองอุปกรณ์ฮาร์ดแวร์ต่างๆ และอนุญาตให้โปรแกรมทำงานในสภาพแวดล้อมที่มีการควบคุมและเข้ากันได้
Ethereum Virtual Machine (EVM) เป็นเครื่องเสมือนแบบสแต็กที่ใช้ในการดำเนินการสัญญาอัจฉริยะ Ethereum zkEVM ได้ทำการปรับปรุงประสิทธิภาพการสร้าง zk-proof บางอย่างในแง่ของความเทียบเท่า/ความเข้ากันได้ของ EVM;
zkVM ละทิ้งความเทียบเท่า/ความเข้ากันได้ของ EVM และเพิ่มลำดับความสำคัญของความเป็นมิตรต่อ zk
ความเป็นส่วนตัว zkVM ซ้อนคุณสมบัติความเป็นส่วนตัวดั้งเดิมบน zkVM;
SVM, FuelVM และ MoveVM มีเหมือนกันในการแสวงหาประสิทธิภาพขั้นสูงสุดผ่านการดำเนินการแบบขนาน แต่มีลักษณะเฉพาะของตัวเองในรายละเอียดการออกแบบ
ESC VM และ BitVM ได้ทำการทดลองเลเยอร์การประมวลผลเชิงนวัตกรรมบางอย่างบนเชน ETH และ BTC ตามลำดับ แต่ความต้องการใช้งานจริงยังต่ำในสภาพแวดล้อมปัจจุบัน
ระบบนิเวศผู้ใช้ขนาดใหญ่ของ EVM เป็นตัวกำหนดว่าเครือข่ายบล็อกเชนใดๆ ที่ละทิ้ง จะมีปัญหาในการแข่งขันกับเครือข่ายในระยะสั้น ดังนั้น ระบบนิเวศที่ไม่ใช่ EVM จะแนะนำผู้ใช้ระบบนิเวศ EVM ผ่านทางตัวแปล/คอมไพเลอร์/ล่ามโค้ดไบต์ และแม้แต่เลเยอร์ความเข้ากันได้ของ VM เพื่อใช้ที่ไม่ใช่ EVM การใช้ฟีเจอร์เครื่องเสมือนเพื่อสร้างการบรรยายเชิงนิเวศน์ใหม่อาจเป็นเส้นทางสู่ความสำเร็จที่จำเป็น

1.1 VM คืออะไร

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

ในบริบทของบล็อกเชน เครื่องเสมือน (VM) คือชิ้นส่วนของซอฟต์แวร์ที่รันโปรแกรม ซึ่งมักเรียกว่าสภาพแวดล้อมรันไทม์ที่ดำเนินการสัญญาอัจฉริยะของบล็อกเชน เครื่องเสมือนมักจะจัดเตรียมสภาพแวดล้อมคอมพิวเตอร์เสมือนโดยการจำลองอุปกรณ์ฮาร์ดแวร์ต่างๆ อุปกรณ์ฮาร์ดแวร์ที่เครื่องเสมือนต่างๆ สามารถจำลองได้จะแตกต่างกันไป แต่โดยทั่วไปจะรวมถึง CPU, หน่วยความจำ, ฮาร์ดดิสก์, อินเทอร์เฟซเครือข่าย ฯลฯ เมื่อมีการส่งธุรกรรมออนไลน์ เครื่องเสมือนจะรับผิดชอบในการประมวลผลธุรกรรมและอัปเดตสถานะบล็อคเชน (สถานะปัจจุบันทั่วโลกของเครือข่ายทั้งหมด) ที่ได้รับผลกระทบจากการดำเนินการธุรกรรม กฎเฉพาะสำหรับการเปลี่ยนสถานะเครือข่ายถูกกำหนดโดย VM เมื่อประมวลผลธุรกรรม VM จะแปลงรหัสสัญญาอัจฉริยะเป็นรูปแบบที่ฮาร์ดแวร์โหนด/ตัวตรวจสอบสามารถดำเนินการได้

เคอร์เนลที่สำคัญที่สุดใน VM คือ LLVM (เครื่องเสมือนระดับต่ำ) ซึ่งถือได้ว่าเป็นเคอร์เนลที่สำคัญที่สุดของคอมไพเลอร์ รูปนี้แสดงรูปแบบการดำเนินการ EVM ดั้งเดิม สัญญาอัจฉริยะจะถูกแปลงผ่านโค้ดระดับกลางของ LLVM IR และแปลงเป็น Bytecode Bytecode เหล่านี้จะถูกจัดเก็บไว้ใน blockchain เมื่อเรียกใช้สัญญาอัจฉริยะ Bytecode จะถูกแปลงเป็น Opcode ที่เกี่ยวข้อง ซึ่งจะถูกดำเนินการโดย EVM และฮาร์ดแวร์โหนด

1.2 VM กระแสหลัก

1.2.1 EVM - Blockchain VM มีทั้งหมดหนึ่งสโตน EVM มีแปดบัคเก็ตโดยเฉพาะ และที่เหลือแบ่งออกเป็นสองบัคเก็ต

โครงการตัวแทน: การมองในแง่ดี, อนุญาโตตุลาการ

เนื่องจากระบบนิเวศบล็อกเชนมีนักพัฒนาและผู้ใช้ที่ใช้งานมากที่สุดในอุตสาหกรรม Ethereum Virtual Machine (EVM) จึงเป็นเครื่องเสมือนแบบสแต็กที่ให้คอมพิวเตอร์เสมือนโดยการจำลองอุปกรณ์ฮาร์ดแวร์ เช่น CPU หน่วยความจำ พื้นที่เก็บข้อมูล และสแต็ก สภาพแวดล้อมในการ ดำเนินการตามคำสั่งของสัญญาอัจฉริยะและจัดเก็บสถานะและข้อมูลของสัญญาอัจฉริยะ ชุดคำสั่งของ EVM ประกอบด้วย opcode ต่างๆ เช่น การดำเนินการทางคณิตศาสตร์ การดำเนินการเชิงตรรกะ การดำเนินการจัดเก็บข้อมูล การดำเนินการข้าม เป็นต้น

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

สแต็กจำลอง EVM ใช้เพื่อจัดเก็บตัวถูกดำเนินการและผลลัพธ์ของคำสั่ง คำสั่งส่วนใหญ่ในชุดคำสั่งของ EVM เป็นแบบสแต็ก โดยอ่านตัวถูกดำเนินการจากสแต็กและพุชผลลัพธ์กลับเข้าสู่สแต็ก

กระบวนการออกแบบของ EVM เห็นได้ชัดจากล่างขึ้นบน ขั้นแรก สภาพแวดล้อมฮาร์ดแวร์จำลอง (สแต็ก หน่วยความจำ) จะถูกสรุป จากนั้นชุดคำสั่งประกอบ (Opcode) และไบต์โค้ด (Bytecode) ของตัวเองจะได้รับการออกแบบตามสภาพแวดล้อมที่สอดคล้องกัน . ชุมชน Ethereum ได้ออกแบบภาษาระดับสูงที่คอมไพล์ไว้สองภาษา ได้แก่ Solidity และ Vyper เพื่อประสิทธิภาพในการดำเนินการ EVM Solidity ไม่จำเป็นต้องพูดเลย Vyper คือภาษาระดับสูงของ EVM ที่ออกแบบโดย Vitalik เพื่อปรับปรุงข้อบกพร่องบางประการใน Solidity อย่างไรก็ตาม มันไม่ได้รับการยอมรับในระดับสูงในชุมชนและค่อยๆ หายไปจากประวัติศาสตร์

1.2.2 zkEVM - ฉันต้องการมันทั้งหมด: เข้ากันได้กับสภาพแวดล้อม EVM + รองรับการแปลงรูทสถานะโกลบอลเพื่อสร้าง zk-proof

โครงการตัวแทน: Taiko, Scroll, Polygon zkEVM

เนื่องจาก EVM ไม่ได้ถูกสร้างขึ้นโดยคำนึงถึงการคำนวณแบบ zk-proof จึงมีคุณสมบัติที่ไม่เป็นมิตรกับวงจรพิสูจน์อักษร โดยเฉพาะอย่างยิ่งในแง่ของ opcode พิเศษ สถาปัตยกรรมแบบสแต็ก ค่าใช้จ่ายในการจัดเก็บข้อมูล และค่าใช้จ่ายในการพิสูจน์ zkEVM เป็นเครื่องเสมือนที่ดำเนินการสัญญาอัจฉริยะในลักษณะที่เข้ากันได้กับการคำนวณ zk-proof เพื่อให้สามารถตรวจสอบกระบวนการดำเนินการของ EVM ได้อย่างมีประสิทธิภาพและคุ้มค่ายิ่งขึ้นผ่าน zk-proof/validity-proof เมื่อเปรียบเทียบกับ OP Rollup เลเยอร์การดำเนินการจำเป็นต้องคัดลอก EVM เท่านั้น และการสร้าง EVM ให้เป็นมิตรกับ ZK ถือเป็นความท้าทายเพิ่มเติมสำหรับ ZK Rollup

ZK-rollup ไม่สามารถใช้งานร่วมกับ Ethereum Virtual Machine (EVM) ได้อย่างง่ายดาย การพิสูจน์การคำนวณ EVM สำหรับการใช้งานทั่วไปในวงจรนั้นยากกว่าและใช้ทรัพยากรมากกว่าการพิสูจน์การคำนวณแบบธรรมดา (เช่น การถ่ายโอนโทเค็นที่อธิบายไว้ก่อนหน้านี้)

อย่างไรก็ตาม ความก้าวหน้าในเทคโนโลยีความรู้เป็นศูนย์ (เปิดในแท็บใหม่) ได้จุดประกายความสนใจในการรวมการคำนวณ EVM ไว้ในการพิสูจน์ความรู้เป็นศูนย์ ความพยายามเหล่านี้มีจุดมุ่งหมายเพื่อสร้างการใช้งาน EVM แบบไม่มีความรู้ (zkEVM) ที่สามารถตรวจสอบความถูกต้องของการทำงานของโปรแกรมได้อย่างมีประสิทธิภาพ .

เช่นเดียวกับ EVM zkEVM จะเปลี่ยนระหว่างสถานะหลังจากดำเนินการคำนวณกับอินพุตบางตัว ข้อแตกต่างก็คือ zkEVM ยังสร้างการพิสูจน์ความรู้แบบศูนย์เพื่อตรวจสอบความถูกต้องของแต่ละขั้นตอนในการทำงานของโปรแกรม การพิสูจน์ความถูกต้องจะตรวจสอบความถูกต้องของการดำเนินการที่เกี่ยวข้องกับสถานะของเครื่องเสมือน (หน่วยความจำ สแตก ที่เก็บข้อมูล) และการคำนวณเอง (เช่น การดำเนินการเรียก opcode ที่ถูกต้องและดำเนินการอย่างถูกต้องหรือไม่)

แนวคิดนี้สวยงาม แต่ความจริงนั้นแคบมาก ปัจจุบัน Rollup มีปัญหาในการบรรลุทั้งความเป็นมิตรของ ZK และความเข้ากันได้ของ EVM (หรือแม้แต่ความเท่าเทียมกัน) นั่นคือจะต้องคัดลอกเลเยอร์การดำเนินการ Ethereum L1 ให้ครบถ้วนที่สุดเท่าที่จะทำได้ รวมถึงแฮชด้วย , แผนผังสถานะ และแผนผังธุรกรรม , การคอมไพล์ล่วงหน้า ฯลฯ เพื่อให้สามารถใช้ไคลเอ็นต์การดำเนินการ Ethereum L1 ตามที่เป็นอยู่เพื่อประมวลผลบล็อก Rollup หรือละทิ้งความเข้ากันได้ของ EVM และสร้าง Opcode ที่มีอยู่ใหม่สำหรับการรับรอง/การตรวจสอบในวงจร ซึ่งอนุญาต การดำเนินการตามสัญญาอัจฉริยะ

1.2.3 zkVM - คุณไม่สามารถกินเค้กและกินมันได้เช่นกัน: เครื่องเสมือน non-evm ที่มุ่งเน้นประสิทธิภาพ zk-proof

โครงการตัวแทน: Starknet, Zksync, RISC ZERO

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

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

เฟรมเวิร์กของ ZKsync เข้ากันได้กับคุณลักษณะของ EVM และ ZK โดยผสาน Solidity เข้ากับภาษาวงจร Zinc ที่พัฒนาขึ้นเอง และรวมทั้งสองอย่างเข้าด้วยกันที่ระดับ IR ภายในคอมไพเลอร์ ข้อดีคือคอมไพเลอร์คอร์ของ LLVM เข้ากันได้กับหลายภาษา

RISC Zero ใช้สถาปัตยกรรม RISC-V เพื่อสร้างเครื่องจำลองที่ช่วยให้โปรแกรมเมอร์สามารถเขียนโปรแกรมสำหรับ zkVM ในภาษาทั่วไป เช่น Rust, C/C++ และ Go ซึ่งหมายความว่าตรรกะของแอปพลิเคชันไม่จำเป็นต้องจำกัดอยู่เพียงสิ่งที่ สามารถแสดงออกมาเป็น Solidity ทำให้สามารถเขียนและโยงโค้ดที่ไม่เกี่ยวข้องได้

1.2.4 Privacy zkVM - zk Friendly + รองรับความเป็นส่วนตัวแบบเนทีฟ พยายามจุดประกายระบบนิเวศใหม่

โครงการตัวแทน: Aleo, Ola, Polygon Miden

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

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

1.2.5 SVM - หลังจากที่น้ำลดลง ยังคงคุอยู่: สภาพแวดล้อมการดำเนินการที่การออกแบบประสิทธิภาพถึงขีดสุด

โครงการตัวแทน: Eclipse Mainnet, Nitro, MakerDAO Chain (อาจจะ)

SVM ซึ่งเป็นเครื่องเสมือน Solana มุ่งเน้นไปที่สภาพแวดล้อมการดำเนินการที่มีประสิทธิภาพสูง และสัญญาอัจฉริยะส่วนใหญ่เขียนด้วยภาษา Rust เมื่อเปรียบเทียบกับสภาพแวดล้อมการดำเนินการ EVM และ EOS WASM แบบเธรดเดียว SVM ช่วยให้สามารถดำเนินการธุรกรรมที่ไม่ทับซ้อนกันและธุรกรรมที่อ่านสถานะเดียวกันเท่านั้น โดยกำหนดให้ธุรกรรม Solana อธิบายสถานะทั้งหมดที่ธุรกรรมจะอ่านหรือเขียนเมื่อดำเนินการ

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

นอกจากนี้ SVM ยังเป็นแบบรีจิสเตอร์และมีชุดคำสั่งที่เล็กกว่า EVM มาก ทำให้การดำเนินการ SVM พิสูจน์ได้ง่ายขึ้นใน ZK สำหรับการโรลอัปในแง่ดี การออกแบบที่อิงรีจิสเตอร์ช่วยให้ตั้งค่าจุดตรวจสอบได้ง่ายขึ้น

1.2.6 Fuel VM——บัฟสแต็ก: เครื่องเสมือนแบบขนานภายใต้กรอบงาน UTXO

โครงการตัวแทน: เชื้อเพลิง

Fuel VM เป็นการปรับปรุงตามกรอบทางเทคนิคของ EVM, Solana, WASM, BTC และ Cosmos เมื่อเปรียบเทียบกับ EVM จะมีลักษณะดังต่อไปนี้:

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

นอกจากนี้ Fuel VM ยังมอบประสบการณ์นักพัฒนาที่ทรงพลังและราบรื่นผ่าน Sway ภาษาเฉพาะโดเมนของตัวเองและรองรับห่วงโซ่เครื่องมือ Forc สภาพแวดล้อมการพัฒนายังคงรักษาข้อดีของภาษาสัญญาอัจฉริยะ เช่น Solidity ในขณะที่นำกระบวนทัศน์ที่นำมาใช้ใน ระบบนิเวศของเครื่องมือที่เป็นสนิม

ในอนาคต Fuel VM จะใช้การอัพเกรดภาษา Sway รวมถึงการเพิ่มประสิทธิภาพคอมไพเลอร์ในแง่ของขนาดโค้ดไบต์ Sway จะรองรับแบ็กเอนด์เพิ่มเติม (แบ็กเอนด์ EVM อยู่ระหว่างการพัฒนา) นามธรรมจะประหยัดมากขึ้น และแอปพลิเคชันจะพร้อมใช้งานมากขึ้น การย้ายจาก Solidity/Vyper ไปยัง Sway ปรับปรุงการวิเคราะห์การกลับคืนสู่ระดับคอมไพเลอร์ และอื่นๆ อีกมากมาย

1.2.7 ESC VM - ผู้สืบทอดของ Ordinal/Smartweave: เลเยอร์การประมวลผลที่อยู่ด้านบนของ Ethereum

โครงการตัวแทน: พิธีสาร Ethscriptions

ESC VM หรือ Ethscriptions Virtual Machine เป็นโซลูชันสัญญาอัจฉริยะที่เสนอโดย Ethscriptions Protocol Ethscriptions Protocol นั้นเป็นโปรโตคอลที่คล้ายกับ BTC Ordinal บนเครือข่าย Ethereum โดยมุ่งเน้นไปที่การสำรวจทางเลือกที่มีต้นทุนต่ำที่แตกต่างจากสัญญาอัจฉริยะและ L2

Ethscriptions ช่วยให้ผู้ใช้สามารถข้ามพื้นที่จัดเก็บและการดำเนินการสัญญาอัจฉริยะด้วยต้นทุนที่ต่ำมาก โดยใช้กฎโปรโตคอลที่ตกลงไว้ล่วงหน้ากับ calldata ใน Tx สำหรับการคำนวณ พูดง่ายๆ ก็คือ ตราบใดที่มีธุรกรรม Ethereum ที่ประสบความสำเร็จและข้อมูลการโทรนั้นสอดคล้องกับข้อกำหนดข้อมูลที่ถูกต้องที่ระบุ ที่อยู่ ถึง ที่ไม่ซ้ำใครไม่เป็น 0 ก็ถือได้ว่า Ethscription ถูกสร้างขึ้นอย่างถูกกฎหมาย จาก ที่อยู่คือผู้สร้าง และที่อยู่ ถึง คือเจ้าของ

ในช่วงเริ่มต้นของการออกแบบ Ethscription แต่ละรายการจะชอบรูปแบบของ NFT เช่น รูปภาพ NFT เนื้อหารูปภาพจะถูกเขียนลงใน calldata โดยตรงในรูปแบบ Base 64:

eths ที่ได้รับความนิยมมากที่สุดเมื่อเร็ว ๆ นี้คือ Ethscription ซึ่งสร้างขึ้นโดยอ้างอิงตามข้อกำหนดโปรโตคอล brc-20:

เรียกว่าสัญญาอัจฉริยะที่แนะนำโดย ESC VM"สัญญาโง่ๆ"(สัญญาใบ้) ได้รับการเผยแพร่เป็นสัญญาเชิงตรรกะ แต่ไม่ได้โต้ตอบกับลูกโซ่ในรูปแบบของ EVM นอกจากนี้ ESC VM ยังเพิ่มรูปแบบพิเศษอีกด้วย"คำสั่งคอมพิวเตอร์"ethscriptions ที่สร้างขึ้นโดยใช้รูปแบบนี้จะได้รับการยอมรับโดย ESC VM เพื่อโต้ตอบกับสัญญาโง่ ๆ เช่น Deploy - ปรับใช้สัญญาโง่ ๆ Call - เรียกใช้สัญญาโง่ ๆ

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

โดยสรุป ESC VM เป็นเลเยอร์การประมวลผลที่สร้างขึ้นบน Ethereum L1 เป็นชั้นจัดเก็บข้อมูล มันถูกนำไปใช้โดยการวางตรรกะสัญญา การเรียกสัญญา การเรียกสัญญา และเนื้อหาข้อมูลอื่น ๆ ใน calldata ของ Ethereum tx ESC VM ทั่วโลก ฉันทามติของรัฐคือฉันทามติไคลเอนต์ ESC VM ซึ่งคล้ายกับตรรกะการใช้งาน SmartWeave ของ Arweave ยกเว้นว่าเลเยอร์การจัดเก็บข้อมูลของ SmartWeave คือ Arweave

1.2.8 Bit VM - การทดลองวิจัยที่น่าสนใจ: ช่องทางการดำเนินการแบบ peer-to-peer ที่เหนือกว่า BTC

โครงการตัวแทน: ZeroSync

Robin Linus ผู้ก่อตั้ง ZeroSync เผยแพร่สมุดปกขาว BitVM: Compute Anything On Bitcoin เมื่อวันที่ 9 ตุลาคม พูดให้ถูกก็คือ ไม่ใช่ VM แต่เป็นความพยายามที่จะสร้างพื้นที่การประมวลผลแบบทัวริงที่สมบูรณ์ซึ่งมีสัญญาถูกเก็บไว้ใน Bitcoin บน- เชน แต่ตรรกะของสัญญาถูกดำเนินการนอกเชน หากคุณเชื่อว่าอีกฝ่ายละเมิดสัญญา คุณสามารถเริ่มการท้าทายบน Chain ได้ หากอีกฝ่ายไม่สามารถตอบกลับได้อย่างถูกต้อง คุณสามารถถอนเงินทั้งหมดในสัญญาออกไปได้

ข้อดีก็คือ Bitcoin สามารถให้ความสมบูรณ์ของทัวริงได้โดยไม่ต้องแก้ไขโปรโตคอล Bitcoin ไม่มี opcode ใหม่ ไม่มี soft forks และสามารถนำมาใช้ได้ตลอดเวลา

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

ต่อไปนี้เป็นการแนะนำโดยย่อเกี่ยวกับตรรกะทางเทคนิค:

(1) คลิกเพื่อเข้าสู่ข้อผูกพัน

ความมุ่งมั่นในการป้อนข้อมูลแบบจุดช่วยให้ผู้พิสูจน์สามารถตั้งค่าอินพุตเป็น 0 หรือ 1 สำหรับลอจิกเกต ในความมุ่งมั่นนี้มีค่าแฮชสองค่า H(A 0) และ H(A 1) ผู้พิสูจน์จำเป็นต้องเปิดเผยภาพพรีอิมเมจแฮช เช่น A 0 ค่าอินพุตจะถูกตั้งค่าเป็น 0 และหาก A 1 ถูกเปิดเผย ค่าอินพุตจะถูกตั้งค่าเป็น 1

(2) ความมุ่งมั่นของลอจิกเกต

เมื่อคุณมีค่าอินพุตแล้ว คุณสามารถรวมลอจิกเกตใดๆ ในสคริปต์ Bitcoin ได้โดยการรวม AND, NOT ของ Bitcoin และ opcode อื่นๆ

(3) ความมุ่งมั่นของวงจรไบนารี

ความสมบูรณ์ของทัวริงสามารถทำได้โดยการประกอบลอจิกเกตหลายร้อยล้านตัวลงในวงจรไบนารี เพื่อที่จะส่งวงจรไบนารี่นี้ไปยังเครือข่าย Bitcoin ลอจิกเกตทั้งหมดจะต้องถูกวางลงในโหนดปลายสุดที่มีที่อยู่ Taproot

(4) ลิงก์การตอบสนองต่อความท้าทาย

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

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

1.2.9 MoveVM - ผลิตภัณฑ์จากมรดกทางพันธุกรรม Web2 ของ Facebook

โครงการตัวแทน: Aptos, Sui

Move เป็นภาษาโปรแกรมสำหรับการเขียนสัญญาอัจฉริยะที่ปลอดภัย เดิมได้รับการพัฒนาโดย Facebook เพื่อให้รองรับ Diem blockchain หลังจากที่โครงการ Diem blockchain ถูกระงับ โครงการที่ Aptos และ Sui เป็นตัวแทนยังคงใช้ภาษา Move ต่อไป คุณสมบัติที่ใหญ่ที่สุดของ Move blockchain คือการจัดเก็บข้อมูลใช้ที่เก็บข้อมูลทั่วโลกซึ่งประกอบด้วยต้นไม้ที่รูทตามที่อยู่บัญชี แต่ละที่อยู่สามารถจัดเก็บข้อมูลทรัพยากรและรหัสโมดูลได้

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

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

1.3 แนวโน้มการพัฒนาระบบนิเวศ

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

1.3.1 ความเข้ากันได้ของ Wallet ส่วนหน้า

การนำผู้ใช้ EVM เข้าสู่เครือข่ายที่ไม่ใช่ EVM ถือเป็นอุปสรรคสำคัญในอดีต แต่การเปิดตัว Metamask Snap เมื่อเร็วๆ นี้ จะทำลายอุปสรรคนี้ ผู้ใช้ EVM สามารถใช้ MetaMask ต่อไปได้โดยไม่ต้องเปลี่ยนกระเป๋าเงิน ต้องขอบคุณการสนับสนุนโอเพ่นซอร์สของ Drift ในการสร้างการใช้งาน MetaMask Snap ที่ยอดเยี่ยม UX จึงเทียบเท่ากับการโต้ตอบกับห่วงโซ่ EVM ใด ๆ ผู้ใช้ Eclipse mainnet จะสามารถโต้ตอบกับแอปพลิเคชันเนทีฟใน MetaMask หรือใช้กระเป๋าเงินเนทีฟของ Solana เช่น Salmon

1.3.2 ความเข้ากันได้ของแบ็กเอนด์ VM

1.3.2.1 นักแปล/เรียบเรียง

โครงการตัวแทน: Wrap

Warp เป็นนักแปล Solidity-Cairo ที่พัฒนาโดย Nethermind ซึ่งเป็นทีมโครงสร้างพื้นฐาน Ethereum ที่มีชื่อเสียง Warp สามารถแปลโค้ด Solidity เป็นภาษาไคโรได้ แต่โปรแกรมไคโรที่แปลแล้วมักจะต้องได้รับการแก้ไขและเพิ่มด้วยคุณสมบัติของไคโร (เช่น การเรียกใช้ฟังก์ชันในตัว การเพิ่มประสิทธิภาพหน่วยความจำ ฯลฯ) เพื่อเพิ่มประสิทธิภาพการดำเนินการให้สูงสุด

1.3.2.2 ตัวแปล Bytecode/เลเยอร์ความเข้ากันได้ของ VM

โครงการตัวแทน: Kakarot, Neon EVM

Kakarot เป็นล่ามรหัสไบต์ EVM ที่เขียนขึ้นในกรุงไคโรและใช้งานในรูปแบบของสัญญาอัจฉริยะที่ใช้งานบน Starknet โดยจำลองสแต็ก หน่วยความจำ การดำเนินการ และแง่มุมอื่น ๆ ของ EVM ในรูปแบบของสัญญาอัจฉริยะของไคโร เมื่อเปรียบเทียบกับการแปลโค้ดแล้ว Kakarot จะใช้ Opcode และ Pre-compile เบื้องหลัง EVM ทีละขั้นตอน และสร้างส่วนประกอบต่างๆ เช่น Account Registry และ Blockhash Registry เพื่อทำการประมวลผลเพิ่มเติมเกี่ยวกับการแมปที่อยู่บัญชี การบล็อกการรับข้อมูล ฯลฯ ความสามารถเพิ่มเติมของ Kakarot ความเข้ากันได้แบบเนทิฟสูง

Neon EVM เป็น EVM ที่ทำงานเป็นสัญญาอัจฉริยะ และสามารถติดตั้งใช้งานบนเครือข่าย SVM ใดก็ได้ ตัวเมนเน็ต Eclipse เองใช้ SVM เป็นสภาพแวดล้อมการดำเนินการ แต่นำความเข้ากันได้ของ EVM เต็มรูปแบบ (รวมถึงการรองรับ EVM bytecode และ Ethereum JSON-RPC) ผ่าน Neon EVM และมีปริมาณงานสูงกว่า EVM แบบเธรดเดี่ยว นอกจากนี้ แต่ละอินสแตนซ์ Neon EVM ยังมีตลาดค่าธรรมเนียมในท้องถิ่นของตัวเอง กล่าวคือ มีขีดจำกัดสูงสุดในหน่วยประมวลผลที่เกี่ยวข้องกับการโต้ตอบบัญชีสัญญาเดียวที่ความสูงของบล็อก (1/4 ของหน่วยประมวลผลแบบบล็อก) ดังนั้นผู้ใช้เท่านั้น จำเป็นต้องโต้ตอบกับสัญญาร้อนแรงเฉพาะ หรือคุณต้องจ่ายค่าธรรมเนียมสำคัญเมื่อบล็อกเต็ม ในแง่นี้ แอปพลิเคชันที่ปรับใช้สัญญาของตนเองสามารถรับข้อดีของการประมาณห่วงโซ่แอปพลิเคชัน ซึ่งช่วยลดความเสียหายต่อประสบการณ์ผู้ใช้ ความปลอดภัย หรือสภาพคล่องของเครือข่ายทั้งหมดที่เกิดจากความแออัดของการโต้ตอบตามสัญญาเฉพาะ tx