chuỗi khốichuỗi khốiDự án giải quyết các vấn đề về quy mô và quyền riêng tư. Chuỗi khối có thể sử dụng công nghệ bằng chứng 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 doanh nghiệp sử dụng công nghệ chuỗi khối đồng thời bảo vệ quyền sở hữu trí tuệ của chính họ. Trong tất cả các tình huống ứng dụng ở trên, bằng chứng không kiến thức là một công nghệ then chốt không thể thiếu.
là gìZero Knowledge Proof (ZKP)? Bằng chứng không 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ử dụng thông tin được nhập vào hệ thống để tạo bằng chứng, trong khi người xác minh xác minh tính toán của bằng chứng mà không biết nội dung chính xác của thông tin. Quan trọng nhất, bằng chứng không kiến thức có thể xác minh tính hợp lệ của tập dữ liệu trong khi 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 lợi thế độc đáo của các giải pháp chứng minh không có kiến thức; cách các dự án chuỗi khối có thể 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 dApp nâng cao.Web3tiêu đề cấp đầu tiên
Tại sao nên sử dụng công nghệ bằng chứng không kiến thức để xây dựng mạng?
tiêu đề phụ
Sơ đồ bằng chứng không kiến thức VS Bản tổng hợp lạc quan
Bản tổng hợp lạc quan là công nghệ Lớp 2 và hiện là giải pháp mở rộng chủ đạo. Theo trang web phân tíchL2BeatTheo thống kê, tính đến ngày 29 tháng 6 năm 2022, các bản tổng hợp lạc quan chiếm 74,3% tổng số vị trí bị khóa của mạng Ethereum Lớp 2, trong khi các sơ đồ bằng chứng không kiến thức chiếm 25,9%.
Sự khác biệt lớn nhất giữa sơ đồ mở rộng không có kiến thức và tổng số lạc quan là cách xác minh giao dịch. Bản tổng hợp lạc quan áp dụng bằng chứng gian lận (fraud proof), chỉ cần được tạo ra khi phân xử 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 giao dịch hợp lệ khi mỗi lô giao dịch được đóng gói và tải lên đến chuỗi.Bằng chứng hợp lệ. Điều đó có nghĩa là, giao thức sử dụng bằng chứng không có kiến thức luôn hợp lệ và chi phí là phải trả thêm phí gas để xác minh bằng chứng hợp lệ trên chuỗi khối 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ả. Các giải pháp công nghệ không kiến thức hiệu quả hơn như vậy bao gồm validium và volition. Các kế hoạch như vậy cũng có thể chứng minh tính hợp lệ của 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 chuỗi công khai trongứng dụng doanh nghiệp, 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.
Một điểm khác biệt nữa giữa các giải pháp công nghệ không kiến thức và tổng số lạc quan là hiệu quả sử dụng vốn. Trong bản tổng hợp lạc quan, cửa sổ thời gian tiêu chuẩn để hoàn tất giao dịch và rút tiền là một tuần; trong khi ở sơ đồ công nghệ không kiến thức, người dùng có thể rút tiền trong khoảng 10 phút.
tiêu đề cấp đầu tiênhttps://youtu.be/t-SQQmLhepY
Mô tả hình ảnh
tiêu đề phụ
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 trên chuỗi khối Layer1, đồng thời sẽ đưa ra bằng chứng để xác minh tính hợp lệ của phép tính. Bằng chứng được đăng trê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. Sau khi các bằng chứng này được xác minh trên chuỗi khối cơ bản, trạng thái của zk-rollup sẽ được cập nhật.
Validium
khả năng mở rộngkhả năng mở rộng. Bằng chứng về tính hợp lệ được xuất bản trên chuỗi khối 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 trội hơn nhiều so với zk-rollup về hiệu quả và khả năng mở rộng, dữ liệu có thể không khả dụng do các cuộc tấn công hoặc người dùng không thể rút tiền. Tuy nhiên, vấn đề về tính khả dụng của dữ liệu này có thể được giải quyết thông qua hệ thống PoS, hệ thống này 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 cứ 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 chúng không thể trực tiếp đánh cắp tiền của người dùng.
Volition
Volition kết hợp zk-rollup và validium. Người dùng có thể tự do lựa chọn sử dụng lược đồ zk-rollup hoặc validium. Hai lược đồ này có chung một trạng thái gốc. Ngay cả khi hợp lệ 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 tính bảo mật của zk-rollup, trong khi người dùng cá nhân có xu hướng xác thực hơn với chi phí giao dịch thấp hơn và cả hai có thể tương tác liền mạch theo ý muốn. Ví dụDEXtiêu đề phụ
Giấy chứng nhận hiệu lực
SNARK
Tên đầy đủ của SNARK là đối số kiến thức không tương tác ngắn gọn về tri thức (tiếng Trung là bằng chứng không kiến thức ngắn gọn không tương tác). Đây là một bằng chứng mật mã rằng tệp nhỏ và có thể kiểm chứng dễ dàng. Nó tạo ra một bằng chứng mật mã bằng cách sử dụng một đường cong elip giả định rằng không thể tìm thấy logarit rời rạc của một phần tử đường cong elip ngẫu nhiên từ một điểm cơ sở công khai. Chi phí tính toán của đườ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
Tên đầy đủ của STARK là đối số tri thức minh bạch có thể mở rộng bằng không kiến thức (tiếng Trung là bằng chứng tri thức minh bạch có thể mở rộng bằng không kiến thức). Bằng chứng mật mã này hầu như không yêu cầu 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ễ dàng 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ử.
tiêu đề cấp đầu tiên
Mô tả hình ảnh
tiêu đề phụ
Các dự án sử dụng zk-STARK
StarkEx
StarkExĐây 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ợ các chức năng hợp đồng thông minh, vì vậy nó không thể tạo ra một dApp đầy đủ chức năng.
StarkNet
StarkNetLà một nền tảng có mục đích chung mà các nhà phát triển có thể sử dụng StarkNet để triển khai các hợp đồng thông minh trên zk-rollup của Ethereum. Các dApps chính của Ethereum là Aave và Maker đều có kế hoạch ra mắt 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 của ứng dụng.
Để tận dụng tối đa 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ữ lập trình hiệu quả và hoàn chỉnh Turing dành riêng để 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.
Immutable X
Immutable Xlà một nền tảng NFT để đúc và giao dịch NFT và mã thông báo. Nền tảng sử dụng StarkEx để tạo zk-rollup của riêng mình. Khối lượng giao dịch và khai thác NFT trên nền tảng Immutable X lên tới hàng triệu và chi phí có thể được giữ ở mức thấp ngay cả khi mạng Ethereum bị tắc nghẽn.
tiêu đề phụ
Các dự án sử dụng zk-SNARK
Zcash
ZcashTrước đây được gọi là ZeroCash. Chữ không trong tên đề cập đến việc sử dụng công nghệ bằng chứng 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 mã hóa sớm, thúc đẩy việc áp dụng công nghệ bằng chứng không có kiến thức trong ngành.
Loopring
LoopringĐó là một DEX trên Ethereum hỗ trợ các giao dịch đặt hàng và không lưu trữ 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, phục vụ hàng trăm nghìn người dùng với hàng tỷ giao dịch.
zkSync 1.0
zkSync1.0 là một bản cập nhật trên Ethereum. Giống như StarkEx, nó hỗ trợ chuyển và trao đổi mã thông báo, 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
Giống như StarkNet, zkSync 2.0 cũng là một giải pháp mở rộng Lớp 2 của Ethereum. Cơ sở hạ tầng sẽ được thông qua để hỗ trợ các hợp đồng thông minh. zkSync sử dụng zk-SNARK để xác minh giao dịch và sử dụng 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 là cái trước tương thích với EVM bên cạnh bằng chứng hợp lệ. 1inch, Alchemix và Curve đều được lên lịch phát hành trên zkSync 2.0.
ZigZag
ZigZagĐây là một nền tảng giao dịch phi tập trung sử dụng mô hình sổ lệnh để giao dịch mã thông báo ERC-20. Ngược lại, hầu hết các DEX sử dụngnhà tạo lập thị trường tự động(AMM) chế độ. Chế độ 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 đang 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
Minatiêu đề cấp đầu tiên
Cách các giao thức Zero-Knowledge Proof cải thiện khả năng phân cấp, độ tin cậy và bảo mật
tiên tritiên triDịch vụ cải thiện bảo mật và cho phép tự động hóa. Các giao thức 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à sử dụng điện toán ngoại tuyến an toàn để tạo các ứng dụng nâng cao hơn.
Giao thức bằng chứng không 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——Chainlink Price FeedsvìDeFiHỗ trợ kinh tế, cung cấp dữ liệu thị trường cực kỳ đáng tin cậy và chính xác cho các trường hợp sử dụng khác nhau như stablecoin phi tập trung, giao thức cho vay và nền tảng giao dịch.
Số ngẫu nhiên có thể kiểm chứng -Chainlink VRFSố ngẫu nhiên và bằng chứng được mã hóa có thể được tạo và tải cùng nhau lên chuỗi để xác minh. Nền tảng NFT có thể sử dụng các số ngẫu nhiên để đúc NFT theo cách công bằng và có thể kiểm chứng. Trò chơi chuỗi khối có thể sử dụng các số ngẫu nhiên để tạo ra trải nghiệm chơi trò chơi không thể đoán trước.
Tự động hóa hợp đồng thông minh -Chainlink KeepersĐây là một 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 chính của hợp đồng thông minh, chẳng hạn như giải quyết các giao dịch đặt hàng giới hạn, thực hiện thanh lý và rebase token.
Bằng chứng về dự trữ—Bằng chứng dự trữ ChainlinkTài sản dự trữ có thể được xác minh tự động dựa trên dữ kiện mật mã, giảm rủi ro cho các giao thức bằng chứng 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 xuyên chuỗi——Giao thức tương tác chuỗi chéo (CCIP)tiêu đề cấp đầu tiên
DECO cung cấp năng lượng cho bất kỳ dự án blockchain nào
Dự án phải áp dụng công nghệ chứng minh kiến thức bằng 0. Ngoài zk-rollup, validium hoặc volition, bạn cũng có thể chọn Chainlink DECO. hiện tại,DECOMô tả hình ảnh
Các nút tiên tri Chainlink sử dụng DECO có thể chứng minh sự tồn tại thực sự của dữ liệu mà không tiết lộ nội dung của dữ liệu.
Nút tiên tri có thể chứng minh rằng dữ liệu đến từ một máy chủ đáng tin cậy và ẩn nội dung dữ liệu trên chuỗi. Ngoài ra, vì chuỗi hành trình TLS được duy trì nên nguồn gốc dữ liệu cũng có thể được chứng minh. Công nghệ này cho phép một loạt các trường hợp sử dụng nâng cao nhưCanDIDChờ đợiNhận dạng phi tập trung (DID)Giao thức cho phép người dùng tự quản lý thông tin nhận dạng, thay vì thông qua bên thứ ba. Ngoài ra, DECO cũng có thể tiếp cận các tổ chức có thẩm quyền để xác nhận xem điểm tín dụng của người dùng có đáp ứng tiêu chuẩn hay không, đồng thời không tiết lộ bất kỳ thông tin cá nhân nào của người dùng, để thực hiện các khoản vay thế chấp thấp cho nền tảng DeFi.
tóm tắt
tóm tắt
Sự kết hợp giữa bằng chứng không kiến thức và chuỗi khối cơ bản và mạng tiên tri phi tập trung chắc chắn sẽ thúc đẩy sự chuyển đổi của ngành công nghiệp chuỗi khối. Nhóm dự án sẽ phát triển các ứng dụng có khả năng mở rộng cao và 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 khi ngành công nghiệp chuỗi khối tiếp tục phát triển, zk-rollup, validium và volition chắc chắn sẽ thu hút được nhiều người dùng cá nhân hơn vàxí nghiệpcủa sự ưu ái.
tiêu đề cấp đầu tiênDiscordĐặt câu hỏi hoặc trò chuyện với chuyên gia Chainlinkliên lạc qua điện thoại。
