Một bản cập nhật nhanh sau một năm về chiếc Motoko Máy ảo Ethereum (EVM) mà tôi đã đề cập trước đó:
Chúng tôi thực sự đã làm được điều này. Chúng tôi đã vận hành Máy ảo Ethereum (EVM) và nó vượt qua 99% các bài kiểm tra từ GitHub - ethereum/execution-specs: Specification for the Execution Layer. Tracking network upgrades. · GitHub (chỉ những bài kiểm tra cố ý gây tràn ngăn xếp và bài kiểm tra đệ quy là thất bại).
Hiện tại tôi cần phản hồi/hướng dẫn vì môi trường đã thay đổi khá Bit trong những năm qua kể từ khi dự án này được phát triển, và tôi biết điều kiện thị trường hiện nay rất tồi tệ.
Tôi muốn nhận phản hồi kỹ thuật về việc liệu một Máy ảo Ethereum (EVM) dựa trên Motoko (Motoko là một ngôn ngữ dựa trên tác nhân được thiết kế đặc biệt cho các hệ thống dựa trên cơ chế đồng thuận/blockchain) với tính năng ký Threshold gốc, lập lịch bất đồng bộ, các mô hình ví phong phú hơn và truy cập dữ liệu ra bên ngoài có tạo ra một không gian thiết kế thực sự thú vị hay không, hay liệu đây chỉ là những tính năng hấp dẫn nhưng không cần thiết. Nói tóm lại, tôi có nên dành thêm thời gian cho việc này hay không.
Chúng tôi đã xây dựng một Máy ảo Ethereum (EVM) xác thực) trên Motoko vì chúng tôi nghĩ rằng vẫn còn chỗ cho những chuỗi khối có cảm giác giống Ethereum ở lớp ứng dụng, nhưng lại cung cấp các thành phần cơ sở hạ tầng mà các nền tảng Máy ảo Ethereum (EVM) thông thường không có theo mặc định.
Giá trị cốt lõi không phải là “máy ảo mới, ngôn ngữ lập trình mới, hãy tin tưởng chúng tôi”. Giá trị cốt lõi là:
Giữ cho bề mặt Máy ảo Ethereum (EVM) dễ nhận biết;
Giữ cho tư duy về Solidity và Ethereum luôn phù hợp;
Thêm các thành phần cơ bản ở lớp nền giúp việc thể hiện quyền kiểm soát xuyên chuỗi, thiết kế ví, quy trình làm việc bất đồng bộ, tự động hóa và triển khai chuyên biệt trở nên dễ dàng hơn.
Tôi hoan nghênh mọi ý kiến phản biện về việc liệu những ưu điểm này có thực sự có ý nghĩa hay không, và liệu thiết kế vẫn còn chưa đẹp mắt.
Điều mà Máy ảo Ethereum (EVM) này đang cố gắng chứng minh
Công việc phát triển động cơ hiện tại đang hướng tới mục tiêu đạt được sự tương đương thực sự Máy ảo Ethereum (EVM) :
142 mã lệnh
18 bản biên dịch trước
5 loại giao dịch
13 phuộc cứng
88/88 bài kiểm tra khả năng tương thích JSON-RPC đều đạt.
2.681 tập tin fixture Ethereum được chấp nhận trong kho dữ liệu theo kiểu execution-spec.
Vậy điểm xuất phát không phải là "hãy tạo ra một giải pháp thay thế độc đáo cho Ethereum". Điểm xuất phát là: chúng ta có thể bảo toàn ngữ nghĩa của Ethereum đến mức nào trong khi vẫn bộc lộ những yếu tố cơ bản mạnh mẽ hơn của hệ thống bên dưới?
Vì sao tôi nghĩ Máy ảo Ethereum (EVM) Motoko có thể thú vị đối với cộng đồng Ether?
0. Chỉ cần nhấn nút, bạn sẽ sở hữu ngay một Máy ảo Ethereum (EVM) ( Máy ảo phân tán toàn cầu) với 13 hoặc 34 nút độc lập chỉ với vài đô la.
1. Kiểm soát tài sản xuyên chuỗi có thể là một yếu tố cơ bản của hợp đồng, chứ không chỉ là sản phẩm của công ty trung gian.
Một trong những khả năng thú vị hơn ở đây là cơ sở hạ tầng ký kết dựa trên Threshold ECDSA, có nghĩa là các hợp đồng Máy ảo Ethereum (EVM) và giao diện ví có thể được thiết kế để kiểm soát trực tiếp các tài khoản hoặc tài sản trên các chuỗi khác.
Không cần:
một hệ thống đa chữ ký do nhóm vận hành quản lý.
một bộ rơle ngoài,
một ủy ban cầu chuyên trách,
hoặc một giao thức về mặt lý thuyết là phi tập trung nhưng về mặt hoạt động vẫn tập trung.
Câu hỏi mà chúng tôi đang nghiên cứu là liệu các hợp đồng kiểu ETH có thể coi việc ký kết trên chuỗi bên ngoài như một khả năng hệ thống gốc, có thể kiểm toán được, thay vì phải gắn nó vào như một phần mềm trung gian riêng biệt hay không.
Nếu điều đó hoạt động trơn tru, nó sẽ thay đổi không gian thiết kế cho:
Máy ảo EVM hướng tới BTC,
Quản lý Treasury xuyên chuỗi,
đường ray thanh toán được kiểm soát theo hợp đồng,
Account Abstraction thông qua ví điện tử,
và việc chuyển giao tài sản được điều chỉnh, trong đó việc quản trị chính sách ký kết có ý nghĩa quan trọng.
2. Việc thực thi bất đồng bộ không phải là một ý tưởng nảy sinh ngẫu nhiên.
Hiện tại, bất kỳ tác vụ bất đồng bộ nào đều được đẩy vào Bots, keeper, worker Ngoài chuỗi , dịch vụ cron hoặc các stack relayer.
Môi trường Motoko rất thú vị vì bất đồng bộ là một nguyên tắc cơ bản thực sự. Điều đó mở ra cánh cửa cho các mô hình thực thi được xây dựng xung quanh:
bộ hẹn giờ và lập lịch kiểu cron,
Mô hình pub-sub / listener,
phối hợp quy trình làm việc lâu dài,
các mô hình hoàn thành bị trì hoãn,
các cuộc gọi bên ngoài được định tuyến qua ví điện tử,
và các máy trạng thái ghi nhật ký/thử lại phong phú hơn.
Điều này không có nghĩa là " Máy ảo Ethereum (EVM) bất đồng bộ" theo nghĩa đơn giản. Việc thực thi Máy ảo Ethereum (EVM) vẫn cần các ranh giới xác định. Nhưng nó có nghĩa là chuỗi có thể thể hiện nhiều hơn vòng đời một cách tự nhiên thay vì giả vờ rằng mọi thứ quan trọng đều nằm gọn trong một giao dịch đồng bộ duy nhất.
Tôi nghĩ câu hỏi thú vị là liệu điều này có cho phép chúng ta chuyển một lượng đáng kể hoạt động phối hợp Ngoài chuỗi trở lại hệ thống sao chép mà không phá vỡ mô hình tư duy của nhà phát triển hay không.
3. Oracles và dữ liệu bên ngoài có thể trở nên ít phụ thuộc vào phần mềm trung gian hơn.
Một ưu điểm khác là khả năng truy cập HTTPS ra bên ngoài như một tính năng hệ thống hàng đầu. Điều đó có nghĩa là các mô hình oracle phi tập trung và tự động hóa không phải lúc nào cũng bắt đầu từ câu hỏi "chúng ta tin tưởng vào ủy ban Ngoài chuỗi nào để lấy và đăng lại dữ liệu?".
Điều này không làm cho các vấn đề về Oracle biến mất. Nó không giải quyết được vấn đề xác thực dữ liệu một cách thần kỳ. Nhưng nó thay đổi kiến trúc:
Việc truy xuất dữ liệu có thể là một phần của giao diện hệ thống.
Chính sách xác minh có thể được thực on-chain.
và các giao thức có thể suy luận về các lần đọc bên ngoài mà không cần mặc định sử dụng cùng một mẫu bộ chuyển tiếp mỗi lần.
Tôi dự đoán sẽ có những phản hồi trái chiều về tính tất định, khả năng chơi lại, tính xác thực và mô hình chi phí ở đây. Đó chính xác là loại phản hồi mà tôi muốn nhận được.
4. Ví tiền có thể giàu hơn nhiều so với số người ký phiên.
Một trong những giao diện khác biệt nhất trong Máy ảo Ethereum (EVM) của chúng tôi là mô hình ví.
Hướng phát triển ví ở đây không phải là "tiện ích mở rộng trình duyệt, mà là của chúng tôi". Nó gần giống với môi trường thực thi cho từng người dùng (đó là một Máy ảo Ethereum (EVM)) với:
quyền hạn được ủy quyền,
chính sách phạm vi phương pháp và hợp đồng,
giới hạn chi tiêu,
khóa thời gian phục hồi,
ghi nhật ký nộp bài,
luồng giao dịch được xác thực,
và định tuyến các cuộc gọi bên ngoài thông qua danh tính ví của người dùng.
Từ góc nhìn của Ethereum, điều đó có nghĩa là ví có thể trở thành các bề mặt bảo mật và phối hợp có thể lập trình được thay vì chỉ là những lớp bao bọc mỏng manh xung quanh một cặp khóa.
Tôi nghĩ điều này có ý nghĩa quan trọng đối với:
Trải nghiệm người dùng bán lẻ an toàn hơn,
ví tiền của đội nhóm và tổ chức,
Tiện ích mở rộng ví điện tử kiểu plugin/app-store,
các thí nghiệm Account Abstraction ,
và chuỗi ứng dụng gốc.
5. Việc triển khai chuỗi chuyên biệt trở nên dễ hiểu hơn.
Kiến trúc này có thể được triển khai trên các mạng con độc lập gồm 13 hoặc 34 nút, với các lựa chọn vị trí phù hợp với vị trí địa lý.
Điều đó ít quan trọng đối với trải nghiệm người dùng kém chất lượng trong lĩnh vực bán lẻ, mà quan trọng hơn đối với những người đang suy nghĩ về:
chuỗi thể chế,
các hoạt động triển khai có chủ quyền hoặc nhạy cảm về thẩm quyền,
Môi trường được kiểm soát bằng quy trình KYC,
và các chuỗi cung ứng mà hình dạng cơ sở hạ tầng là một phần của sản phẩm, chứ không phải là một chi tiết ẩn ở phần phụ trợ.
Ethereum luôn tồn tại sự căng thẳng giữa tính trung lập đáng tin cậy và các triển khai chuyên biệt. Tôi quan tâm đến việc liệu loại kiến trúc này có phải là một nơi tốt để khám phá khía cạnh thứ hai mà không giả vờ rằng nó là khía cạnh thứ nhất hay không. (Giả định ngầm ở đây là việc ghim mainnet là mặc định.)
Câu hỏi mở
Đây là những câu hỏi mà tôi muốn những người am hiểu về ETH phản hồi nhất:
Liệu quyền truy cập ký kết hợp đồng dựa trên ngưỡng gốc có thực sự là một yếu tố cơ bản đủ quan trọng hay chỉ đơn thuần là thay đổi ranh giới tin cậy?
Mô hình async/timer/pub-sub có thực sự mang lại lợi thế, hay chủ yếu tạo ra một loại "lỗi lập trình" mới?
Liệu việc tích hợp các mô hình truy cập dữ liệu bên ngoài/mang tính xác định ở cấp độ chuỗi có đáng giá hay không, hay tốt hơn hết là nên để dành cho các giao thức oracle và phần mềm trung gian?
Liệu mô hình ví này có thực sự cải thiện đáng kể hướng đi của tài khoản thông minh/AA trong Ethereum, hay chỉ là một cách đóng gói khác của những ý tưởng tương tự?
Use Case nào thực sự thuyết phục nhất:
Mở chuỗi tương tự ETH để tăng khả năng mở rộng.
Chuỗi hướng tới BTC (BTC đóng vai trò là gas/ Token gốc),
Chuỗi Kiểm Tra Danh Tính (KYC) được quản lý/ ,
hoặc các ứng dụng tập trung vào ví điện tử?
- Những khía cạnh nào sẽ khiến bạn nghi ngờ ngay lập tức?
Để đến được đây là một chặng đường dài đầy gian nan, và tôi không chắc thành tựu này có đáp ứng được kỳ vọng hay không. Chúng tôi đang cân nhắc xem nên tiếp tục dành bao nhiêu thời gian và nguồn lực cho việc này. Nếu bất kỳ ai ở đây cảm thấy hứng thú hoặc quan tâm đến điều này, vui lòng liên hệ. Tôi biết điều này không thú vị bằng các bằng chứng zk mới hay việc mở rộng trực tiếp mạng chính, nhưng nếu được thực hiện đúng cách, chúng tôi nghĩ rằng có một số cơ hội thực sự thú vị ở đây cho các chuỗi ứng dụng dễ dàng khởi tạo và các thử nghiệm khác, có thể độc đáo hơn.
(Trong phạm vi hiệu năng là yếu tố quan trọng, hệ thống hiện đang đạt được Tính chất cuối cùng trong khoảng 2-6 giây với 1000 Số lượng giao dịch trên mỗi giây tiêu chuẩn và khoảng 13,5 giao dịch Uniswap v3/giây, hỗ trợ tối đa 400GB trạng thái/ Máy ảo Ethereum (EVM))
