Tương lai có thể của giao thức Ethereum (sáu): Thịnh vượng
Trong thiết kế giao thức Ethereum, có nhiều "chi tiết" rất quan trọng cho sự thành công của nó. Thực tế, khoảng một nửa nội dung liên quan đến các loại cải tiến EVM khác nhau, phần còn lại được cấu thành từ nhiều chủ đề ngách khác nhau, đó là ý nghĩa của "phức tạp".
Phồn vinh: Mục tiêu chính
Biến EVM thành "trạng thái cuối cùng" có hiệu suất cao và ổn định
Đưa trừu tượng tài khoản vào giao thức, cho phép tất cả người dùng tận hưởng tài khoản an toàn và thuận tiện hơn.
Tối ưu hóa chi phí giao dịch, cải thiện khả năng mở rộng đồng thời giảm rủi ro
Khám phá mật mã tiên tiến, giúp Ethereum cải thiện đáng kể trong dài hạn.
Cải tiến EVM
giải quyết vấn đề gì?
Hiện tại, EVM khó khăn trong việc phân tích tĩnh, điều này làm cho việc tạo ra các triển khai hiệu quả, xác minh chính thức mã và mở rộng thêm trở nên khó khăn. Hơn nữa, hiệu suất của EVM thấp, khó có thể thực hiện nhiều hình thức mật mã cao cấp, trừ khi được hỗ trợ rõ ràng thông qua các biên dịch trước.
Nó là gì, làm thế nào để hoạt động?
Bước đầu tiên trong lộ trình cải tiến EVM hiện tại là định dạng đối tượng EVM (EOF), dự kiến sẽ được đưa vào trong phân nhánh cứng tiếp theo. EOF là một loạt EIP, xác định một phiên bản mã EVM mới, với nhiều đặc điểm độc đáo, nổi bật nhất là:
Mã ( có thể thực thi, nhưng không thể đọc ) từ EVM và dữ liệu ( có thể đọc, nhưng không thể thực thi giữa sự tách biệt ).
Cấm chuyển tiếp động, chỉ cho phép chuyển tiếp tĩnh
Mã EVM không thể quan sát thông tin liên quan đến nhiên liệu nữa.
Đã thêm một cơ chế ví dụ rõ ràng mới
Hợp đồng kiểu cũ sẽ tiếp tục tồn tại và có thể được tạo ra, mặc dù cuối cùng có thể sẽ dần dần bị bỏ qua hợp đồng kiểu cũ ( và thậm chí có thể bị chuyển đổi bắt buộc sang mã EOF ). Hợp đồng kiểu mới sẽ được hưởng lợi từ sự cải thiện hiệu quả do EOF mang lại - đầu tiên là thông qua mã byte hơi thu hẹp nhờ đặc tính tiểu quy trình, tiếp theo là các chức năng mới hoặc chi phí gas giảm từ EOF.
Sau khi giới thiệu EOF, việc nâng cấp thêm trở nên dễ dàng hơn, hiện tại phát triển hoàn thiện nhất là mở rộng phép toán EVM ( EVM-MAX ). EVM-MAX tạo ra một tập hợp các phép toán mới dành riêng cho phép toán modulo, và đặt chúng vào một không gian bộ nhớ mới không thể truy cập bằng các mã thao tác khác, điều này cho phép việc sử dụng các tối ưu hóa như phép nhân Montgomery.
Một ý tưởng mới hơn là kết hợp EVM-MAX với đặc điểm SIMD (Single Instruction Multiple Data) (, SIMD như một khái niệm của Ethereum đã tồn tại từ rất lâu, được đề xuất lần đầu bởi EIP-616 của Greg Colvin. SIMD có thể được sử dụng để tăng tốc nhiều hình thức mật mã, bao gồm hàm băm, STARKs 32-bit và mật mã dựa trên lưới, sự kết hợp giữa EVM-MAX và SIMD khiến cho hai loại mở rộng hướng đến hiệu suất này trở thành một cặp tự nhiên.
![Vitalik về tương lai có thể của Ethereum (sáu): The Splurge])https://img-cdn.gateio.im/webp-social/moments-8930b556d169a2bc7168ddc2e611d3df.webp(
Một thiết kế tổng hợp EIP sẽ bắt đầu từ EIP-6690, sau đó:
Cho phép )i( bất kỳ số lẻ nào hoặc )ii( bất kỳ lũy thừa của 2 nào với giá trị tối đa là 2768 làm số mô-đun
Đối với mỗi mã opcode EVM-MAX ) phép cộng, phép trừ, phép nhân (, thêm một phiên bản, phiên bản này không còn sử dụng 3 hằng số x, y, z nữa, mà sử dụng 7 hằng số: x_start, x_skip, y_start, y_skip, z_start, z_skip, count. Trong mã Python, các mã opcode này có tác dụng tương tự như:
python
for i in range)count(:
mem[z_start + z_skip * count] = op)
mem[x_start + x_skip * count],
mem[y_start + y_skip * count]
(
Trong thực tế, điều này sẽ được xử lý theo cách song song.
Có thể thêm XOR, AND, OR, NOT và SHIFT) bao gồm vòng lặp và không vòng lặp(, ít nhất cho số mũ của 2. Đồng thời thêm ISZERO) sẽ đẩy đầu ra vào ngăn xếp chính EVM(, điều này sẽ đủ mạnh để thực hiện mật mã đường cong ellip, mật mã miền nhỏ) như Poseidon, Circle STARKs(, hàm băm truyền thống) như SHA256, KECCAK, BLAKE( và mật mã dựa trên lưới. Các nâng cấp EVM khác cũng có thể được thực hiện, nhưng cho đến nay vẫn chưa có sự chú ý nhiều.
) Liên kết nghiên cứu hiện có
EOF:
EVM-MAX:
SIMD:
Công việc còn lại và sự cân nhắc
Hiện tại, EOF dự kiến sẽ được đưa vào trong hard fork tiếp theo. Mặc dù luôn có khả năng loại bỏ nó vào phút chót - trong các hard fork trước đã có chức năng bị loại bỏ tạm thời, nhưng việc làm như vậy sẽ gặp nhiều thách thức. Việc loại bỏ EOF có nghĩa là bất kỳ bản nâng cấp nào cho EVM trong tương lai sẽ phải diễn ra mà không có EOF, mặc dù có thể thực hiện, nhưng có thể sẽ khó khăn hơn.
Sự đánh đổi chính của EVM nằm ở sự phức tạp của L1 và sự phức tạp của cơ sở hạ tầng, EOF là một lượng lớn mã cần được thêm vào thực hiện EVM, kiểm tra mã tĩnh cũng tương đối phức tạp. Tuy nhiên, đổi lại, chúng ta có thể đơn giản hóa ngôn ngữ bậc cao, đơn giản hóa việc thực hiện EVM và các lợi ích khác. Có thể nói, ưu tiên cho lộ trình cải tiến liên tục của Ethereum L1 nên bao gồm và xây dựng trên EOF.
Một công việc quan trọng cần thực hiện là triển khai các chức năng tương tự như EVM-MAX cộng với SIMD, và tiến hành thử nghiệm hiệu suất khí gas cho các hoạt động mã hóa khác nhau.
Làm thế nào để tương tác với các phần khác của lộ trình?
L1 điều chỉnh EVM của nó để L2 cũng có thể dễ dàng thực hiện các điều chỉnh tương ứng, nếu hai bên không thực hiện điều chỉnh đồng bộ, có thể gây ra sự không tương thích, mang lại tác động bất lợi. Hơn nữa, EVM-MAX và SIMD có thể giảm chi phí gas của nhiều hệ thống chứng minh, từ đó làm cho L2 hiệu quả hơn. Nó cũng làm cho việc thay thế nhiều biên dịch trước bằng mã EVM có thể thực hiện cùng một nhiệm vụ trở nên dễ dàng hơn, có thể không ảnh hưởng lớn đến hiệu suất.
![Vitalik về tương lai có thể của Ethereum (sáu): The Splurge]###https://img-cdn.gateio.im/webp-social/moments-ec1638a809393a6ed42724fb08f534da.webp(
Trừu tượng tài khoản
) Giải quyết vấn đề gì?
Hiện tại, giao dịch chỉ có thể được xác thực theo một cách: chữ ký ECDSA. Ban đầu, trừu tượng hóa tài khoản nhằm vượt qua điều này, cho phép logic xác thực của tài khoản là mã EVM tùy ý. Điều này có thể kích hoạt một loạt ứng dụng:
Chuyển sang mật mã kháng lượng tử
Thay đổi khóa cũ ### được coi là thực tiễn an toàn được khuyến nghị (
Ví đa chữ ký và ví phục hồi xã hội
Sử dụng một khóa để thực hiện các thao tác có giá trị thấp, sử dụng một khóa khác ) hoặc một nhóm khóa ( để thực hiện các thao tác có giá trị cao.
Cho phép giao thức riêng tư hoạt động mà không cần trung gian, giảm đáng kể độ phức tạp của nó và loại bỏ một điểm phụ thuộc trung tâm quan trọng.
Kể từ khi khái niệm trừu tượng hóa tài khoản được đưa ra vào năm 2015, mục tiêu của nó cũng đã mở rộng để bao gồm một loạt "mục tiêu tiện lợi", chẳng hạn như một tài khoản không có ETH nhưng sở hữu một số ERC20 có thể sử dụng ERC20 để thanh toán gas.
MPC) tính toán đa bên ( là một công nghệ đã có 40 năm lịch sử, được sử dụng để chia nhỏ khóa thành nhiều phần và lưu trữ trên nhiều thiết bị, sử dụng công nghệ mật mã để tạo chữ ký mà không cần phải kết hợp trực tiếp các phần khóa này.
EIP-7702 là một đề xuất dự kiến sẽ được giới thiệu trong lần hard fork tiếp theo. EIP-7702 là kết quả của sự nhận thức ngày càng tăng về việc cung cấp tính tiện lợi của trừu tượng hóa tài khoản để mang lại lợi ích cho tất cả người dùng ), bao gồm cả người dùng EOA (, nhằm cải thiện trải nghiệm của tất cả người dùng trong ngắn hạn và tránh việc phân chia thành hai hệ sinh thái.
Công việc này bắt đầu từ EIP-3074 và cuối cùng hình thành EIP-7702. EIP-7702 cung cấp "chức năng tiện lợi" của trừu tượng tài khoản cho tất cả người dùng, bao gồm cả EOA), tài khoản do bên ngoài sở hữu, tức là tài khoản được kiểm soát bởi chữ ký ECDSA(.
Mặc dù một số thách thức ) đặc biệt là thách thức "tiện lợi" ( có thể được giải quyết thông qua các công nghệ tiến bộ như tính toán đa bên hoặc EIP-7702, nhưng mục tiêu an toàn chính của đề xuất trừu tượng hóa tài khoản được đưa ra ban đầu chỉ có thể đạt được bằng cách quay ngược lại và giải quyết vấn đề gốc: cho phép mã hợp đồng thông minh kiểm soát việc xác minh giao dịch. Nguyên nhân chưa được thực hiện cho đến nay là việc thực hiện an toàn, điều này là một thách thức.
![Vitalik về tương lai có thể của Ethereum (sáu): The Splurge])https://img-cdn.gateio.im/webp-social/moments-66bd22f0b53601d0976aa3a2b701c981.webp(
) Nó là gì, nó hoạt động như thế nào?
Cốt lõi của trừu tượng tài khoản là đơn giản: cho phép hợp đồng thông minh khởi xướng giao dịch, không chỉ riêng EOA. Tất cả sự phức tạp đến từ việc thực hiện điều này theo cách thân thiện với việc duy trì mạng phi tập trung và ngăn chặn các cuộc tấn công từ chối dịch vụ.
Một thách thức chính điển hình là vấn đề thất bại đa dạng:
Nếu có 1000 hàm xác thực tài khoản đều phụ thuộc vào một giá trị duy nhất S, và giá trị hiện tại S làm cho tất cả các giao dịch trong bộ nhớ đều hợp lệ, thì một giao dịch đơn lẻ đảo ngược giá trị S có thể khiến tất cả các giao dịch khác trong bộ nhớ không còn hợp lệ. Điều này cho phép kẻ tấn công gửi các giao dịch rác vào bộ nhớ với chi phí rất thấp, từ đó làm tắc nghẽn tài nguyên của các nút mạng.
Sau nhiều năm nỗ lực, nhằm mở rộng chức năng trong khi hạn chế rủi ro từ chối dịch vụ ###DoS(, cuối cùng đã đưa ra giải pháp để实现 "trừu tượng tài khoản lý tưởng": ERC-4337.
Cách hoạt động của ERC-4337 là chia việc xử lý các thao tác của người dùng thành hai giai đoạn: xác minh và thực thi. Tất cả các xác minh được xử lý trước, sau đó là tất cả các thực thi. Trong bộ nhớ, chỉ khi giai đoạn xác minh của thao tác người dùng chỉ liên quan đến tài khoản của chính họ và không đọc biến môi trường thì mới được chấp nhận. Điều này giúp ngăn chặn các cuộc tấn công từ chối dịch vụ nhiều lần. Hơn nữa, cũng áp dụng giới hạn gas nghiêm ngặt cho bước xác minh.
ERC-4337 được thiết kế như một tiêu chuẩn giao thức bổ sung )ERC(, vì vào thời điểm đó các nhà phát triển khách hàng Ethereum tập trung vào việc hợp nhất )Merge(, không có đủ năng lượng để xử lý các chức năng khác. Đây là lý do tại sao ERC-4337 sử dụng một đối tượng được gọi là thao tác người dùng, thay vì giao dịch thông thường. Tuy nhiên, gần đây chúng tôi nhận ra cần phải viết ít nhất một phần nội dung vào giao thức.
Hai lý do chính như sau:
EntryPoint như một sự kém hiệu quả vốn có của hợp đồng: mỗi gói có chi phí cố định khoảng 100.000 gas, cùng với hàng nghìn gas bổ sung cho mỗi thao tác của người dùng.
Đảm bảo tính cần thiết của thuộc tính Ethereum: như danh sách bao gồm các đảm bảo cần chuyển đến tài khoản người dùng trừu tượng.
![Vitalik về tương lai có thể của Ethereum (sáu): The Splurge])https://img-cdn.gateio.im/webp-social/moments-c0f722db75e53f4ff37ef40f5547dfc4.webp(
Ngoài ra, ERC-4337 còn mở rộng hai chức năng:
Đại lý thanh toán ) Paymasters (: Cho phép một tài khoản đại diện cho một tài khoản khác thanh toán phí, điều này vi phạm quy tắc chỉ có thể truy cập vào tài khoản của người gửi trong giai đoạn xác minh, do đó đã giới thiệu xử lý đặc biệt để đảm bảo tính an toàn của cơ chế đại lý thanh toán.
Aggregators): Hỗ trợ chức năng tổng hợp chữ ký, chẳng hạn như tổng hợp BLS hoặc tổng hợp dựa trên SNARK. Điều này là cần thiết để đạt được hiệu quả dữ liệu cao nhất trên Rollup.
( Liên kết nghiên cứu hiện có
Bài phát biểu về lịch sử trừu tượng tài khoản:
ERC-4337:
EIP-7702:
Mã BLSWallet ) sử dụng chức năng tổng hợp ###:
EIP-7562( ghi vào giao thức tài khoản trừu tượng ):
EIP-7701( tài khoản trừu tượng giao thức ghi dựa trên EOF ):
( Công việc còn lại và sự cân nhắc
Hiện tại, điều cần giải quyết chủ yếu là cách hoàn toàn đưa trừu tượng tài khoản vào giao thức, EIP trừu tượng tài khoản viết vào giao thức gần đây được ưa chuộng là EIP-7701, đề xuất này thực hiện trừu tượng tài khoản trên EOF. Một tài khoản có thể sở hữu một phần mã riêng biệt để xác thực, nếu tài khoản thiết lập phần mã đó, thì phần mã đó sẽ được thực thi trong bước xác thực của giao dịch từ tài khoản đó.
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.
17 thích
Phần thưởng
17
5
Đăng lại
Chia sẻ
Bình luận
0/400
GweiTooHigh
· 08-12 00:28
Trừu tượng hóa tài khoản thật sự có thể phổ biến không?
Xem bản gốcTrả lời0
MEVictim
· 08-10 08:39
Cũng chỉ là chuyện EVM này thôi, chán quá.
Xem bản gốcTrả lời0
BlockchainDecoder
· 08-10 08:39
Theo dữ liệu từ bài báo RV năm 2022, hiệu suất ngăn xếp của kiến trúc EVM hiện tại chỉ đạt 42%, thực sự cần phải được tối ưu hóa.
Xem bản gốcTrả lời0
PessimisticOracle
· 08-10 08:39
Nói cả buổi mà vẫn chỉ là nói nhảm sao? Nếu thật sự có thể thực hiện thì tôi thua.
Triển vọng tương lai của Ethereum: Cải tiến EVM và trừu tượng hóa tài khoản dẫn dắt giai đoạn thịnh vượng mới
Tương lai có thể của giao thức Ethereum (sáu): Thịnh vượng
Trong thiết kế giao thức Ethereum, có nhiều "chi tiết" rất quan trọng cho sự thành công của nó. Thực tế, khoảng một nửa nội dung liên quan đến các loại cải tiến EVM khác nhau, phần còn lại được cấu thành từ nhiều chủ đề ngách khác nhau, đó là ý nghĩa của "phức tạp".
Phồn vinh: Mục tiêu chính
Cải tiến EVM
giải quyết vấn đề gì?
Hiện tại, EVM khó khăn trong việc phân tích tĩnh, điều này làm cho việc tạo ra các triển khai hiệu quả, xác minh chính thức mã và mở rộng thêm trở nên khó khăn. Hơn nữa, hiệu suất của EVM thấp, khó có thể thực hiện nhiều hình thức mật mã cao cấp, trừ khi được hỗ trợ rõ ràng thông qua các biên dịch trước.
Nó là gì, làm thế nào để hoạt động?
Bước đầu tiên trong lộ trình cải tiến EVM hiện tại là định dạng đối tượng EVM (EOF), dự kiến sẽ được đưa vào trong phân nhánh cứng tiếp theo. EOF là một loạt EIP, xác định một phiên bản mã EVM mới, với nhiều đặc điểm độc đáo, nổi bật nhất là:
Hợp đồng kiểu cũ sẽ tiếp tục tồn tại và có thể được tạo ra, mặc dù cuối cùng có thể sẽ dần dần bị bỏ qua hợp đồng kiểu cũ ( và thậm chí có thể bị chuyển đổi bắt buộc sang mã EOF ). Hợp đồng kiểu mới sẽ được hưởng lợi từ sự cải thiện hiệu quả do EOF mang lại - đầu tiên là thông qua mã byte hơi thu hẹp nhờ đặc tính tiểu quy trình, tiếp theo là các chức năng mới hoặc chi phí gas giảm từ EOF.
Sau khi giới thiệu EOF, việc nâng cấp thêm trở nên dễ dàng hơn, hiện tại phát triển hoàn thiện nhất là mở rộng phép toán EVM ( EVM-MAX ). EVM-MAX tạo ra một tập hợp các phép toán mới dành riêng cho phép toán modulo, và đặt chúng vào một không gian bộ nhớ mới không thể truy cập bằng các mã thao tác khác, điều này cho phép việc sử dụng các tối ưu hóa như phép nhân Montgomery.
Một ý tưởng mới hơn là kết hợp EVM-MAX với đặc điểm SIMD (Single Instruction Multiple Data) (, SIMD như một khái niệm của Ethereum đã tồn tại từ rất lâu, được đề xuất lần đầu bởi EIP-616 của Greg Colvin. SIMD có thể được sử dụng để tăng tốc nhiều hình thức mật mã, bao gồm hàm băm, STARKs 32-bit và mật mã dựa trên lưới, sự kết hợp giữa EVM-MAX và SIMD khiến cho hai loại mở rộng hướng đến hiệu suất này trở thành một cặp tự nhiên.
![Vitalik về tương lai có thể của Ethereum (sáu): The Splurge])https://img-cdn.gateio.im/webp-social/moments-8930b556d169a2bc7168ddc2e611d3df.webp(
Một thiết kế tổng hợp EIP sẽ bắt đầu từ EIP-6690, sau đó:
python for i in range)count(: mem[z_start + z_skip * count] = op) mem[x_start + x_skip * count], mem[y_start + y_skip * count] (
Trong thực tế, điều này sẽ được xử lý theo cách song song.
) Liên kết nghiên cứu hiện có
Công việc còn lại và sự cân nhắc
Hiện tại, EOF dự kiến sẽ được đưa vào trong hard fork tiếp theo. Mặc dù luôn có khả năng loại bỏ nó vào phút chót - trong các hard fork trước đã có chức năng bị loại bỏ tạm thời, nhưng việc làm như vậy sẽ gặp nhiều thách thức. Việc loại bỏ EOF có nghĩa là bất kỳ bản nâng cấp nào cho EVM trong tương lai sẽ phải diễn ra mà không có EOF, mặc dù có thể thực hiện, nhưng có thể sẽ khó khăn hơn.
Sự đánh đổi chính của EVM nằm ở sự phức tạp của L1 và sự phức tạp của cơ sở hạ tầng, EOF là một lượng lớn mã cần được thêm vào thực hiện EVM, kiểm tra mã tĩnh cũng tương đối phức tạp. Tuy nhiên, đổi lại, chúng ta có thể đơn giản hóa ngôn ngữ bậc cao, đơn giản hóa việc thực hiện EVM và các lợi ích khác. Có thể nói, ưu tiên cho lộ trình cải tiến liên tục của Ethereum L1 nên bao gồm và xây dựng trên EOF.
Một công việc quan trọng cần thực hiện là triển khai các chức năng tương tự như EVM-MAX cộng với SIMD, và tiến hành thử nghiệm hiệu suất khí gas cho các hoạt động mã hóa khác nhau.
Làm thế nào để tương tác với các phần khác của lộ trình?
L1 điều chỉnh EVM của nó để L2 cũng có thể dễ dàng thực hiện các điều chỉnh tương ứng, nếu hai bên không thực hiện điều chỉnh đồng bộ, có thể gây ra sự không tương thích, mang lại tác động bất lợi. Hơn nữa, EVM-MAX và SIMD có thể giảm chi phí gas của nhiều hệ thống chứng minh, từ đó làm cho L2 hiệu quả hơn. Nó cũng làm cho việc thay thế nhiều biên dịch trước bằng mã EVM có thể thực hiện cùng một nhiệm vụ trở nên dễ dàng hơn, có thể không ảnh hưởng lớn đến hiệu suất.
![Vitalik về tương lai có thể của Ethereum (sáu): The Splurge]###https://img-cdn.gateio.im/webp-social/moments-ec1638a809393a6ed42724fb08f534da.webp(
Trừu tượng tài khoản
) Giải quyết vấn đề gì?
Hiện tại, giao dịch chỉ có thể được xác thực theo một cách: chữ ký ECDSA. Ban đầu, trừu tượng hóa tài khoản nhằm vượt qua điều này, cho phép logic xác thực của tài khoản là mã EVM tùy ý. Điều này có thể kích hoạt một loạt ứng dụng:
Cho phép giao thức riêng tư hoạt động mà không cần trung gian, giảm đáng kể độ phức tạp của nó và loại bỏ một điểm phụ thuộc trung tâm quan trọng.
Kể từ khi khái niệm trừu tượng hóa tài khoản được đưa ra vào năm 2015, mục tiêu của nó cũng đã mở rộng để bao gồm một loạt "mục tiêu tiện lợi", chẳng hạn như một tài khoản không có ETH nhưng sở hữu một số ERC20 có thể sử dụng ERC20 để thanh toán gas.
MPC) tính toán đa bên ( là một công nghệ đã có 40 năm lịch sử, được sử dụng để chia nhỏ khóa thành nhiều phần và lưu trữ trên nhiều thiết bị, sử dụng công nghệ mật mã để tạo chữ ký mà không cần phải kết hợp trực tiếp các phần khóa này.
EIP-7702 là một đề xuất dự kiến sẽ được giới thiệu trong lần hard fork tiếp theo. EIP-7702 là kết quả của sự nhận thức ngày càng tăng về việc cung cấp tính tiện lợi của trừu tượng hóa tài khoản để mang lại lợi ích cho tất cả người dùng ), bao gồm cả người dùng EOA (, nhằm cải thiện trải nghiệm của tất cả người dùng trong ngắn hạn và tránh việc phân chia thành hai hệ sinh thái.
Công việc này bắt đầu từ EIP-3074 và cuối cùng hình thành EIP-7702. EIP-7702 cung cấp "chức năng tiện lợi" của trừu tượng tài khoản cho tất cả người dùng, bao gồm cả EOA), tài khoản do bên ngoài sở hữu, tức là tài khoản được kiểm soát bởi chữ ký ECDSA(.
Mặc dù một số thách thức ) đặc biệt là thách thức "tiện lợi" ( có thể được giải quyết thông qua các công nghệ tiến bộ như tính toán đa bên hoặc EIP-7702, nhưng mục tiêu an toàn chính của đề xuất trừu tượng hóa tài khoản được đưa ra ban đầu chỉ có thể đạt được bằng cách quay ngược lại và giải quyết vấn đề gốc: cho phép mã hợp đồng thông minh kiểm soát việc xác minh giao dịch. Nguyên nhân chưa được thực hiện cho đến nay là việc thực hiện an toàn, điều này là một thách thức.
![Vitalik về tương lai có thể của Ethereum (sáu): The Splurge])https://img-cdn.gateio.im/webp-social/moments-66bd22f0b53601d0976aa3a2b701c981.webp(
) Nó là gì, nó hoạt động như thế nào?
Cốt lõi của trừu tượng tài khoản là đơn giản: cho phép hợp đồng thông minh khởi xướng giao dịch, không chỉ riêng EOA. Tất cả sự phức tạp đến từ việc thực hiện điều này theo cách thân thiện với việc duy trì mạng phi tập trung và ngăn chặn các cuộc tấn công từ chối dịch vụ.
Một thách thức chính điển hình là vấn đề thất bại đa dạng:
Nếu có 1000 hàm xác thực tài khoản đều phụ thuộc vào một giá trị duy nhất S, và giá trị hiện tại S làm cho tất cả các giao dịch trong bộ nhớ đều hợp lệ, thì một giao dịch đơn lẻ đảo ngược giá trị S có thể khiến tất cả các giao dịch khác trong bộ nhớ không còn hợp lệ. Điều này cho phép kẻ tấn công gửi các giao dịch rác vào bộ nhớ với chi phí rất thấp, từ đó làm tắc nghẽn tài nguyên của các nút mạng.
Sau nhiều năm nỗ lực, nhằm mở rộng chức năng trong khi hạn chế rủi ro từ chối dịch vụ ###DoS(, cuối cùng đã đưa ra giải pháp để实现 "trừu tượng tài khoản lý tưởng": ERC-4337.
Cách hoạt động của ERC-4337 là chia việc xử lý các thao tác của người dùng thành hai giai đoạn: xác minh và thực thi. Tất cả các xác minh được xử lý trước, sau đó là tất cả các thực thi. Trong bộ nhớ, chỉ khi giai đoạn xác minh của thao tác người dùng chỉ liên quan đến tài khoản của chính họ và không đọc biến môi trường thì mới được chấp nhận. Điều này giúp ngăn chặn các cuộc tấn công từ chối dịch vụ nhiều lần. Hơn nữa, cũng áp dụng giới hạn gas nghiêm ngặt cho bước xác minh.
ERC-4337 được thiết kế như một tiêu chuẩn giao thức bổ sung )ERC(, vì vào thời điểm đó các nhà phát triển khách hàng Ethereum tập trung vào việc hợp nhất )Merge(, không có đủ năng lượng để xử lý các chức năng khác. Đây là lý do tại sao ERC-4337 sử dụng một đối tượng được gọi là thao tác người dùng, thay vì giao dịch thông thường. Tuy nhiên, gần đây chúng tôi nhận ra cần phải viết ít nhất một phần nội dung vào giao thức.
Hai lý do chính như sau:
![Vitalik về tương lai có thể của Ethereum (sáu): The Splurge])https://img-cdn.gateio.im/webp-social/moments-c0f722db75e53f4ff37ef40f5547dfc4.webp(
Ngoài ra, ERC-4337 còn mở rộng hai chức năng:
( Liên kết nghiên cứu hiện có
( Công việc còn lại và sự cân nhắc
Hiện tại, điều cần giải quyết chủ yếu là cách hoàn toàn đưa trừu tượng tài khoản vào giao thức, EIP trừu tượng tài khoản viết vào giao thức gần đây được ưa chuộng là EIP-7701, đề xuất này thực hiện trừu tượng tài khoản trên EOF. Một tài khoản có thể sở hữu một phần mã riêng biệt để xác thực, nếu tài khoản thiết lập phần mã đó, thì phần mã đó sẽ được thực thi trong bước xác thực của giao dịch từ tài khoản đó.
Phương pháp này thật quyến rũ