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

 Nhà phát triển Ethereum barryWhiteHat viết rằng với việc thương mại hóa máy ảo bằng bằng chứng không kiến thức (zkEVM), một cơ hội thú vị đã xuất hiện: nó có thể cung cấp cơ sở hạ tầng hợp đồng thông minh riêng tư trong khi vẫn 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à biên dịch nó thông qua một phiên bản cụ thể của trình biên dịch Solidity hoặc một số công cụ xử lý hậu kỳ để tạo ra các hợp đồng thông minh riêng tư.

Có một số đánh đổi quan trọng liên quan đến trạng thái toàn cục riêng tư và quyền riêng tư, lý do cốt lõi là: để chứng minh một điều gì đó, bạn phải biết bạn đang chứng minh điều gì. Do đó, một hợp đồng thông minh riêng tư không thể tồn tại nếu nó có một trạng thái toàn cục công khai mà bạn không biết. Kết quả là, các hợp đồng thông minh riêng tư với trạng thái toàn cục riêng tư cũng không thể tồn tại. Ví dụ, các ứng dụng như Uniswap không thể được 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 rằng một giao dịch hoán đổi được thực hiện chính xác.

Do đó, một số ứng dụng nổi tiếng và được ưa chuộng hiện tại không thể được triển khai dưới dạng riêng tư trừ khi chúng ta có khả năng input-output (IO) - đây chính là lý do tại sao IO rất 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 các giả định về độ tin cậy giống hệt như Ethereum gốc.

Tuy nhiên, bài viết này nhằm khám phá cách biên dịch các thao tác pstore và pload vào máy ảo bằng bằng chứng không kiến thức (zkEVM) bằng cách thêm chúng vào reth, nhằm đạt được hợp đồng thông minh riêng tư - những 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ư.