Nhà phát triển Ethereum barry công bố tiến triển mới về hợp đồng thông minh zkEVM riêng tư: hỗ trợ trạng thái người dùng riêng tư, nhưng không có trạng thái toàn cục riêng tư.

Jinse Finance đưa tin, nhà phát triển Ethereum barryWhiteHat cho biết, với sự thương mại hóa của máy ảo bằng bằng chứng không kiến thức (zkEVM), đã xuất hiện một cơ hội thú vị: vừa có thể cung cấp cơ sở hạ tầng hợp đồng thông minh riêng tư, vừa duy trì khả năng tương thích với Ethereum Virtual Machine (EVM). Các nhà phát triển có thể viết mã Solidity, và thông qua trình biên dịch Solidity phiên bản đặc biệt hoặc một số công cụ xử lý hậu kỳ để biên dịch, từ đó tạo ra hợp đồng thông minh riêng tư. Xung quanh trạng thái toàn cục riêng tư và quyền riêng tư tồn tại một số đánh đổi quan trọng, nguyên nhân cốt lõi là: để thực hiện chứng minh, bạn phải biết nội dung mà mình cần chứng minh. Do đó, không thể tồn tại một hợp đồng thông minh riêng tư như vậy — nó sở hữu trạng thái toàn cục công khai mà bạn không biết. Suy ra, cũng không thể tồn tại hợp đồng thông minh riêng tư với trạng thái toàn cục riêng tư. Ví dụ, các ứng dụng như Uniswap không thể triển khai dưới dạng riêng tư, vì người chứng minh cần biết số dư của hai pool thanh khoản để chứng minh một giao dịch hoán đổi (swap) được thực hiện chính xác. Do đó, một số ứng dụng mà chúng ta quen thuộc và yêu thích hiện tại không thể triển khai dưới dạng riêng tư, trừ khi chúng ta có chức năng nhập xuất (IO) — đây chính là lý do IO vô cùng quan trọng. Nó cho phép chúng ta xây dựng một Ethereum hoàn toàn riêng tư, với giả định tin cậy giống hệt Ethereum gốc. Tuy nhiên, bài viết này nhằm thảo luận cách làm thế nào thông qua việc thêm hai opcode pstore và pload vào reth, biên dịch chúng vào máy ảo bằng bằng chứng không kiến thức (zkEVM), từ đó hiện thực hóa một loại hợp đồng thông minh riêng tư — loại hợp đồng này có trạng thái người dùng riêng tư, nhưng không có trạng thái toàn cục riêng tư.