Tác giả: nairolf, Sensei Wu Nguồn: substack Dịch: Shan Ouba, Golden Finance
ZK cái này, ZK cái kia, anh ơi, xin đừng nói về những điều này nữa. Starknet chỉ có 8 người dùng hàng tháng, đó là một đợt airdrop thất bại và không ai quan tâm đến ZK Rollups. Được rồi, hãy để tôi dành thời gian, haha. Công nghệ này thực sự tuyệt vời.
Hãy bắt đầu đơn giản và hiểu bằng chứng không có kiến thức hay bằng chứng ZK là gì. Ví dụ!
John thích vẽ những con hổ xinh đẹp, nhưng anh ấy không dám cho bạn bè xem tranh của mình. Anh ấy rất nhút nhát!
Bạn bè nghi ngờ kỹ năng của anh ấy. Họ chưa bao giờ thấy anh vẽ! Nhưng John có một kế hoạch. Sắp có một cuộc thi vẽ tranh hổ lớn. Để vào, bạn phải vẽ một bức tranh tuyệt vời về một con hổ.
Nếu John tham gia và vượt qua vòng đánh giá năng lực, bạn bè của anh ấy sẽ biết rằng anh ấy có thể vẽ hổ. Mặc dù họ không nhìn thấy anh ấy vẽ nhưng cuối cùng họ cũng sẽ tin anh ấy.
John đã tham gia cuộc thi và vẽ một con hổ, điều này đã giành được sự đánh giá cao của ban giám khảo. Bạn bè của anh ấy cuối cùng đã tin anh ấy! Anh chàng này thực sự có thể vẽ hổ. tuyệt vời!
Đây giống như bằng chứng zk. Thay vì thể hiện điều gì đó một cách trực tiếp, bạn thể hiện điều đó mà không tiết lộ bất kỳ chi tiết nào. Bằng chứng của John là bằng cấp của anh ấy. Bạn bè của anh ấy không thấy anh ấy vẽ, nhưng họ biết anh ấy có thể vẽ.
Như bạn có thể đã nhận ra, một lợi ích của chứng chỉ zk là quyền riêng tư mà chúng mang lại.
Nhưng đây không phải là lợi thế duy nhất. Chúng tôi sẽ không đi vào chi tiết nhưng hãy nhớ rằng zk-proof cũng nhanh hơn. Điều này thực sự có ý nghĩa. Nếu chúng ta quay lại ví dụ, John không cần chỉ cho từng người bạn của mình cách vẽ một con hổ. Anh ta chỉ cần đưa ra lời mời thi đấu.
Ngoài ra, zk được chứng minh là có hiệu quả về bộ nhớ hơn. Những bằng chứng này có thể xác minh các tính toán lớn hơn dễ dàng hơn các hệ thống chứng minh khác.
Tuy nhiên, có một vấn đề: những bằng chứng này phải được xác minh vào một lúc nào đó. Giả sử James nói với bạn rằng anh ấy đã được nhận vào cuộc thi. Tuyệt vời, nhưng bạn có muốn xác nhận rằng điều này là đúng?
Thật không may, Ethereum, và cụ thể hơn là EVM, máy ảo của nó (máy tính lớn đằng sau Ethereum), không được thiết kế để chống zk. Điều này làm cho việc xác minh rất tốn kém và đôi khi khiến zk-proof không thể sử dụng được.
Lớp đã căn chỉnh xuất hiện vào lúc này.
Đã căn chỉnh
Bạn không cần xác minh bằng chứng của mình trực tiếp trên Ethereum mà hãy gửi những thông tin này Bằng chứng cho lớp được căn chỉnh.
Bạn có thể muốn biết điều gì? Vâng, Aligned Layer chuyên xác minh bằng chứng. Hãy coi Aligned như một mạng lưới gồm những người xác thực chuyên dụng, sẵn sàng xác nhận rằng bằng chứng bạn gửi là chính xác.
Aligned đóng vai trò của Ethereum ở đây. Nhưng đừng lo lắng, họ sử dụng tính năng đặt lại của EigenLayer để duy trì mức độ bảo mật tương tự như Ethereum. Bảo mật tương tự như Ethereum nhưng không có giới hạn của EVM. Tuyệt phải không?
Vì vậy, Aligned xác minh bằng chứng của bạn. Bước tiếp theo là công bố kết quả xác minh lên Ethereum. Có, tôi đã nói "kết quả xác minh". Đã được xác minh rồi, tại sao lại cần xác minh lần thứ hai?
Bây giờ, bạn vẫn có dữ liệu, bằng chứng cần được xuất bản ở đâu đó. Chà, Aligned sẽ xuất bản nó lên Ethereum hoặc AltDA giống Celestia. Sự lựa chọn là của bạn.
Quá trình xác minh bằng chứng thông qua Aligned Layer trở nên rẻ hơn nhiều. Thực sự chúng ta đang nói đến việc giảm chi phí gấp 10 lần!
Việc này cũng nhanh hơn một chút. Bạn không cần phải đợi bằng chứng của mình được xác minh trên Ethereum; bạn đã nhận được xác nhận (mềm) đầu tiên từ Lớp được căn chỉnh.
Không còn bị giới hạn bởi EVM, nhiều trường hợp sử dụng tiềm năng mới và mục tiêu tạo ra bằng chứng zk chính thống: Lớp căn chỉnh sẽ trở thành phần tham gia quan trọng nhất trong không- lĩnh vực kiến thức là một trong số đó. Nhưng nó không phải là duy nhất.
Nebra
Nebra Nó là một giao thức tổng hợp bằng chứng không có kiến thức phổ quát dựa trên Ethereum. Nghe có vẻ hơi điên rồ phải không? Hãy để tôi giải thích.
Việc xác minh bằng chứng không có kiến thức trên Ethereum rất tốn kém. Với Nebra, bạn có thể giảm những chi phí này năm lần.
Nebra hỏi: "Tại sao chúng tôi không xác minh một số lượng lớn bằng chứng không có kiến thức ngoài chuỗi, gộp chúng thành một gói lớn và sau đó chỉ xác minh một tổng hợp trên chuỗi Bằng chứng là gì? Bằng cách này, chúng tôi duy trì tính bảo mật của Ethereum trong khi giảm chi phí trên mỗi đơn vị được tạo ra!” Khá thông minh phải không?
Ngoài ra, Nebra còn mang tính phổ quát. Điều này có nghĩa là bằng chứng có thể đến từ bất kỳ nguồn nào. Cho dù đó là zkRollups, zkCoprocessor, zkML hay bất kỳ nguồn nào khác, Nebra đều chấp nhận những bằng chứng này.
Nebra cũng không được phép, nghĩa là bất kỳ dự án nào cũng có thể sử dụng nó mà không cần phải nộp đơn cho nhóm trước, giúp công nghệ có thể mở rộng ở quy mô ứng dụng.
Đã có một số dự án tận dụng Nebra, chẳng hạn như Worldcoin và Bộ đồng xử lý ZK mới - Brevis. Bạn chưa biết Bộ đồng xử lý là gì? Xin vui lòng kiểm tra bài viết trước của chúng tôi.
Và đây là kết thúc... chờ đã, bạn thậm chí không tin đây là kết thúc à?
Ngắn gọn
Ngắn gọn là một lớp tạo ra bằng chứng không có kiến thức cho bất kỳ blockchain nào. Có, bất kỳ blockchain nào. Nó nhằm mục đích trở thành lớp cơ sở để tạo ra các bằng chứng không có kiến thức. Thật ấn tượng phải không?
Bạn có thể thắc mắc họ làm điều đó như thế nào - hoặc có thể bạn không biết, hãy để tôi giải thích. Succinct hoạt động như một mạng xác nhận. Những trình xác thực này tạo ra bằng chứng không có kiến thức trên mạng Succinct và sau đó gửi bằng chứng cho khách hàng.
Để đảm bảo khách hàng nhận được mức giá tốt nhất, lớp Succinct được chia thành hai phần: thị trường nơi người xác thực cung cấp mức giá tốt nhất cho mọi yêu cầu và phần tổng hợp hệ thống giúp giảm chi phí đơn vị bằng cách mở rộng từng bằng chứng được tạo ra. Giữ nó đơn giản!
Về cơ bản, Succinct giống như một nhà thầu mà bạn thuê để xử lý công việc cấp chứng chỉ cho bạn. Hãy tưởng tượng nếu bạn không thể vẽ meme hoặc không có thời gian để học kỹ năng này, bạn có thể thuê ai đó làm việc đó cho mình. Cô đọng chỉ có vậy và chỉ tồn tại để làm bằng chứng.
Bài viết này hơi dài! Nhưng như người ta thường nói, “sự đổi mới lớn đòi hỏi không gian rộng lớn”. Một điều chắc chắn: bằng chứng không có kiến thức có tiềm năng rất lớn. Mặc dù chúng ta vẫn còn lâu mới được áp dụng rộng rãi nhưng các dự án như những dự án được giới thiệu hôm nay đang giúp thu hẹp khoảng cách đó.
JinseFinance
Miyuki
J. Kaepernick
Cointelegraph
Ftftx