News Mật mã không hiểu biết vào năm 2023: Quyền riêng tư năm trở nên thực tế

Alex Pruden là CEO của Aleo và người sáng lập Zprize.Bài viết này là một phần của Crypto 2023.

** Một chuỗi blockchain hợp đồng thông minh của lớp 1 do ZK sẽ ra mắt vào năm 2023 **

Mặc dù một vài chuỗi - bao gồm Mina, Zcash và Celo - đã sử dụng mật mã không hiểu biết trong sản xuất, không ai trong số chúng cung cấp khả năng lập trình thực sự hoặc chức năng hợp đồng thông minh trên chuỗi đầy đủ.Kết quả là, họ bị giới hạn trong những gì họ có thể làm.Nhưng điều đó đang thay đổi.

Một blockchain hợp đồng thông minh chạy một máy ảo chạy bằng ZK sẽ ra mắt vào năm tới.Điều này có thể nằm trong thiết kế của ZEXE, hệ thống dựa trên sổ cái phía sau, hoặc nếu không.ZCASH, gần đây đã có một bản nâng cấp sử dụng khoa học kiến thức không nâng cao, cũng có thể mở rộng hơn nhiều và được sử dụng cho các ứng dụng thực.

Xây dựng một blockchain Lớp 1 mới từ đầu với tất cả các nguyên thủy phù hợp tại chỗ dễ dàng hơn là cố gắng điều chỉnh Ethereum hoặc các blockchain khác thành một công nghệ mà nó không được thiết kế ban đầu.Ethereum chắc chắn có lực kéo đáng kể nhất trong số các nhà phát triển hợp đồng thông minh, nhưng đó không phải là trò chơi duy nhất trong thị trấn và các nhà đầu tư, người dùng và nhà phát triển vẫn còn trên thị trường cho các lựa chọn thay thế.

Một chuỗi tập trung ZK có thể bị ảnh hưởng bởi việc thiếu các lập trình viên bản địa ZK.Tuy nhiên, khi Ethereum lần đầu tiên ra mắt, nhiều người đã đặt câu hỏi liệu có ai muốn học một ngôn ngữ hoàn toàn mới để viết các hợp đồng thông minh hay không.Hóa ra, nhiều người đã, do những lợi ích của mô hình mới.Điều tương tự cũng sẽ đúng với lớp ZK 1.

Hơn nữa, một nền tảng hợp đồng thông minh bản địa ZK sẽ cung cấp cả khả năng mở rộng và quyền riêng tư.Hầu hết các thiết kế lăn ngày nay chỉ giải quyết các mối quan tâm về khả năng mở rộng, ngay cả khi chúng có ZK trong tên của họ.Cả quyền riêng tư và khả năng mở rộng sẽ rất cần thiết để cho phép các trường hợp sử dụng mở khóa giá trị thực của Web3.

** Rollups sẽ vẫn tập trung và Zkevms sẽ vẫn không thực tế **

Một số triển khai Rollup - cả ZK và lạc quan - đang sống trên Ethereum ngày nay.Tất cả đều dựa vào một bên duy nhất, tập trung được gọi là người sắp xếp để đặt hàng các giao dịch.Và trong khi việc thiết kế một cuộn giấy đảm bảo rằng trình sắp xếp không thể đánh cắp tiền, trình sắp xếp trình tự tìm hiểu tất cả thông tin về các giao dịch của bạn và có cơ hội thu lợi từ MEV [giá trị chiết xuất tối đa] bằng chi phí của bạn.

Thách thức của việc phân cấp một cuộn là cả kỹ thuật và pháp lý.Từ góc độ kỹ thuật, phân cấp một trình sắp xếp về cơ bản đòi hỏi phải ra mắt một blockchain hoàn toàn mới, nhưng không có tài sản cung cấp an ninh kinh tế.Từ quan điểm pháp lý, thật khó để phân cấp trình sắp xếp theo cách mà rõ ràng không phải là bảo mật (ví dụ: một phần phí giao dịch sẽ được trả cho trình sắp xếp).

Thách thức bổ sung cho ZK Rollups là họ không cung cấp chức năng hợp đồng thông minh đầy đủ.Nhiều máy ảo Ethereum dựa trên ZK (EVM) với các mức độ tương thích khác nhau với Ethereum đã được đề xuất nhưng vẫn rất nhiều lý thuyết.Vì vậy, trong khi mật mã không hiểu biết đã đi một chặng đường dài, những thách thức kỹ thuật của Zkevm vẫn đặt một hệ thống sản xuất phi tập trung hóa ít nhất một năm.

** Tăng tốc phần cứng sẽ làm cho ZK thực tế hơn, hữu ích và có thể truy cập trên bảng **

Một trong những xu hướng hứa hẹn nhất cho mật mã không hiểu biết là tăng tốc phần cứng.Khi chúng ta nghĩ lại những ngày đầu của web, đó là sự tích hợp của Tiêu chuẩn mã hóa nâng cao (AES), một bộ hướng dẫn mật mã được thiết kế bởi Intel, cho phép tính phổ biến của giao thức truyền thông dựa trên Internet HTTPS.

Trong suốt năm vừa qua, đã có một sự tập trung đáng kể vào tăng tốc phần cứng cho Zksnarks, từ FPGA [mảng cổng có thể lập trình trường] đến điện thoại di động.Cụ thể, sự quan tâm mạ kẽm của cạnh tranh Zprize trong việc áp dụng và củng cố các tối ưu hóa tiên tiến nhất để tạo ra các bằng chứng không hiểu biết về phần cứng.

Điều này là đáng chú ý bởi vì nó không chỉ là sáng kiến của một nhóm duy nhất, mà là một nỗ lực của ngành tập thể bao gồm hơn 32 công ty bao gồm các công ty bán dẫn AMD và Samsung và Web3 người chơi Mina, Aztec, ALEO và 0xPARC.

Kết quả của cuộc thi (mà tôi đã giúp tổ chức) đã tăng hiệu suất của các thuật toán kiến thức cốt lõi.Những kết quả này
=======================================
Alex Pruden is the CEO of Aleo and founder of ZPrize. This article is part of Crypto 2023.

**A ZK-powered layer 1 smart contract blockchain chain will launch in 2023**

While a few chains - including Mina, ZCash and Celo - already use zero-knowledge cryptography in production, none of them provide true programmability or full on-chain smart contract functionality. As a result, they are limited in what they can do. But that's changing.

A smart contract blockchain running a ZK-powered virtual machine will launch next year. This might be in the design of Zexe, the behind-the-radar ledger-based system, or otherwise. Zcash, which recently had an upgrade using advanced zero-knowledge science, is also far more scalable and being used for real applications.

Building a new layer 1 blockchain from the ground up with all the right primitives in place is easier than trying to adapt Ethereum or other blockchains to a technology it wasn't initially designed for. Ethereum certainly has the most significant traction among smart contract developers, but it isn't the only game in town and investors, users and developers are all still in the market for alternatives.

A ZK-focused chain may be impacted by the lack of ZK-native coders. However, when Ethereum first launched, many questioned whether anyone would want to learn a whole new language to write smart contracts. It turned out that many were, given the benefits of the new paradigm. The same will be true of a ZK layer 1.

Moreover, a ZK-native smart contract platform will provide both scalability and privacy. Most rollup designs today only address scalability concerns, even if they have ZK in their name. Both privacy and scalability will be essential to enable use cases that unlock the true value of Web3.

**Rollups will remain centralized, and zkEVMs will remain impractical**

Several rollup implementations - both ZK and Optimistic - are live on Ethereum today. All of them rely on a single, centralized party known as a sequencer to order transactions. And while the design of a rollup ensures that the sequencer cannot steal funds, the sequencer learns all of the information about your transactions and has the opportunity to profit from MEV [maximal extractable value] at your expense.

The challenge of decentralizing a rollup is both a technical and legal one. From a technical perspective, decentralizing a sequencer essentially requires launching a whole new blockchain, but without an asset that provides economic security. From a legal point of view, it's difficult to decentralize the sequencer in a way that isn't obviously a security (e.g., a portion of transaction fees will be paid to the sequencer).

The additional challenge for ZK rollups is that they do not offer full smart contract functionality. Various zk-based Ethereum Virtual Machines (EVM) with varying levels of compatibility to Ethereum have been proposed but are still very much theoretical. So while Zero-Knowledge cryptography has come a long way, the engineering challenges of a zkEVM still put a decentralized, production system at least a year away.

**Hardware acceleration will make ZK more practical, useful and accessible across the board**

One of the most promising trends for Zero-Knowledge cryptography is hardware acceleration. When we think back to the early days of the Web, it was the integration of the Advanced Encryption Standard (AES), a cryptography instruction set designed by Intel, that enabled the ubiquity of internet-based communication protocol https.

Over the course of this past year, there has been a significant focus on hardware acceleration for zkSNARKs, from FPGAs [field-programmable gate arrays] to mobile phones. In particular, the ZPrize competition galvanized interest in applying and consolidating the most cutting-edge optimizations for generating zero-knowledge proofs in hardware.

This was notable because it was not just the initiative of a single team, but a collective industry effort comprising over 32 companies including semiconductor companies AMD and Samsung and Web3 players Mina, Aztec, Aleo and 0xPARC.

The outcome of the competition (which I helped organize) increased the performance of core Zero-Knowledge algorithms. These results
 
Join Telegram ToolsKiemTrieuDoGroup
Back
Top