Tổng quan
Hôm nay GFS sẽ cùng mọi người tìm hiểu qua về giải phải pháp OVM (Optimistic Virtual Machine) nhe!
*** Tìm hiểu thêm về hệ sinh thái Ethereum==> Tại đây.
Optimistic Virtual Machine (OVM) là gì?
Định nghĩa
OVM (Optimistic Virtual Machine) là một máy ảo được thiết kế để hỗ trợ tất cả các giao thức layer2. Có thể thống nhất tất cả các giao thức layer2 với nhau. OVM là môi trường thực thi cho giao dịch Layer2, vì các trạng thái được gửi đến Layer1 cần được xác minh, nên Layer1 cần “phát lại” các giao dịch của Layer2. Có nghĩa là, trong một số trường hợp nhất định, Layer1 yêu cầu giao dịch OVM để thực hiện. OVM cho phép triển khai một chuỗi cuộn lên hoạt động giống như chuỗi chính – người dùng viết hợp đồng trong Solidity và tương tác với chuỗi thông qua API Web3!
Với OVM, quyết định di chuyển một dApp lên L2 không còn khó nữa – nó chỉ đơn giản là vấn đề triển khai. Không có gì khác về việc xây dựng các thay đổi của dApp, các hợp đồng thông minh mới có thể được triển khai cho chuỗi OVM theo ý muốn.
Thử Thách
Nền tảng của tất cả các giải pháp L2 là giải quyết các tranh chấp. Bởi vì các giao dịch L2 cần được thực hiện lại trên L1 khi cần thiết. Trong tình huống lý tưởng, không có lý do gì để chạy các giao dịch trên chuỗi L2, nhưng để đảm bảo an ninh cần phải có khả năng chạy lại các giao dịch.
Điều đó cũng có nghĩa là trong một khu vực hoạt động của máy ảo, nó sẽ có thể chạy bất kỳ bằng chứng gian lận L1 nào để chứng minh giao dịch. Nhưng khi các giao dịch L2 không được áp dụng cho chuỗi L1, vấn đề này rất khó. Để giải quyết vấn đề này, giải pháp chung được nghĩ đến là chạy các hợp đồng thông minh L2 trên L1.
Về lý thuyết, việc triển khai một hợp đồng chỉ cần đặt các tính toán của L2 trên L1, và hợp đồng hoạt động theo cùng một cách trên L2. Nhưng đối với một số hợp đồng, nó không thể thực hiện được về mặt chức năng. Ví dụ: hợp đồng L2 chạy trên L1 và lấy dấu thời gian của L1, nhưng giá trị về độ an toàn lại theo yêu cầu của hợp đồng là L2. ==> OVM cố gắng giải quyết vấn đề này.
Giải Pháp
Cốt lõi việc giải quyết vấn đề của OVM là tạo ra một hợp đồng thông minh mới “trình quản lý thực thi” hoạt động như một không gian ảo cho các hợp đồng OVM. Việc ảo hóa “trình quản lý thực thi” có thể áp dụng tất cả nội dung của sự khác biệt về thực thi giữa L1 và L2 như: lưu trữ hợp đồng, ngữ cảnh giao dịch, số khối, dấu thời gian, v.v.
Đối với EVM, có thể có sự khác biệt giữa L1 và L2 và trình quản lý thực thi làm cho chúng nhất quán giữa L1 và L2. OVM ảo hóa tất cả các thành phần của EVM và những dữ liệu này có thể được truy vấn trong trình quản lý thực thi.
Để làm cho L2 an toàn, OVM cần đảm bảo rằng tất cả các hợp đồng L2 đều sử dụng vùng chứa dấu thời gian (timestamp containers). Để thực thi hoạt động này “purity checker” cũng có thể kiểm tra xem hợp đồng thông minh chỉ truy cập các hướng dẫn ảo hóa thông qua trình quản lý thực thi, bất kỳ hợp đồng nào không đáp ứng yêu cầu này sẽ bị ngăn triển khai OVM để đảm bảo chuỗi L2 luôn an toàn.
OVM đại diện cho một bước quan trọng đối với L2, vì chỉ mất một vài dòng mã để chuyển các hợp đồng Solidity sang một cơ sở hạ tầng rẻ hơn và nhanh hơn.
Ứng dụng
OVM trong Optimistic Rollups
OVM đại diện cho một bước tiến quan trọng đối với Ethereum L2, bởi vì nó cho phép sử dụng và mở rộng Ethereum. Việc có thể chuyển các hợp đồng Solidity sang một giải pháp rẻ hơn và nhanh hơn chỉ với một vài dòng mã đã giúp việc mở rộng quy mô hiệu quả trong thời gian nhanh nhất.
Có ba bước cho quá trình quyết định optimistic:
-
- Suy đoán về các khả năng của layer 1 trong tương lai.
- Tìm ra những thông điệp ngoài chuỗi đảm bảo nếu được sử dụng trong layer 1.
- Hạn chế kỳ vọng về trạng thái layer 1 trong tương lai dựa trên những đảm bảo đó.
Quá trình này là một phần của chức năng chuyển đổi trạng thái của OVM. Hạn chế các kỳ vọng layer 1 trong tương lai bắt đầu bằng các khái niệm sau:
- Ethereum Futures Cone: Hãy nghĩ về các trạng thái Ethereum trong tương lai như một bản mở rộng chứa mọi thứ có thể xảy ra trên blockchain (giao dịch, v.v.). Tuy nhiên, chúng tôi có thể hạn chế dần những hợp đồng tương lai có thể có dựa trên các quy tắc EVM. Bạn có thể hình dung quá trình này như một hình nón hạn chế bằng cách thu nhỏ từ đầu rộng xuống phễu hẹp hơn.
- Local Information: OVM đưa ra các quyết định optimistic dựa trên thông tin cục bộ, chẳng hạn như tin nhắn ngoài chuỗi. Ví dụ: chuyển đổi trạng thái OVM sẽ được coi là một quyết định mới, nhưng trước khi có thể đưa ra quyết định, OVM trước tiên phải xác định các giả định cục bộ mà nó sẽ sử dụng.
- Local Assumptions: OVM xác định các giả định dựa trên thông tin cục bộ, xác định các trạng thái Ethereum có thể có trong tương lai. Ví dụ: nhiều giải pháp Lớp 2 sử dụng “giả định về khả năng tồn tại của tranh chấp” và vì những người tham gia kênh “giả định” họ sẽ tranh chấp về việc rút tiền độc hại, nên họ trả về “sai” cho bất kỳ trạng thái nào chứa lệnh rút tiền độc hại, không thể tranh cãi.
- Optimistic Decisions: Các giả định cục bộ thực hiện công việc loại bỏ các tương lai “impossible” để đưa ra các quyết định optimistic về tương lai có thể xảy ra
Một số dự án sử dụng Optimism (Optimistic Rollups) : Chainlink, Maker, Synthetix, and Uniswap.
OVM trong Astar Network
Tổng Kết
Trên đây là khái quát về công nghệ OVM (Optimistic Virtual Machine) một công nghệ có thể giúp cho các dự án có thể tiếp cận được tất cả các ứng dụng layer2. Hy vọng bài viết này có thể giúp mọi người hiểu thêm về công nghệ mới này.
