Trong cuộc sống thực, số lần chuyển điện thoại di động, số dư trong thẻ, dữ liệu cuộc gọi và thậm chí cả thông tin đối tượng, chúng tôi sẽ chú ý cẩn thận đến việc bảo mật thông tin dữ liệu và không tiết lộ cho công chúng. quyền riêng tư và các tài sản kỹ thuật số tương ứng của nó, và việc bảo vệ quyền riêng tư đã dần trở thành một vấn đề quan trọng.Sự đồng thuận của công chúng cũng được pháp luật bảo vệ - quyền riêng tư.

Một mặt, các đặc điểm có thể theo dõi của chuỗi khối cho phép xác nhận thông tin giao dịch và nguồn dữ liệu, đồng thời đây là công nghệ đáng tin cậy để sở hữu tài sản kỹ thuật số trên chuỗi, cho phép thu được nhiều tranh chấp truyền thống và các trường hợp bất công, sai và quyết định sai. các giải pháp kỹ thuật số hoàn toàn mới, nhưng mặt khác, Các khía cạnh của thông tin được phơi bày hoàn toàn trên chuỗi công khai, không có bất kỳ biện pháp bảo mật nào, nhưng nhiều tin tặc vô đạo đức có đủ sự thuận tiện. Tài sản kỹ thuật số giống như chạy trần truồng trên đường cao tốc, và có giá trị cao và tài sản duy nhất có thể trở thành mục tiêu tiếp theo của tin tặc bất cứ lúc nào.

Làm cách nào để đảm bảo một mức độ riêng tư nhất định trong các giao dịch trên chuỗi công khai? Tôi muốn tạo thuận lợi cho giao dịch, nhưng tôi không muốn người khác dễ dàng theo dõi thông tin tài sản của địa chỉ trên chuỗi cá nhân, chẳng hạn như:

Khi A bán NFT cho B, B cần gửi tiền đến địa chỉ của A trước và A chuyển NFT đến địa chỉ của B sau khi xác nhận, điều này sẽ gây ra vấn đề nghi ngờ thông tin và A cần xuất bản tài sản trong địa chỉ ví để cho B biết Trong số đó có NFT mà anh ta muốn, nhưng thông tin tài sản của A bị lộ trước tầm nhìn của B. Nếu lúc này B có ý đồ xấu hoặc tin tặc thì A sẽ rơi vào khả năng bị lừa đảo.

tiêu đề cấp đầu tiên

Zero Knowledge Proof (ZKP) là gì

Bằng chứng không kiến ​​thức có nghĩa là một người hoàn toàn có thể chứng minh rằng mình là chủ sở hữu hợp pháp của một số quyền và lợi ích nhất định mà không cần tiết lộ thông tin liên quan. Bằng chứng không kiến ​​thức có thể xác minh tính hợp lệ của một bộ dữ liệu nhất định và đồng thời bảo vệ quyền riêng tư của dữ liệu.

tiêu đề cấp đầu tiên

ví dụ đơn giản

A cần chứng minh cho B thấy mình là chủ sở hữu của căn phòng này, giả sử rằng căn phòng chỉ có thể mở được bằng chìa khóa duy nhất và không thể mở được bằng bất kỳ phương pháp nào khác. Lúc này có 2 phương pháp:

• A đưa chìa khóa cho B và B sử dụng chìa khóa để mở khóa phòng, do đó chứng minh rằng A có chìa khóa chính xác cho căn phòng.

• B xác định có đồ vật trong phòng, A dùng chìa khóa của mình mở cửa phòng, sau đó lấy đồ vật ra đưa cho B xem, như vậy chứng tỏ mình có chìa khóa phòng.

tiêu đề cấp đầu tiên

tiêu đề phụ

SNARK

tiêu đề phụ

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ử.

Chúng đều có những ưu điểm và nhược điểm khác nhau. Dưới đây là những khác biệt chính giữa hai bằng chứng ZK:

• Kích thước bằng chứng: STARK lớn hơn SNARK, điều đó cũng có nghĩa là chúng đắt hơn để xác minh trên Ethereum, vì bằng chứng lớn hơn = tính toán nhiều hơn = phí gas cao hơn.

• Khả năng mở rộng: STARK thường được coi là hiệu quả hơn SNARK, tùy thuộc vào việc triển khai. Bằng chứng và Xác minh Quy mô phức tạp của STARK tăng gần như tuyến tính đối với độ phức tạp tính toán đã được chứng minh, trong khi độ phức tạp của SNARK tăng tuyến tính. Điều này có nghĩa là STARK có lợi thế lớn hơn SNARK khi chứng minh khả năng tính toán cao hơn.

• Hệ sinh thái và dự án: Có nhiều dự án sử dụng SNARK hơn là STARK vì SNARK đã tồn tại lâu hơn.

• Đệ quy: SNARK hỗ trợ đệ quy - bạn có thể tạo SNARK gốc để chứng minh nhiều SNARK con - một tính năng chính được nhiều giải pháp mở rộng sử dụng. STARK không hỗ trợ đệ quy.

• An toàn lượng tử: SNARK sử dụng mật mã đường cong elip, không an toàn lượng tử. Những tiến bộ trong điện toán lượng tử có thể khiến các hệ thống dựa trên SNARK dễ bị tấn công. STARK không dễ bị tổn thương vì sơ đồ mã hóa của chúng dựa trên các hàm băm.

• tiêu đề cấp đầu tiên

tiêu đề phụ

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

StarkEx: StarkEx là một 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 ký 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: StarkNet là một nền tảng đa năng 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 dApp 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ề tính 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 thiện 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.

Immutable X: Immutable X là một nền tảng NFT để đúc và giao dịch NFT cũng như 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ả trong thời kỳ tắc nghẽn mạng Ethereum.

tiêu đề phụ

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

Zcash: Zcash trướ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 tiền điện tử đầu tiên đã 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: zkSync 1.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à giải pháp mở rộng Lớp 2 cho 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 về tính hợp lệ. 1inch, Alchemix và Curve đều được lên lị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ổ 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ụng mô hình tạo lập thị trường tự động (AMM). 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.

tiêu đề cấp đầu tiên

Vai trò cơ sở hạ tầng của bằng chứng không kiến ​​thức

Có nhiều giải pháp mới cho các vấn đề về độ tin cậy do các giao dịch Web3 tạo ra, nhưng với sự phát triển của công nghệ chuỗi khối và các hình thức đồng thuận, bằng chứng không kiến ​​thức đã dần trở thành một phần của sức mạnh cơ sở hạ tầng. Hiện tại, bằng chứng không kiến ​​thức có hai công dụng chính:

• Quyền riêng tư: Giảm thiểu lượng dữ liệu bị lộ khi tiến hành các hoạt động trên chuỗi khối

• Khả năng mở rộng: Cho phép thực hiện tính toán chuyên sâu ngoài chuỗi, làm cho việc tạo ra một bằng chứng ngắn gọn rằng tính toán được thực hiện một cách trung thực, rẻ hơn và có thể được phát hành trên chuỗi.

Đặc biệt là về lợi thế khả năng mở rộng và giá cả, nó có thể cải thiện hơn nữa hiệu suất của nhiều DAPP, chẳng hạn như:

• Dữ liệu thị trường chính xác

• số ngẫu nhiên có thể kiểm chứng

• Tự động hóa hợp đồng thông minh

• giấy chứng nhận dự trữ

• tóm tắt

tóm tắt

Nhu cầu về quyền riêng tư và lợi thế về khả năng mở rộng đã cải thiện việc thúc đẩy và phát triển nhiều dự án blockchain hơn.Các đối tượng công nghệ và dịch vụ của bằng chứng không kiến ​​thức cũng không ngừng phát triển, điều này thúc đẩy trình độ tổng thể của ngành công nghiệp blockchain và khiến Người dùng có nhu cầu và các ngành công nghiệp truyền thống muốn chuyển đổi tham gia vào Web3, loại bỏ chi phí ủy thác và trở ngại giao dịch, đồng thời nhận ra hệ sinh thái thịnh vượng của Web3.

Nguồn bài viết