Phân tích độ sâu kỹ thuật trừu tượng hóa tài khoản đa chuỗi
Từ ngày 8 đến 11 tháng 7 năm 2024, sự kiện hàng năm lớn nhất về Ethereum ở châu Âu - Hội nghị cộng đồng Ethereum (EthCC) sẽ được tổ chức tại Brussels, Bỉ, tập trung vào phát triển công nghệ và cộng đồng. Hội nghị năm nay có hơn 350 nhà lãnh đạo ý kiến hàng đầu trong ngành blockchain phát biểu, trong đó có một bài phát biểu với chủ đề "Khám phá tương lai: Phân tích trừu tượng hóa tài khoản đa chuỗi".
Tóm tắt các điểm chính trong bài phát biểu
Hai khái niệm cốt lõi của trừu tượng hóa tài khoản (AA): trừu tượng hóa chữ ký và trừu tượng hóa thanh toán. Khái niệm đầu tiên cho phép người dùng chọn bất kỳ cơ chế xác thực nào, trong khi khái niệm thứ hai hỗ trợ nhiều tùy chọn thanh toán giao dịch, cùng nhau nâng cao trải nghiệm và độ an toàn cho người dùng.
Thiết kế hàm điểm vào trong giai đoạn xác thực và thực thi của ERC-4337 và AA gốc có sự khác biệt. Các hạn chế trong việc xác thực giao dịch và các bước thực thi giao dịch có những đặc điểm khác nhau trong các triển khai khác nhau.
Khi triển khai ERC-4337 trên chuỗi tương thích EVM, sự khác biệt trong thiết kế Rollup và cách tính toán địa chỉ là hai điểm khác biệt chính, điều này dẫn đến việc cần chú ý đến một số chi tiết phát triển tinh vi khi thực hiện giữa L1 và L2.
Trừu tượng hóa tài khoản kỹ thuật chi tiết
Trừu tượng hóa tài khoản của khái niệm cốt lõi
Trừu tượng hóa tài khoản chủ yếu bao gồm hai điểm chính:
Trừu tượng hóa chữ ký: Cho phép người dùng chọn bất kỳ cơ chế xác minh nào họ thích, không còn bị giới hạn bởi các thuật toán chữ ký số cụ thể.
Trừu tượng hóa thanh toán: Hỗ trợ sử dụng nhiều tùy chọn thanh toán giao dịch, chẳng hạn như sử dụng token ERC-20 để thanh toán hoặc do bên thứ ba tài trợ chi phí giao dịch.
Sự linh hoạt này đã nâng cao đáng kể trải nghiệm người dùng và tính an toàn, là mục tiêu cốt lõi của công nghệ trừu tượng hóa tài khoản.
Phân tích tiêu chuẩn ERC-4337
ERC-4337 đã giải quyết một số hạn chế cố hữu của tài khoản do bên ngoài sở hữu (EOA) của Ethereum bằng cách giới thiệu các phương pháp quản lý tài khoản và xử lý giao dịch linh hoạt hơn. Các thành phần cốt lõi của nó bao gồm:
cấu trúc userOp: Người dùng gửi cấu trúc này cho Bundler, và Bundler thu thập nhiều userOp và gọi hàm handleOps của hợp đồng EntryPoint.
Hợp đồng EntryPoint: Là cốt lõi của việc xử lý giao dịch, chức năng chính bao gồm xác thực quyền hạn userOp, thu phí, thực hiện các thao tác mục tiêu.
trừu tượng hóa tài khoản
Trong AA gốc, mỗi tài khoản đều là một hợp đồng, cơ chế xử lý giao dịch được tích hợp trực tiếp vào giao thức blockchain. Hiện tại, các mạng blockchain lớn có cách triển khai AA khác nhau:
Tuân theo trừu tượng hóa tài khoản ERC-4337: Ethereum, Arbitrum, Optimism, v.v.
Tuân theo trừu tượng hóa tài khoản gốc ERC-4337: StarkNet và zkSync Era
Tài khoản trừu tượng hóa gốc với thiết kế riêng tư: Aztec
Phân tích so sánh giữa ERC-4337 và AA gốc
vai trò hệ điều hành
ERC-4337 hoàn thành xử lý giao dịch thông qua Bundler và EntryPoint Contract, trong khi với AA gốc, người dùng trực tiếp gửi userOps cho các nhà điều hành/sắp xếp của máy chủ chính thức.
StarkNet：Sequencer chịu trách nhiệm cho tất cả các nhiệm vụ xử lý giao dịch
zkSync Era：Operator cần phối hợp làm việc với bootloader (hợp đồng hệ thống)
Thiết kế giao diện hợp đồng
Giao diện hợp đồng tài khoản có sự tương đồng trong các triển khai khác nhau, chủ yếu bao gồm hai giai đoạn là xác minh và thực thi. Hàm điểm vào trong giai đoạn xác minh của ERC-4337 và AA gốc đều là cố định, nhưng trong giai đoạn thực thi chỉ có điểm vào của AA gốc là cố định.
bước xác minh hạn chế
Để ngăn chặn tấn công DoS, mỗi triển khai đã thiết lập các hạn chế khác nhau cho việc xác thực giao dịch:
ERC-4337 định nghĩa mã thao tác bị cấm và hạn chế truy cập bộ nhớ
zkSync Era cho phép truy cập vào các khe lưu trữ cụ thể, nhưng cấm truy cập vào biến toàn cục
StarkNet không cho phép hợp đồng bên ngoài gọi
giới hạn bước thực hiện
zkSync: cần xác nhận sự tồn tại của dấu hiệu hệ thống trước khi thực hiện cuộc gọi hệ thống
ERC-4337 và StarkNet: Không có hạn chế đặc biệt trong giai đoạn thực thi
Quản lý số ngẫu nhiên
ERC-4337：Phân biệt giá trị khóa 192 bit và giá trị ngẫu nhiên 64 bit
zkSync: Được quản lý bởi hợp đồng hệ thống NonceHolder, đảm bảo tăng dần nghiêm ngặt
StarkNet: Tăng dần nghiêm ngặt, nhưng không có hợp đồng quản lý chuyên dụng
Triển khai giao dịch đầu tiên
ERC-4337：Thông qua trường initcode trong cấu trúc userOp để triển khai hợp đồng tài khoản
StarkNet và zkSync: cần gửi giao dịch đầu tiên cho người tính toán/ bộ sắp xếp để triển khai hợp đồng tài khoản
Sự khác biệt trong việc triển khai ERC-4337 giữa L1 và L2
Khi triển khai ERC-4337 trên chuỗi tương thích EVM, có hai sự khác biệt chính:
Sự khác biệt về giao thức: L2 cần phải tải dữ liệu lên L1 để đảm bảo an toàn và thanh toán, các chi phí liên quan (như phí an toàn L1 và phí blob) nên được bao gồm trong Gas xác thực trước, điều này làm tăng độ phức tạp của ước tính chi phí.
Sự khác biệt về địa chỉ: Cách tính toán địa chỉ của các chuỗi khác nhau có sự khác biệt, có thể dẫn đến địa chỉ hợp đồng tài khoản không nhất quán giữa Ethereum và L2. Đặc biệt khi hard fork giới thiệu mã thao tác mới, nếu L2 không hỗ trợ hard fork đó, ngay cả khi mã Solidity giống nhau, mã byte biên dịch cũng có thể khác nhau.
Phân tích trên đã tiết lộ sự phức tạp và đa dạng của công nghệ trừu tượng hóa tài khoản trong môi trường đa chuỗi. Khi công nghệ tiếp tục phát triển, những khác biệt này có thể sẽ mở rộng hoặc hội tụ hơn nữa, đáng để theo dõi và nghiên cứu liên tục.
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Độ sâu phân tích: Tình trạng và thách thức của công nghệ trừu tượng hóa tài khoản đa chuỗi
Phân tích độ sâu kỹ thuật trừu tượng hóa tài khoản đa chuỗi
Từ ngày 8 đến 11 tháng 7 năm 2024, sự kiện hàng năm lớn nhất về Ethereum ở châu Âu - Hội nghị cộng đồng Ethereum (EthCC) sẽ được tổ chức tại Brussels, Bỉ, tập trung vào phát triển công nghệ và cộng đồng. Hội nghị năm nay có hơn 350 nhà lãnh đạo ý kiến hàng đầu trong ngành blockchain phát biểu, trong đó có một bài phát biểu với chủ đề "Khám phá tương lai: Phân tích trừu tượng hóa tài khoản đa chuỗi".
Tóm tắt các điểm chính trong bài phát biểu
Hai khái niệm cốt lõi của trừu tượng hóa tài khoản (AA): trừu tượng hóa chữ ký và trừu tượng hóa thanh toán. Khái niệm đầu tiên cho phép người dùng chọn bất kỳ cơ chế xác thực nào, trong khi khái niệm thứ hai hỗ trợ nhiều tùy chọn thanh toán giao dịch, cùng nhau nâng cao trải nghiệm và độ an toàn cho người dùng.
Thiết kế hàm điểm vào trong giai đoạn xác thực và thực thi của ERC-4337 và AA gốc có sự khác biệt. Các hạn chế trong việc xác thực giao dịch và các bước thực thi giao dịch có những đặc điểm khác nhau trong các triển khai khác nhau.
Khi triển khai ERC-4337 trên chuỗi tương thích EVM, sự khác biệt trong thiết kế Rollup và cách tính toán địa chỉ là hai điểm khác biệt chính, điều này dẫn đến việc cần chú ý đến một số chi tiết phát triển tinh vi khi thực hiện giữa L1 và L2.
Trừu tượng hóa tài khoản kỹ thuật chi tiết
Trừu tượng hóa tài khoản của khái niệm cốt lõi
Trừu tượng hóa tài khoản chủ yếu bao gồm hai điểm chính:
Trừu tượng hóa chữ ký: Cho phép người dùng chọn bất kỳ cơ chế xác minh nào họ thích, không còn bị giới hạn bởi các thuật toán chữ ký số cụ thể.
Trừu tượng hóa thanh toán: Hỗ trợ sử dụng nhiều tùy chọn thanh toán giao dịch, chẳng hạn như sử dụng token ERC-20 để thanh toán hoặc do bên thứ ba tài trợ chi phí giao dịch.
Sự linh hoạt này đã nâng cao đáng kể trải nghiệm người dùng và tính an toàn, là mục tiêu cốt lõi của công nghệ trừu tượng hóa tài khoản.
Phân tích tiêu chuẩn ERC-4337
ERC-4337 đã giải quyết một số hạn chế cố hữu của tài khoản do bên ngoài sở hữu (EOA) của Ethereum bằng cách giới thiệu các phương pháp quản lý tài khoản và xử lý giao dịch linh hoạt hơn. Các thành phần cốt lõi của nó bao gồm:
cấu trúc userOp: Người dùng gửi cấu trúc này cho Bundler, và Bundler thu thập nhiều userOp và gọi hàm handleOps của hợp đồng EntryPoint.
Hợp đồng EntryPoint: Là cốt lõi của việc xử lý giao dịch, chức năng chính bao gồm xác thực quyền hạn userOp, thu phí, thực hiện các thao tác mục tiêu.
trừu tượng hóa tài khoản
Trong AA gốc, mỗi tài khoản đều là một hợp đồng, cơ chế xử lý giao dịch được tích hợp trực tiếp vào giao thức blockchain. Hiện tại, các mạng blockchain lớn có cách triển khai AA khác nhau:
Phân tích so sánh giữa ERC-4337 và AA gốc
vai trò hệ điều hành
ERC-4337 hoàn thành xử lý giao dịch thông qua Bundler và EntryPoint Contract, trong khi với AA gốc, người dùng trực tiếp gửi userOps cho các nhà điều hành/sắp xếp của máy chủ chính thức.
Thiết kế giao diện hợp đồng
Giao diện hợp đồng tài khoản có sự tương đồng trong các triển khai khác nhau, chủ yếu bao gồm hai giai đoạn là xác minh và thực thi. Hàm điểm vào trong giai đoạn xác minh của ERC-4337 và AA gốc đều là cố định, nhưng trong giai đoạn thực thi chỉ có điểm vào của AA gốc là cố định.
bước xác minh hạn chế
Để ngăn chặn tấn công DoS, mỗi triển khai đã thiết lập các hạn chế khác nhau cho việc xác thực giao dịch:
giới hạn bước thực hiện
Quản lý số ngẫu nhiên
Triển khai giao dịch đầu tiên
Sự khác biệt trong việc triển khai ERC-4337 giữa L1 và L2
Khi triển khai ERC-4337 trên chuỗi tương thích EVM, có hai sự khác biệt chính:
Sự khác biệt về giao thức: L2 cần phải tải dữ liệu lên L1 để đảm bảo an toàn và thanh toán, các chi phí liên quan (như phí an toàn L1 và phí blob) nên được bao gồm trong Gas xác thực trước, điều này làm tăng độ phức tạp của ước tính chi phí.
Sự khác biệt về địa chỉ: Cách tính toán địa chỉ của các chuỗi khác nhau có sự khác biệt, có thể dẫn đến địa chỉ hợp đồng tài khoản không nhất quán giữa Ethereum và L2. Đặc biệt khi hard fork giới thiệu mã thao tác mới, nếu L2 không hỗ trợ hard fork đó, ngay cả khi mã Solidity giống nhau, mã byte biên dịch cũng có thể khác nhau.
Phân tích trên đã tiết lộ sự phức tạp và đa dạng của công nghệ trừu tượng hóa tài khoản trong môi trường đa chuỗi. Khi công nghệ tiếp tục phát triển, những khác biệt này có thể sẽ mở rộng hoặc hội tụ hơn nữa, đáng để theo dõi và nghiên cứu liên tục.