- Bằng chứng không có kiến thức đã là một ý tưởng phổ biến trong mật mã từ những năm 1980.
- Blockchain vẫn liên kết với mật mã kể từ khi nó được hình thành.
- Bằng chứng không có kiến thức đại diện cho một kỹ thuật mã hóa trong đó không có thông tin nào được tiết lộ trong quá trình giao dịch ngoại trừ việc trao đổi một số giá trị mà cả người chứng minh và người xác minh đều biết.
Phạm vi của các hoạt động lừa đảo cũng tăng lên theo thời gian cùng với sự tiến bộ của công nghệ. Do đó, việc duy trì các giao thức bảo mật vẫn là một trong những khía cạnh quan trọng nhất của quá trình giao dịch. Mặc dù Blockchain đã nổi lên như một trong những đổi mới hứa hẹn nhất nhưng các tiêu chuẩn bảo mật bổ sung vẫn cần thiết để duy trì tính bảo mật của giao dịch.
Blockchain vẫn liên kết với mật mã kể từ khi nó được hình thành. Tuy nhiên, sự tích hợp của Blockchain và mật mã gần đây đã thu hút được sự chú ý của công chúng. Trên hệ thống blockchain, các kỹ thuật mã hóa giúp bảo vệ giao dịch. Nói cách khác, việc kết hợp công nghệ blockchain và mật mã đã mang lại một phương thức giao dịch tài chính an toàn.
Bằng chứng không có kiến thức đã là một ý tưởng phổ biến trong mật mã từ những năm 1980. Tuy nhiên, chức năng của chúng trong tiền điện tử gần đây đã đưa chúng trở thành tâm điểm chú ý. Dân số toàn cầu nhận thấy mình đang ở giữa một hệ sinh thái tiền điện tử và fintech ngày càng được kết nối với nhau. Do đó, đã nảy sinh những lo ngại về việc duy trì cam kết của hệ tư tưởng tiền điện tử đối với tính ẩn danh và quyền riêng tư của người dùng.
Dự án tiền điện tử Worldcoin đầy tham vọng gần đây nhằm mục đích tạo ra một hệ thống nhận dạng kỹ thuật số toàn cầu cho người dùng. Dự án tiền điện tử mới và 'gây tranh cãi' sử dụng bằng chứng không có kiến thức để bảo vệ quyền riêng tư trong khi xác minh người dùng, khiếu nại và giao dịch.
Bằng chứng kiến thức Zero là gì
Bằng chứng không có kiến thức đại diện cho một kỹ thuật mã hóa trong đó không có thông tin nào được tiết lộ trong quá trình giao dịch ngoại trừ việc trao đổi một số giá trị mà cả người chứng minh và người xác minh đều biết, hai đầu của quy trình.
Bằng chứng không có kiến thức là một cách chứng minh liệu một tuyên bố cụ thể có đúng hay không mà không tiết lộ nó. Ở đây, 'người chứng minh' là bên đang cố gắng thiết lập một tuyên bố, trong khi 'người xác minh' chịu trách nhiệm xác thực tuyên bố đó.
Nói một cách đơn giản hơn, bằng chứng không có kiến thức (ZKP) cho phép một bên chứng minh với bên khác rằng họ biết điều gì đó mà không cần chia sẻ thông tin với bên khác để chứng minh kiến thức của mình.
ĐỌC THÊM: Tầm nhìn phi tập trung: Ethereum ủng hộ công nghệ Zero Knowledge
Lịch sử của Zero Knowledge Proofs trong Blockchain
Zero Knowledge Proofs bắt đầu vào năm 1985 khi các nhà nghiên cứu của MIT công bố Sự phức tạp về kiến thức của các hệ thống chứng minh tương tác. Bài viết nêu ra các khái niệm thiết yếu, bao gồm hệ thống phân cấp cho bằng chứng tương tác (IP). Ngoài ra, bài viết còn đưa ra ý tưởng về độ phức tạp của kiến thức, định lượng số lượng bằng chứng được truyền từ người chứng minh đến người xác minh. Bài viết trình bày cách xây dựng ZKP cho bất kỳ tập NP nào với bất kỳ sơ đồ cam kết nào, thiết lập khả năng ứng dụng các phát hiện của các nhà nghiên cứu.
Một lần nữa hợp tác vào năm 1989, Goldwasser, Micali và Rackoff đã xuất bản cuốn The Knowledge Complexity of Interactive Proof Systems. Bài viết này đã phát triển khái niệm về độ phức tạp của kiến thức, đánh giá lượng thông tin mà một người chứng minh phải có để thuyết phục người xác minh tính hợp lệ của một tuyên bố. Các tác giả đã chứng minh rằng bằng chứng không có kiến thức có thể giúp giảm độ phức tạp của thông tin trong các hệ thống bằng chứng tương tác.
Năm 1993, các nhà nghiên cứu từ Đại học Chicago và Budapest đã xuất bản Trò chơi Arthur-Merlin: Hệ thống chứng minh ngẫu nhiên và phân cấp lớp phức tạps, trong đó họ đưa ra khái niệm chứng minh ngẫu nhiên kết hợp lý thuyết chứng minh không có kiến thức với lý thuyết chứng minh thông thường. Họ sử dụng một trò chơi tổ hợp trong đó một người tham gia (Arthur) thực hiện các chuyển động tùy ý và người còn lại (Merlin) thực hiện các bước di chuyển tối ưu.
Vào năm 2013, Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer và Madars Virza đã viết Kiến thức không tương tác ngắn gọn cho Kiến trúc von Neumann. Bài viết này giới thiệu ZK-SNARKS hoặc bằng chứng ngắn gọn không có kiến thức không tương tác. Đây là một dạng bằng chứng không có kiến thức có thể kiểm chứng được với nguồn lực tính toán hạn chế. Các tác giả đã chứng minh rằng hệ thống của họ có thể xác nhận tính chính xác của các phép tính một cách riêng tư và an toàn.
Các tác giả của ZK-SNARK đã phát hành tính toàn vẹn tính toán bảo mật sau lượng tử, có thể mở rộng và minh bạch vào năm 2018. ZK-STARK là một hệ thống chứng minh Zero Knowledge cung cấp các đảm bảo bảo mật mạnh mẽ trong khi vẫn có khả năng mở rộng và minh bạch cao.
Các hệ thống chứng minh Zero Knowledge hiện tại thường gặp vấn đề về khả năng mở rộng hoặc yêu cầu cấu hình đáng tin cậy, khiến chúng dễ bị tấn công. Vì vậy, họ đã giới thiệu ZK-STARK, dựa trên cấu trúc toán học mới được gọi là hệ thống ràng buộc đa thức (PCS). PCS đại diện cho một cấu trúc phương trình đa thức được sử dụng để giải quyết các vấn đề tính toán phức tạp.
Nhiều bài báo khác đã được chứng minh là có ý nghĩa quan trọng trong lịch sử của Zero Knowledge Proofs, nhưng những bài báo được đề cập ở trên đã đóng một vai trò quan trọng. Các thế hệ máy bỏ phiếu điện tử (EVM) dựa trên Lớp 2 (L2) và ZK gần đây đã tạo ra một khung trống để áp dụng những cải tiến này vào việc mở rộng quy mô thời gian chạy blockchain.
Các loại bằng chứng không có kiến thức
Có hai loại ZKP cơ bản như sau:
- Bằng chứng kiến thức không tương tác: Trong ZKP tương tác, người xác minh thách thức người chứng minh trả lời những thách thức này cho đến khi người xác minh bị thuyết phục. Họ phải đồng thời trực tuyến và người chứng minh phải hoàn thành một loạt hành động để thuyết phục người xác minh về một thực tế cụ thể.
- Bằng chứng kiến thức không tương tác (NIZKP): Bằng chứng không có kiến thức không tương tác không yêu cầu quá trình tương tác giữa người chứng minh và người xác minh. Người chứng minh cung cấp bằng chứng cho người xác minh, với việc xác minh bằng chứng chỉ diễn ra một lần bất kỳ lúc nào. NIZKP có thể hiệu quả và thuận tiện hơn IZKP vì nó không yêu cầu người chứng minh và người xác minh phải trực tuyến. Tuy nhiên, đòi hỏi nhiều sức mạnh tính toán hơn so với Bằng chứng kiến thức tương tác.
Để hoàn thành vai trò của quy trình xác minh hiệu quả cũng như bảo vệ dữ liệu, bằng chứng không có kiến thức phải:
- Hoàn thành: Người xác minh sẽ chấp nhận bằng chứng nếu yêu cầu bồi thường hợp lệ và cả hai bên đều tuân theo giao thức.
- âm thanh: Nếu tuyên bố là sai thì việc thuyết phục người xác minh rằng tuyên bố đó là đúng là gần như không thể.
- Không có kiến thức: Người xác minh không được biết hoặc phát hiện được thông tin nào ngoại trừ tính xác thực của tuyên bố.
Các yếu tố của Bằng chứng không có kiến thức
Ở dạng cơ bản, bằng chứng không có kiến thức có ba yếu tố:
- Chứng kiến: Với bằng chứng không có kiến thức, người chứng minh muốn chứng minh kiến thức về một số thông tin ẩn giấu. Thông tin bí mật là “nhân chứng” cho bằng chứng và kiến thức giả định của người chứng minh về nhân chứng sẽ thiết lập một bộ câu hỏi mà chỉ một bên có kiến thức về thông tin mới có thể trả lời. Do đó, người chứng minh bắt đầu quá trình chứng minh bằng cách chọn ngẫu nhiên một câu hỏi, tính toán câu trả lời và gửi cho người xác minh.
- Thách thức: Người xác minh chọn ngẫu nhiên một câu hỏi khác từ bộ câu hỏi và yêu cầu người xác minh trả lời câu hỏi đó.
- Phản ứng: Người chứng minh chấp nhận câu hỏi, tính toán câu trả lời và trả lại cho người xác minh. Phản hồi của người chứng minh cho phép người xác minh kiểm tra xem người xác minh có thể tiếp cận nhân chứng hay không. Người xác minh chọn nhiều câu hỏi hơn để hỏi để đảm bảo người chứng minh không đoán mò và tình cờ nhận được câu trả lời đúng. Bằng cách lặp lại sự tương tác này nhiều lần, khả năng người chứng minh giả mạo kiến thức của nhân chứng giảm đáng kể đến mức người xác minh hài lòng.
Áp dụng Bằng chứng không có kiến thức trong Blockchain
Tối ưu hóa hiệu suất
Mã ứng dụng được thực thi ngoài chuỗi hoặc bởi một nút duy nhất trên mạng blockchain và chỉ bằng chứng về việc thực thi chính xác của nó được đăng lên Blockchain để các bên khác xác minh tính chính xác của nó. Một ví dụ là ZK Rollups, trong đó các giao dịch được thực hiện ngoài chuỗi và bản tóm tắt tất cả các giao dịch được gửi trên chuỗi.
Giao dịch riêng tư trong Blockchain
Dữ liệu giao dịch được mã hóa và bằng chứng được đăng để chứng minh rằng nó đã được tính toán chính xác. ZKP cũng được áp dụng trong các giao dịch riêng tư không tiết lộ dữ liệu tiền tệ cũng như thông tin người nhận và người gửi. Một ví dụ là Tornado Cash, một dịch vụ phi tập trung, không giám sát cho phép người dùng thực hiện các giao dịch riêng tư trên Ethereum.
Quyền riêng tư và bảo mật dữ liệu
Các tổ chức kiểm soát dữ liệu nhạy cảm, chẳng hạn như ngân hàng và bệnh viện, phải giữ cho chúng không bị bên thứ ba truy cập. ZKP và Blockchain cùng nhau có thể khiến việc truy cập dữ liệu không thể thực hiện được. ZKP có thể giúp thêm nhiều lớp bảo mật vào tệp và thông tin đăng nhập. Do đó, ZKP có thể gây trở ngại đáng chú ý cho tin tặc hoặc kẻ thao túng trong việc thay đổi và truy xuất dữ liệu.
Chuyển giao giao dịch blockchain riêng tư:
Mối quan tâm đáng chú ý nhất trong các giao dịch blockchain riêng tư là có nhiều lỗ hổng rõ ràng trong các quy trình thông thường. Việc tích hợp hiệu quả ZKP với các giao dịch blockchain riêng tư có thể tạo ra một quy trình chống hacker mạnh mẽ.
Sứ giả trên Blockchain
Mặc dù các ứng dụng nhắn tin ngày nay giữ lời hứa về mã hóa, nhưng Blockchain không được mã hóa có thể trở thành xu hướng lớn tiếp theo trong thế giới công nghệ. Với sự đảm bảo về một giải pháp mạnh mẽ nhưng không được mã hóa, ZKP và Blockchain có thể cùng tạo ra một nền tảng nhắn tin giá trị gia tăng được bảo mật cho tất cả mọi người.
Bằng chứng không có kiến thức có tiềm năng lớn trong việc tiết kiệm chi phí và bảo vệ quyền riêng tư của người dùng trong thế giới blockchain và tiền điện tử. Hơn nữa, khái niệm này rất dễ sử dụng và các công nghệ hỗ trợ ZKP cũng có hiệu quả tuyệt vời. Bằng cách tận dụng ZKP thế hệ mới nhất, người dùng có thể được hưởng lợi rất nhiều mà không phải tốn nhiều tiền.
ĐỌC THÊM: Cơ chế đồng thuận trong thế giới blockchain và tầm quan trọng của chúng
- Phân phối nội dung và PR được hỗ trợ bởi SEO. Được khuếch đại ngay hôm nay.
- PlatoData.Network Vertical Generative Ai. Trao quyền cho chính mình. Truy cập Tại đây.
- PlatoAiStream. Thông minh Web3. Kiến thức khuếch đại. Truy cập Tại đây.
- Trung tâmESG. Ô tô / Xe điện, Than đá, công nghệ sạch, Năng lượng, Môi trường Hệ mặt trời, Quản lý chất thải. Truy cập Tại đây.
- PlatoSức khỏe. Tình báo thử nghiệm lâm sàng và công nghệ sinh học. Truy cập Tại đây.
- ChartPrime. Nâng cao trò chơi giao dịch của bạn với ChartPrime. Truy cập Tại đây.
- BlockOffsets. Hiện đại hóa quyền sở hữu bù đắp môi trường. Truy cập Tại đây.
- nguồn: https://web3africa.news/2023/08/14/industry-talk/zero-knowledge-proofs-in-blockchain/
- : có
- :là
- :không phải
- :Ở đâu
- 1985
- 2013
- 2018
- a
- Giới thiệu
- ở trên
- Chấp nhận
- Chấp nhận
- truy cập
- truy cập
- hành động
- hoạt động
- thêm
- thêm vào
- Ngoài ra
- thăng tiến
- những người ủng hộ
- Liên kết
- Mục tiêu
- Tất cả
- Tất cả giao dịch
- cho phép
- Ngoài ra
- đầy tham vọng
- Giữa
- số lượng
- an
- và
- Ẩn danh
- Một
- trả lời
- câu trả lời
- bất kì
- Đăng Nhập
- Nộp đơn
- kiến trúc
- LÀ
- Arthur
- AS
- các khía cạnh
- giả sử
- At
- tấn công
- sự chú ý
- tác giả
- Ngân hàng
- dựa
- cơ bản
- BE
- trở nên
- được
- bắt đầu
- hưởng lợi
- giữa
- lớn
- mù quáng
- blockchain
- Mạng Blockchain
- hệ thống blockchain
- Công nghệ blockchain
- giao dịch blockchain
- cả hai
- cả hai phần
- Mang lại
- Budapest
- nhưng
- by
- tính toán
- tính
- CAN
- bị bắt
- tiền mặt
- thách thức
- cơ hội
- kiểm tra
- Chicago
- lựa chọn
- xin
- tuyên bố
- mã
- kết hợp
- kết hợp
- cam kết
- Chung
- so
- hoàn thành
- phức tạp
- phức tạp
- khả năng tính toán
- tính toán
- khái niệm
- quan niệm
- khái niệm
- Liên quan
- Mối quan tâm
- ngắn gọn
- Tiến hành
- Cấu hình
- hậu quả là
- xây dựng
- điều khiển
- Tiện lợi
- thông thường
- thuyết phục
- thuyết phục
- sửa chữa
- Chi phí
- có thể
- tạo
- tạo ra
- quan trọng
- Crypto
- cryptocurrencies
- mật mã
- mật mã
- Daniel
- dữ liệu
- Phân quyền
- cung cấp
- chứng minh
- phát triển
- kỹ thuật số
- do
- Giọt
- suốt trong
- dễ dàng
- hệ sinh thái
- Hiệu quả
- hiệu quả
- điện tử
- các yếu tố
- Eli Ben Sasson
- xuất hiện
- việc làm
- sử dụng
- cho phép
- mã hóa
- mã hóa
- kết thúc
- đảm bảo
- thiết yếu
- thành lập
- thành lập
- thành lập
- ethereum
- hiển nhiên
- ví dụ
- Trừ
- Thực thi
- thực hiện
- thực tế
- sai
- Các tập tin
- tài chính
- phát hiện
- tìm thấy
- fintech
- theo
- sau
- Trong
- Lực lượng
- hình thức
- Cựu
- lừa đảo
- Miễn phí
- thường xuyên
- từ
- Hoàn thành
- chức năng
- cơ bản
- trò chơi
- Trò chơi
- các thế hệ
- nhận được
- Toàn cầu
- kỹ thuật số toàn cầu
- tuyệt vời
- Bảo hành
- tin tặc
- có
- Xảy ra
- Có
- giúp đỡ
- tại đây
- Thành viên ẩn danh
- hệ thống cấp bậc
- cao
- lịch sử
- tổ chức
- bệnh viện
- Độ đáng tin của
- Tuy nhiên
- HTTPS
- cực kỳ
- ý tưởng
- Xác định
- if
- quan trọng
- không thể
- in
- Mặt khác
- Bao gồm
- lên
- thông tin
- đổi mới
- hội nhập
- tính toàn vẹn
- tương tác
- tương tác
- kết nối với nhau
- trong
- giới thiệu
- IP
- các vấn đề
- IT
- ITS
- chính nó
- tham gia
- Giữ
- Biết
- kiến thức
- nổi tiếng
- lớp
- tận dụng
- ánh đèn sân khấu
- Hạn chế
- sơ hở
- Máy móc
- thực hiện
- duy trì
- làm cho
- Làm
- nhiều
- toán học
- cơ chế
- đề cập
- sứ giả
- phương pháp
- MIT
- Tiền tệ
- tiền
- chi tiết
- hiệu quả hơn
- Hơn thế nữa
- hầu hết
- phong trào
- di chuyển
- nhiều
- nhiều
- phải
- cần thiết
- mạng
- Mới
- tiếp theo
- Không
- nút
- không giam giữ
- Nổi bật
- nhiều
- trở ngại
- of
- Cung cấp
- on
- trên chuỗi
- hàng loạt
- ONE
- những
- Trực tuyến
- có thể
- tối ưu
- or
- Nền tảng khác
- nêu
- Giấy
- giấy tờ
- riêng
- các bên tham gia
- bên
- máy tính
- Chọn
- nền tảng
- plato
- Thông tin dữ liệu Plato
- PlatoDữ liệu
- chơi
- Lời hứa
- Điểm
- dân số
- có
- khả năng
- đăng
- tiềm năng
- quyền lực
- trình bày
- trình bày
- bảo quản
- riêng tư
- riêng
- vấn đề
- thủ tục
- quá trình
- sản xuất
- dự án
- lời hứa
- hứa hẹn
- bằng chứng
- bằng chứng
- giao thức
- giao thức
- Chứng minh
- đã được chứng minh
- công bố
- định lượng
- số lượng, lượng
- câu hỏi
- Câu hỏi
- Ngẫu nhiên
- gần đây
- gần đây
- giảm
- về
- phát hành
- vẫn
- vẫn
- vẫn còn
- đại diện
- đại diện cho
- yêu cầu
- cần phải
- yêu cầu
- đòi hỏi
- nhà nghiên cứu
- Thông tin
- phản ứng
- chịu trách nhiệm
- kết quả
- Trả về
- tiết lộ
- Tiết lộ
- để lộ
- Phục Sinh
- mạnh mẽ
- Vai trò
- Rollup
- tiết kiệm
- khả năng mở rộng
- khả năng mở rộng
- mở rộng quy mô
- Đề án
- phạm vi
- Bí mật
- an toàn
- Bảo mật
- an toàn
- an ninh
- người gửi
- gửi
- nhạy cảm
- Loạt Sách
- dịch vụ
- định
- chia sẻ
- nên
- có ý nghĩa
- đáng kể
- đơn giản
- đồng thời
- kể từ khi
- duy nhất
- giải pháp
- một số
- một cái gì đó
- riêng
- Chi
- tiêu chuẩn
- bắt đầu
- Tuyên bố
- cấu trúc
- trình
- như vậy
- TÓM TẮT
- hỗ trợ
- apt
- hệ thống
- hệ thống
- kỹ thuật
- công nghệ
- Công nghệ
- Công nghệ
- về
- hơn
- việc này
- Sản phẩm
- thông tin
- cung cấp their dịch
- Them
- lý thuyết
- Kia là
- họ
- điều
- của bên thứ ba
- điều này
- số ba
- Như vậy
- thời gian
- thời gian
- đến
- bên nhau
- cơn lốc xoáy
- Tiền mặt lốc xoáy
- giao dịch
- Giao dịch
- chuyển
- minh bạch
- đúng
- đáng tin cậy
- Sự thật
- hai
- loại
- Các trường Đại học
- cho đến khi
- sử dụng
- đã sử dụng
- người sử dang
- Người sử dụng
- HIỆU LỰC
- xác nhận
- giá trị
- có thể kiểm chứng
- Xác minh
- xác minh
- xác minh
- tầm nhìn
- của
- Bỏ phiếu
- muốn
- là
- Đường..
- khi nào
- liệu
- cái nào
- trong khi
- CHÚNG TÔI LÀ
- sẽ
- với
- không có
- nhân chứng
- từ
- thế giới
- đã viết
- nhưng
- zephyrnet
- không
- không có kiến thức
- bằng chứng không kiến thức
- bằng chứng không kiến thức
- ZK
- Dựa trên ZK
- zk-SNARK