『ZK là trò chơi cuối cùng？Một hình ảnh để hiểu: Chứng minh không biết (ZKP) thay đổi blockchain như thế nào』 Gần đây, các dự án đã đồng loạt thay đổi ảnh đại diện và tham gia vào làn sóng nhỏ chim cánh cụt, khiến người ta không thể không liên tưởng đến việc cùng nhau làm điều gì đó. Nhớ lại lần cuối cùng tình huống này xảy ra có lẽ là "ZK là trò chơi cuối cùng", mỗi người trong Web3 đều ít nhiều hiểu biết hoặc đã nghe về ZK. Để giúp các bạn hiểu rõ hơn về giai đoạn hiện tại của lĩnh vực ZK, tôi đã tổng hợp quá trình phát triển của chứng minh không biết x blockchain trong suốt mười năm qua, dự án ZK mà tôi đánh giá cao nhất hiện nay là @boundless_xyz. Hãy bắt đầu nào! 🗓️ Quá trình phát triển của chứng minh không biết trong lĩnh vực blockchain 🔹Giai đoạn 1: 2014~2016: Sự kết hợp ban đầu giữa ZKP và blockchain 2014: ZKP bắt đầu được chú ý Vitalik Buterin và những người khác bắt đầu khám phá khả năng của zk-SNARKs trong Ethereum; zk-SNARKs là một hệ thống chứng minh không biết, thông qua việc sử dụng số ngẫu nhiên công khai hoặc hàm băm, loại bỏ nhu cầu tương tác. Thích hợp hơn cho các tình huống blockchain. ZKP được coi là công nghệ tiềm năng cho quyền riêng tư. 2016: Zcash ra mắt (thời khắc lịch sử) Zcash là dự án đầu tiên thực sự sử dụng zk-SNARK trên mạng chính. Đạt được giao dịch hoàn toàn ẩn danh (địa chỉ, số tiền đều không thể nhìn thấy). Phụ thuộc vào thiết lập đáng tin cậy (Trusted Setup). 🔹Giai đoạn 2: 2017~2019: Mở nguồn công nghệ ZKP và tối ưu hóa hiệu suất Khung chứng minh không biết bắt đầu xuất hiện: Các thư viện mã nguồn mở như libsnark, Bellman ra mắt; nhiều dự án nghiên cứu cách tạo chứng minh nhanh hơn, xác minh rẻ hơn. Các dự án bắt đầu thử nghiệm ứng dụng lớp hai: StarkWare, Aztec, ZKSync bắt đầu nghiên cứu zkRollup; StarkWare ra mắt zk-STARK, không phụ thuộc vào thiết lập đáng tin cậy, chống lại tấn công lượng tử; Bulletproofs được Monero áp dụng cho giao dịch riêng tư chặt chẽ hơn. 🔹Giai đoạn 3: 2020~2021: Thực tiễn hóa ZKP và bùng nổ zkRollup zkRollup trở thành lộ trình mở rộng phổ biến: zkRollup chuyển nhiều tính toán ra ngoài chuỗi, chỉ đưa chứng minh lên chuỗi; đạt được "an toàn + chi phí thấp + thông lượng cao". Các dự án đại diện: ZKSync: dựa trên zk-SNARK, hỗ trợ chuyển tiền và giao dịch; Loopring: hỗ trợ zkRollup DEX; StarkEx: động cơ zkRollup hiệu suất cao do StarkWare phát triển; Aztec 2.0: xây dựng hệ thống hợp đồng thông minh riêng tư bằng ZKP. 🔹Giai đoạn 4: 2022~2023: zkEVM và tính toán tổng quát zkEVM xuất hiện: đưa máy ảo Ethereum (EVM) vào ZKP zkEVM cho phép các nhà phát triển tiếp tục sử dụng Solidity để viết hợp đồng; mỗi lệnh chạy trên EVM đều có thể được "chứng minh". Các lộ trình zkEVM chính: Polygon zkEVM: tương thích cao với Solidity ZKSync Era: hiệu suất cao, độ tương thích dần được cải thiện Scroll: cố gắng tương thích với các client Ethereum Taiko: hoàn toàn tương đương (mục tiêu) Các đổi mới khác: zkVM (như Risc Zero): kết hợp tính toán tổng quát và ZKP; zkWASM: WebAssembly + ZKP, mở rộng ứng dụng Web3. 🔹Giai đoạn hiện tại: 2024~2025: Kỹ thuật hóa ZKP, mô-đun hóa và tích hợp AI Các loại ZKDSL (Circom, Noir, Leo, Juvix) đã trưởng thành; chuỗi công cụ ZKP hỗ trợ các ngôn ngữ chính như Rust, C, Solidity; kết hợp với AI: cung cấp chứng minh ZK đáng tin cậy cho suy luận mô hình, đầu vào dữ liệu; Trường hợp đại diện: Boundless @boundless_xyz: thương mại hóa và thị trường hóa chứng minh không biết, xây dựng mạng lưới khuyến khích tính toán phi tập trung. #Kaito #Boudless @blockTVBee @sanyi_eth_ @wenxue600 @0xNing0x