BTC

$96,000

5.73%

ETH

$3,521.91

3.97%

HTX

$0.{5}2273

5.23%

SOL

$198.17

3.05%

BNB

$710

3.05%

简体中文

繁體中文

English

Tiếng Việt

한국어

日本語

ภาษาไทย

Türkçe

Partnered With:

Tổng hợp các loại giải pháp công nghệ không có kiến thức khác nhau và các dự án chứng minh không có kiến thức

Đọc bài viết này mất 27 phút

Các dự án blockchain sử dụng các công nghệ chứng minh không có kiến thức như zkSNARK và zkSTARK để giúp các nhà phát triển tạo DApps nâng cao như thế nào?

Tiêu đề gốc: "Một bài viết để hiểu về dự án blockchain bằng chứng không có kiến thức"

Nguồn gốc: Chainlink

Công nghệ không có kiến thức là một nhánh của mật mã có thể giải quyết các vấn đề về quy mô và quyền riêng tư cho nhiều dự án chuỗi khối Lớp 1. Blockchain có thể sử dụng công nghệ chứng minh không có kiến thức để cải thiện thông lượng giao dịch, bảo vệ quyền riêng tư dữ liệu của người dùng trong khi xác minh danh tính người dùng, thực hiện các phép tính phức tạp và cho phép các công ty sử dụng công nghệ blockchain đồng thời bảo vệ quyền sở hữu trí tuệ của họ. Trong tất cả các kịch bản ứng dụng trên, bằng chứng không có kiến thức là công nghệ then chốt không thể thiếu.

Bằng chứng không có kiến thức (ZKP) là gì? Bằng chứng không có kiến thức cho phép người dùng chứng minh rằng họ biết hoặc sở hữu thông tin mà không tiết lộ thông tin đó. “Người chứng minh” sẽ sử dụng thông tin đầu vào từ một hệ thống nhất định để tạo ra chứng minh, trong khi “người xác minh” sẽ xác minh kết quả tính toán của chứng minh nhưng không thể biết nội dung cụ thể của thông tin. Quan trọng nhất, bằng chứng không có kiến thức có thể xác minh tính hợp lệ của một tập dữ liệu nhất định đồng thời bảo vệ quyền riêng tư của dữ liệu.

Bài viết này sẽ khám phá những ưu điểm độc đáo của các giải pháp chứng minh không có kiến thức; các dự án blockchain như thế nào Sử dụng các công nghệ chứng minh không có kiến thức như zkSNARK và zkSTARK để giúp các nhà phát triển tạo các dApps nâng cao để mở rộng Web3 đồng thời bảo vệ quyền riêng tư của người dùng; và cách dịch vụ giảm thiểu lòng tin của Chainlink có thể giúp các giao thức này cải thiện mức độ phân cấp, độ tin cậy và bảo mật.

Tại sao chúng ta nên sử dụng công nghệ chứng minh không có kiến thức để xây dựng mạng?

Công nghệ không có kiến thức cho phép các nhà phát triển tận dụng các chuỗi khối cơ bản như Ethereum. Bảo mật cũng có thể cải thiện thông lượng giao dịch và tốc độ của dApp, đồng thời đưa thông tin cá nhân của người dùng ra ngoài chuỗi để bảo vệ quyền riêng tư của người dùng. Các giao dịch sẽ được đóng gói và tải lên chuỗi để giảm chi phí sử dụng cho người dùng cuối. Cuối cùng, các dự án có thể tận dụng những khả năng này để xây dựng các dApps tiên tiến không chỉ cạnh tranh với các hệ thống Web2 về hiệu suất mà còn duy trì các lợi ích phi tập trung của Web3.

Kế hoạch chứng minh không có kiến thức VS Tổng hợp lạc quan

Optimistic rollup là công nghệ Lớp 2 và hiện là giải pháp mở rộng chủ đạo. Theo thống kê từ trang web phân tích L2Beat, tính đến ngày 29 tháng 6 năm 2022, tổng số lạc quan chiếm 74,3% tổng khối lượng khóa của mạng Ethereum Lớp 2, trong khi các giải pháp chứng minh không có kiến thức chiếm 25,9%.

Sự khác biệt lớn nhất giữa giải pháp mở rộng không có kiến thức và giải pháp tổng hợp lạc quan là các phương pháp xác minh giao dịch khác nhau. Optimistic Rollup sử dụng bằng chứng gian lận, chỉ được yêu cầu để tạo ra bằng chứng gian lận khi xét xử các tranh chấp về thay đổi trạng thái trên chuỗi khối Lớp 1; trong khi giải pháp công nghệ không kiến thức là xuất bản một lô giao dịch hợp lệ khi mỗi lô giao dịch được đóng gói và tải lên vào chuỗi. bằng chứng hợp lệ. Nói cách khác, một giao thức sử dụng bằng chứng không có kiến thức sẽ luôn ở trạng thái hợp lệ, với chi phí tốn nhiều gas hơn để xác minh bằng chứng hợp lệ trên blockchain cơ bản.

Tuy nhiên, việc kết hợp zk-rollup với dữ liệu ngoài chuỗi có thể tối ưu hóa phí gas một cách hiệu quả. Giải pháp công nghệ không có kiến thức hiệu quả hơn này bao gồm "validium" và "volition". Những kế hoạch như vậy cũng có thể chứng minh tính hợp lệ của các trạng thái mà không tiết lộ quyền riêng tư dữ liệu. Điều này sẽ giúp cải thiện việc ứng dụng chuỗi công khai trong doanh nghiệp và doanh nghiệp có thể bảo vệ dữ liệu người dùng và bí mật kinh doanh tốt hơn.

Có một sự khác biệt khác giữa giải pháp công nghệ không có kiến thức và giải pháp tổng hợp lạc quan, đó là hiệu quả vốn. Trong một bản tổng hợp lạc quan, khoảng thời gian tiêu chuẩn để hoàn tất và rút tiền giao dịch là một tuần; trong kịch bản công nghệ không có kiến thức, người dùng có thể rút tiền trong khoảng 10 phút.

Để tìm hiểu thêm về sự khác biệt giữa giao thức tổng hợp lạc quan và giao thức không có kiến thức, hãy xem bên dưới băng hình. Trong video, các nhà lãnh đạo từ Offchain Labs, Polygon Hermez, Matter Labs, Metis DAO và Optimism đã thảo luận về triển vọng phát triển trong tương lai của Ethereum Lớp 2: https://youtu.be/t-SQQmLhepY

Các loại giải pháp công nghệ không có kiến thức khác nhau

Lược đồ lớp 2 có thể sử dụng bằng chứng hợp lệ hoặc bằng chứng gian lận và có thể lưu trữ dữ liệu trong hoặc ngoài chuỗi

Cơ sở hạ tầng

zk-Rollup

zk-rollup sẽ đóng gói nhiều giao dịch lại với nhau và xuất bản chúng lên chuỗi khối Layer1, đồng thời cũng sẽ xuất bản bằng chứng để xác minh tính hợp lệ của phép tính. Bằng chứng được đăng lên chuỗi còn được gọi là “bằng chứng hợp lệ”. Bằng chứng về tính hợp lệ được chia thành hai loại: SNARK và STARK. Khi các bằng chứng này được xác minh trên blockchain cơ bản, trạng thái của zk-rollup sẽ được cập nhật.

Validium

Validium kết hợp bằng chứng xác thực và lưu trữ dữ liệu ngoài chuỗi để cải thiện khả năng mở rộng. Bằng chứng về tính hợp lệ được công bố trên blockchain cơ bản, trong khi dữ liệu được lưu trữ ngoài chuỗi. Điều này sẽ làm tăng đáng kể thông lượng và giảm phí gas.

Mặc dù Validium vượt xa zk-rollup về mặt hiệu quả và khả năng mở rộng, nhưng Dữ liệu có thể không khả dụng do bị tấn công hoặc người dùng có thể không rút được tiền. Tuy nhiên, vấn đề về tính sẵn có của dữ liệu này có thể được giải quyết thông qua hệ thống PoS, sử dụng cơ chế khuyến khích kinh tế để đảm bảo rằng dữ liệu được lưu trữ trong mỗi nút và có sẵn bất kỳ lúc nào. Điều đáng nói là mặc dù kẻ tấn công có thể tạm dừng giao dịch nhưng hắn không thể trực tiếp đánh cắp tiền của người dùng.

Ý chí

Volition kết hợp zk-rollup và validium. Người dùng có thể tự do lựa chọn sử dụng giải pháp zk-rollup hoặc validium. Hai giải pháp này cùng một trạng thái gốc. Ngay cả khi validium bị xâm phạm, tiền trên zk-rollup vẫn an toàn.

Do đó, các tổ chức sẵn sàng trả phí cao hơn để đổi lấy sự an toàn của zk- rollup , trong khi người dùng cá nhân thích Validium hơn, có chi phí giao dịch thấp hơn và cả hai có thể tương tác liền mạch trên Volition. Ví dụ: các nhà tạo lập thị trường trong DEX cung cấp thanh khoản hàng trăm triệu đô la nên họ sẽ chọn zk-rollup; trong khi các nhà đầu tư bán lẻ có vị thế tương đối nhỏ nên họ sẽ chọn validium.

Bằng chứng hợp lệ

RÕ RÀNG

Tên đầy đủ của SNARK là "zero-know cô đọng, lập luận không tương tác về kiến thức" (tiếng Trung là "bằng chứng ngắn gọn, không tương tác, không tương tác về kiến thức"). Đây là bằng chứng mật mã, tệp nhỏ và dễ xác minh. Nó tạo ra một bằng chứng mật mã bằng cách sử dụng các đường cong elip giả định rằng logarit rời rạc của một phần tử đường cong elip ngẫu nhiên không thể được tìm thấy từ một điểm cơ sở công khai. Chi phí tính toán của các đường cong elip thấp hơn hàm băm của STARK, do đó chi phí gas của giao thức SNARK thấp hơn.

STARK

STARK là viết tắt của "đối số minh bạch về kiến thức có thể mở rộng không có kiến thức" (tiếng Trung có nghĩa là "đối số minh bạch về kiến thức có thể mở rộng không có kiến thức, đối số minh bạch" ) ). Bằng chứng mật mã này hầu như không yêu cầu sự tương tác giữa người chứng minh và người xác minh. Ưu điểm lớn nhất của STARK so với SNARK là thời gian chứng minh ngắn hơn và dễ mở rộng hơn. Ngoài ra, vì STARK sử dụng hàm băm nên chúng cũng có khả năng chống lại các cuộc tấn công lượng tử.

Điều đáng nói là người phát minh ra STARK là Eli Ben-Sasson. Ông ấy là người đồng sáng lập StarkWare, cùng nhóm đã phát triển StarkEx và StarkNet.

Dự án blockchain sử dụng công nghệ không có kiến thức

Dự án blockchain sử dụng giải pháp công nghệ không kiến thức

Các dự án sử dụng zk-STARK

StarkEx

StarkEx là giải pháp mở rộng Lớp 2 trên Ethereum sử dụng bằng chứng STARK để xác minh các giao dịch tự lưu trữ và phát triển các ứng dụng giao dịch và thanh toán trên đó. Các dự án dựa trên StarkEx bao gồm DeversiFi, Sorare và dYdX đã hoàn thành hàng trăm triệu giao dịch và đạt khối lượng giao dịch hàng trăm tỷ đô la. Tuy nhiên, StarkEx không thể hỗ trợ chức năng hợp đồng thông minh và do đó không thể triển khai một dApp đầy đủ chức năng.

StarkNet

StarkNet là một nền tảng chung mà các nhà phát triển có thể sử dụng để triển khai các hợp đồng thông minh trên zk-rollup của Ethereum. Các dApps Aave và Maker chính thống của Ethereum đều dự kiến được phát hành trên StarkNet. Điều đáng chú ý là zk-rollup của StarkEx cũng có thể được phát hành trên StarkNet để cải thiện khả năng mở rộng ứng dụng.

Để tận dụng lợi thế của STARK về điện toán và khả năng mở rộng, StarkWare đã phát triển ngôn ngữ Cairo , một ngôn ngữ hiệu quả và ngôn ngữ lập trình hoàn chỉnh Turing được thiết kế đặc biệt để tạo bằng chứng STARK. Điều này có nghĩa là StarkWare cần tài liệu phát triển, khung và các công cụ khác để kích hoạt hệ sinh thái nhà phát triển của mình.

X bất biến

Immutable X là một nền tảng NFT để đúc và giao dịch NFT và token. Nền tảng này sử dụng StarkEx để tạo zk-rollup của riêng mình. Khối lượng giao dịch và đúc tiền NFT đạt hàng triệu trên nền tảng Immutable X và chi phí được giữ ở mức thấp ngay cả trong thời gian mạng Ethereum tắc nghẽn.

Immutable X cũng sẽ được phát hành trên StarkNet. Bằng chứng hợp lệ sẽ không được xuất bản trực tiếp lên Ethereum mà trước tiên là cho StarkNet và sau đó là Ethereum thông qua quá trình tổng hợp của StarkNet. Immutable X có thể sử dụng StarkEx để xuất bản chuỗi ứng dụng trên StarkNet, cung cấp giải pháp mở rộng lớp 3 cho các dự án.

Các dự án sử dụng zk-SNARK

Zcash

Zcash trước đây được gọi là ZeroCash. Số “0” trong tên đề cập đến việc sử dụng công nghệ chứng minh không có kiến thức để đạt được các giao dịch riêng tư. Zerocash là một trong những dự án tiền điện tử đầu tiên thúc đẩy ứng dụng công nghệ chứng minh không có kiến thức trong ngành.

Vòng lặp

Loopring là một DEX trên Ethereum hỗ trợ các giao dịch sổ đặt hàng và không lưu giữ tài sản của người dùng. Loopring được kết nối với Nguồn cấp dữ liệu giá Chainlink và phục vụ hàng trăm nghìn người dùng với hàng tỷ giao dịch.

zkSync 1.0

zkSync 1.0 là một bản tổng hợp trên Ethereum. Giống như StarkEx, nó hỗ trợ chuyển và trao đổi token nhưng không hỗ trợ hợp đồng thông minh. Giao thức được phát triển bởi Matter Labs.

zkSync 2.0

ZkSync 2.0, giống như StarkNet, cũng là giải pháp mở rộng Lớp 2 cho Ethereum. Nó áp dụng cơ sở hạ tầng có ý chí để hỗ trợ các hợp đồng thông minh. zkSync sử dụng zk-SNARK để xác minh các giao dịch và hệ thống PoS zkPorter để đảm bảo tính khả dụng của dữ liệu. Sự khác biệt chính giữa zkSync 2.0 và StarkNet, ngoài bằng chứng về tính hợp lệ, là zkSync 2.0 tương thích với EVM. 1inch, Alchemix và Curve đều đang có kế hoạch phát hành trên zkSync 2.0.

ZigZag

ZigZag là một nền tảng giao dịch phi tập trung sử dụng mô hình sổ đặt hàng để giao dịch mã thông báo ERC-20. Ngược lại, hầu hết các DEX đều áp dụng mô hình tạo lập thị trường tự động (AMM). Mô hình sổ đặt hàng của ZigZag được hưởng lợi từ khả năng mở rộng mạnh mẽ của zk-rollup. Bất kỳ mã thông báo nào trong sổ đăng ký zkSync đều có thể được giao dịch trong ZigZag. Giao thức hiện chạy trên zkSync 1.0 nhưng được lên kế hoạch phát hành trên zkSync 2.0 và StarkNet.

Mina

Mina là một blockchain nhẹ sử dụng SNARK để tạo các khối có dung lượng tối đa 22kb. Các dự án có thể phát triển và triển khai các ứng dụng trên Mina và hiện thực hóa tất cả các chức năng của hợp đồng thông minh.

Cách các giao thức chứng minh không có kiến thức cải thiện khả năng phân cấp, độ tin cậy và bảo mật

Các giao thức chứng minh không có kiến thức có thể sử dụng dịch vụ oracle phi tập trung của Chainlink để cải thiện tính bảo mật và đạt được tự động hóa. Các giao thức khác nhau trong hệ sinh thái Web3 có thể sử dụng các dịch vụ giảm thiểu độ tin cậy của Chainlink để truy cập bất kỳ API bên ngoài nào và tận dụng tính toán an toàn ngoài chuỗi để xây dựng các ứng dụng nâng cao hơn.

Các giao thức chứng minh không có kiến thức có thể sử dụng các dịch vụ sau để cải thiện hiệu suất dApp:

Dữ liệu thị trường chính xác - Nguồn cấp dữ liệu giá Chainlink bảo vệ nền kinh tế DeFi và cung cấp stablecoin phi tập trung, Các trường hợp sử dụng khác nhau như các giao thức cho vay và nền tảng giao dịch cung cấp dữ liệu thị trường cực kỳ đáng tin cậy và chính xác.

Các số ngẫu nhiên có thể xác minh được - Chainlink VRF có thể tạo các số ngẫu nhiên và bằng chứng mật mã rồi tải chúng lên chuỗi để xác minh. Nền tảng NFT có thể sử dụng các số ngẫu nhiên để tạo ra NFT một cách công bằng và có thể kiểm chứng được. Trò chơi blockchain có thể sử dụng số ngẫu nhiên để tạo ra trải nghiệm chơi game không thể đoán trước.

Tự động hóa hợp đồng thông minh - Chainlink Keepers là dịch vụ tự động hóa giao dịch phi tập trung có thể tự động kích hoạt các chức năng hợp đồng thông minh quan trọng, chẳng hạn như giải quyết các giao dịch lệnh giới hạn, thực hiện thanh lý và mã thông báo rebase, v.v.

Bằng chứng dự trữ - Bằng chứng dự trữ Chainlink có thể tự động xác minh tài sản dự trữ dựa trên dữ kiện mật mã, giảm rủi ro cho các giao thức chứng minh không có kiến thức, cải thiện tính minh bạch và tránh Rủi ro hệ thống DeFi.

Giao tiếp chuỗi chéo - Giao thức tương tác chuỗi chéo (CCIP) cung cấp một tiêu chuẩn mở chung cho các giao thức nhằm tạo ra các ứng dụng chuỗi chéo an toàn. gửi tin nhắn và kích hoạt các tương tác trong thế giới Web3.

Tóm tắt

Sự kết hợp giữa các bằng chứng không có kiến thức với blockchain cơ bản và mạng oracle phi tập trung chắc chắn sẽ thúc đẩy sự chuyển đổi của ngành công nghiệp blockchain và nhóm dự án sẽ phát triển khả năng mở rộng rất linh hoạt và các ứng dụng tiết kiệm chi phí đồng thời bảo vệ quyền riêng tư của người dùng.

Mặc dù các giải pháp Lớp 2 khác có thể cung cấp cơ sở hạ tầng tốt hơn cho một số ứng dụng, nhưng với sự phát triển không ngừng của ngành công nghiệp blockchain, zk-rollup, tính hợp lệ và ý chí chắc chắn sẽ nhận được sự ưu ái của nhiều người dùng cá nhân và doanh nghiệp hơn.