CRS (Chuỗi tham chiếu chung)

CRS (Chuỗi tham chiếu chung) là gì?

CRS là viết tắt của Common Reference String (Chuỗi tham chiếu chung), một tập hợp các tham số mật mã công khai được chia sẻ và sử dụng bởi hệ thống bằng chứng không kiến thức.

Trong tiền mã hóa, CRS thường được đề cập liên quan đến zk-SNARK, giao thức bảo mật, bằng chứng hợp lệ, zk-rollup, cam kết đa thức và các hệ thống mở rộng blockchain.

CRS tạo nền tảng chung cho bên chứng minh và bên xác minh để tạo và kiểm tra bằng chứng mà không cần bên chứng minh tiết lộ thông tin riêng tư.

Bên chứng minh dùng CRS để tạo bằng chứng, còn bên xác minh dùng cùng CRS để kiểm tra tính hợp lệ của bằng chứng.

Hướng dẫn về bằng chứng không kiến thức trên ethereum.org giải thích rằng các tham số công khai được sử dụng trong một số hệ thống không kiến thức được gọi chung là Common Reference String.

CRS không phải mật khẩu, khóa riêng tư, cụm từ khôi phục ví hay bí mật của người dùng.

Thông thường, CRS là thông tin công khai, nhưng cách tạo ra nó có thể cực kỳ nhạy cảm.

Nếu CRS được tạo trung thực và dữ liệu bí mật dùng trong quá trình thiết lập bị hủy, hệ thống bằng chứng có thể hoạt động như dự kiến.

Nếu CRS được tạo không trung thực hoặc dữ liệu bí mật trong quá trình thiết lập vẫn được giữ lại, một số hệ thống bằng chứng có thể cho phép tạo bằng chứng giả.

Đó là lý do bảo mật CRS là một trong những giả định về độ tin cậy quan trọng nhất trong nhiều hệ thống không kiến thức được sử dụng trong crypto.

Tại sao CRS quan trọng trong crypto?

CRS quan trọng vì bằng chứng không kiến thức hiện là công nghệ cốt lõi trong bảo mật blockchain, mở rộng quy mô, danh tính và tính toán có thể xác minh.

Bằng chứng không kiến thức cho phép một người chứng minh một mệnh đề là đúng mà không tiết lộ dữ liệu ẩn đứng sau mệnh đề đó.

Trong crypto, điều này có thể là chứng minh giao dịch riêng tư hợp lệ, chứng minh một lô giao dịch off-chain được tính toán chính xác hoặc chứng minh người dùng đáp ứng quy tắc mà không tiết lộ toàn bộ dữ liệu cá nhân.

Nhiều hệ thống zk-SNARK hiệu quả cần có tham số công khai trước khi tạo và xác minh bằng chứng.

Những tham số công khai đó là CRS hoặc một cấu trúc có liên quan chặt chẽ như Structured Reference String.

Thảo luận của ZKProof về các buổi thiết lập giải thích rằng zk-SNARK dựa vào CRS làm tham số công khai cho quá trình tạo và xác minh bằng chứng.

Điều này khiến chất lượng CRS trở nên quan trọng đối với cả nhà phát triển lẫn người dùng.

Nhà phát triển cần biết CRS có phù hợp với mạch, hệ thống bằng chứng và mô hình bảo mật hay không.

Người dùng cần biết giao thức dựa vào thiết lập đáng tin cậy, thiết lập phổ quát, buổi thiết lập có thể cập nhật hay hệ thống bằng chứng minh bạch không cần thiết lập đáng tin cậy.

Với nhà đầu tư và trader crypto, CRS có vẻ là khái niệm kỹ thuật, nhưng nó có thể ảnh hưởng đến độ tin cậy của privacy coin, zk-rollup, bridge, hệ thống bằng chứng và ứng dụng token hóa.

CRS hoạt động như thế nào?

CRS hoạt động bằng cách cung cấp cùng một dữ liệu tham chiếu công khai cho mọi người tham gia hệ thống bằng chứng.

Bên chứng minh dùng dữ liệu tham chiếu này để chuyển một witness riêng tư và một mệnh đề công khai thành bằng chứng gọn nhẹ.

Bên xác minh dùng dữ liệu tham chiếu đó để kiểm tra xem bằng chứng có được tạo theo quy tắc của hệ thống hay không.

Mệnh đề công khai là nội dung cần xác minh.

Witness riêng tư là thông tin ẩn khiến mệnh đề trở thành đúng.

Ví dụ: người dùng có thể chứng minh một giao dịch tuân theo quy tắc giao thức mà không tiết lộ toàn bộ chi tiết giao dịch riêng tư.

CRS giúp hệ thống bằng chứng kết nối mệnh đề toán học, witness riêng tư và thuật toán xác minh.

Trong nhiều hệ thống zk-SNARK, CRS được tạo trước khi người dùng thông thường tạo bằng chứng.

Bước thiết lập này có thể dành riêng cho một mạch hoặc đủ rộng để hỗ trợ nhiều mạch.

Chi tiết cụ thể phụ thuộc vào hệ thống bằng chứng, giả định mật mã và thiết kế triển khai.

CRS cần được tạo, lưu trữ, công bố và xác minh theo cách giảm khả năng bị thao túng ngầm.

CRS, SRS và tham số công khai

CRS thường được dùng như thuật ngữ bao quát cho dữ liệu tham chiếu công khai của một hệ thống bằng chứng.

SRS là viết tắt của Structured Reference String, thường chỉ chuỗi tham chiếu có cấu trúc đại số đặc biệt.

Tham số công khai là cụm từ tổng quát hơn, có thể bao gồm CRS, SRS, khóa tạo bằng chứng, khóa xác minh và các đầu ra khác của quá trình thiết lập.

Trong các cuộc thảo luận crypto thông thường, đôi khi người ta dùng CRS và SRS như thể chúng có nghĩa giống nhau.

Trong tài liệu kỹ thuật, SRS thường là một loại CRS cụ thể được một số SNARK hoặc lược đồ cam kết đa thức sử dụng.

Hướng dẫn của ZKDocs về cam kết đa thức KZG mô tả các tham số công khai được tạo trước cho cam kết KZG và lưu ý rằng chúng đôi khi được gọi là Structured Reference String.

Sự khác biệt này quan trọng vì không phải hệ thống bằng chứng nào cũng dùng cùng một loại dữ liệu thiết lập.

Một số hệ thống cần CRS dành riêng cho mạch.

Một số hệ thống dùng SRS phổ quát có thể hỗ trợ nhiều mạch đến một kích thước xác định.

Một số hệ thống minh bạch và hoàn toàn không cần buổi thiết lập đáng tin cậy.

Nhà phát triển cẩn trọng luôn cần kiểm tra dự án muốn nói gì khi dùng các thuật ngữ CRS, SRS, tham số thiết lập, khóa tạo bằng chứng và khóa xác minh.

Thiết lập đáng tin cậy và CRS

Thiết lập đáng tin cậy là quy trình được dùng để tạo CRS cho một số hệ thống bằng chứng không kiến thức.

Từ “đáng tin cậy” được dùng vì người tham gia phải tin rằng quá trình thiết lập được thực hiện đúng và mọi dữ liệu ngẫu nhiên bí mật đều đã bị hủy.

Dữ liệu bí mật trong quá trình thiết lập này thường được gọi là toxic waste.

Nếu toxic waste vẫn nằm trong tay kẻ tấn công, trong một số hệ thống, kẻ đó có thể tạo bằng chứng sai.

Điều này không có nghĩa mọi CRS đều không an toàn.

Điều đó có nghĩa là tính bảo mật của một số hệ thống dựa trên CRS phụ thuộc vào độ an toàn của quy trình thiết lập.

Một bên có thể tự thực hiện thiết lập đáng tin cậy, nhưng điều đó tạo ra vấn đề lớn về độ tin cậy.

Các hệ thống hiện đại thường ưu tiên buổi thiết lập nhiều bên vì cách này giảm sự phụ thuộc vào một tác nhân duy nhất.

Trong nhiều buổi thiết lập nhiều bên, hệ thống vẫn có thể an toàn nếu ít nhất một người tham gia trung thực đóng góp dữ liệu ngẫu nhiên và hủy phần đóng góp bí mật của mình.

Đó là lý do các buổi thiết lập công khai thường hướng đến việc tối đa hóa số người tham gia, tính minh bạch, khả năng tái lập và xác minh độc lập.

Đối với người dùng crypto, câu hỏi chính không chỉ là CRS có tồn tại hay không, mà còn là CRS được tạo ra như thế nào.

Buổi thiết lập tính toán đa bên

Buổi thiết lập tính toán đa bên là quy trình thiết lập trong đó nhiều người tham gia độc lập đóng góp dữ liệu ngẫu nhiên để tạo CRS.

Mục tiêu là tránh phải tin tưởng một cá nhân, công ty, nhóm validator hoặc đội ngũ phát triển duy nhất nắm giữ toàn bộ bí mật thiết lập.

Mỗi người tham gia bổ sung entropy vào buổi thiết lập rồi hủy phần đóng góp riêng tư của mình.

Trong nhiều thiết kế buổi thiết lập, CRS cuối cùng vẫn có thể an toàn nếu ít nhất một người tham gia hành động trung thực.

Mô hình này thường được sử dụng khi hệ thống bằng chứng cần thiết lập đáng tin cậy nhưng cộng đồng muốn giảm mức độ tin tưởng vào bất kỳ bên đơn lẻ nào.

Buổi thiết lập KZG của Ethereum là ví dụ crypto nổi tiếng về một sự kiện công khai dùng để tạo dữ liệu thiết lập cho các cam kết KZG.

Bài tổng kết buổi thiết lập KZG của Ethereum Foundation mô tả đây là quy trình công khai hỗ trợ nền tảng mật mã cho EIP-4844.

Buổi thiết lập nên công bố đủ thông tin để người khác kiểm tra quy trình.

Thiết kế buổi thiết lập tốt cũng bao gồm biện pháp chống lại đóng góp độc hại, dữ liệu ngẫu nhiên yếu, phần mềm bị xâm phạm và rủi ro điều phối tập trung.

Buổi thiết lập vững chắc không khiến hệ thống hết rủi ro, nhưng có thể giảm mức độ tin cậy cần thiết đối với CRS.

CRS và zk-SNARK

zk-SNARK là viết tắt của Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (Lập luận tri thức không tương tác, gọn nhẹ và không kiến thức).

Nhiều hệ thống zk-SNARK có tốc độ xác minh nhanh và tạo bằng chứng nhỏ, khiến chúng hữu ích cho blockchain.

Bằng chứng nhỏ quan trọng vì chi phí lưu trữ và xác minh trên blockchain có thể cao.

Bằng chứng không tương tác quan trọng vì bên chứng minh có thể tạo bằng chứng một lần rồi công bố để bất kỳ ai cũng xác minh sau đó.

Trong nhiều cấu trúc SNARK, CRS giúp hiện thực hóa mô hình không tương tác này.

Nếu không có tham số thiết lập phù hợp, bên chứng minh và bên xác minh có thể không có chung tham chiếu toán học cần thiết để tạo và xác thực bằng chứng.

Các họ SNARK khác nhau xử lý yêu cầu về CRS theo những cách khác nhau.

Một số hệ thống cũ cần thiết lập đáng tin cậy riêng cho từng mạch.

Một số hệ thống mới hơn dùng mô hình thiết lập phổ quát hoặc có thể cập nhật.

Một số hệ thống bằng chứng giảm hoặc loại bỏ nhu cầu thiết lập đáng tin cậy bằng cách dùng thiết kế mật mã khác.

Vì vậy, một dự án crypto không nên chỉ nói rằng mình sử dụng zk-SNARK rồi dừng lại ở đó.

Dự án nên giải thích mô hình thiết lập, loại CRS, quy trình kiểm toán và lộ trình nâng cấp.

CRS và zk-rollup

zk-rollup là hệ thống mở rộng blockchain dùng bằng chứng hợp lệ để chứng minh các lô giao dịch off-chain đã được xử lý chính xác.

Tài liệu về zk-rollup trên ethereum.org giải thích rằng CRS có thể cần thiết cho giao thức ZK-SNARK vì nó cung cấp tham số công khai để tạo và xác minh bằng chứng hợp lệ.

Trong zk-rollup, bên chứng minh tạo một bằng chứng cho nhiều giao dịch cùng lúc.

Blockchain cơ sở xác minh bằng chứng thay vì thực thi lại từng giao dịch trong lô.

Điều này có thể giảm lượng dữ liệu và năng lực tính toán cần thiết trên Layer 1.

Nếu rollup sử dụng hệ thống bằng chứng dựa trên CRS, CRS trở thành một phần trong câu chuyện về độ tin cậy và bảo mật của rollup.

Người dùng nên tìm hiểu rollup có sử dụng thiết lập đáng tin cậy hay không, thiết lập có dành riêng cho mạch không và các nâng cấp trong tương lai có cần buổi thiết lập mới hay không.

CRS không tốt hoặc bị xâm phạm có thể làm suy yếu hệ thống bằng chứng hợp lệ.

Quy trình thiết lập vững chắc có thể giúp củng cố niềm tin rằng việc giả mạo bằng chứng của rollup là rất khó.

Vì vậy, thiết kế CRS không chỉ là chủ đề học thuật vì nó có thể ảnh hưởng đến tiền thật của người dùng trong các hệ thống mở rộng.

CRS và cam kết KZG

Cam kết KZG là một loại lược đồ cam kết đa thức được sử dụng trong nghiên cứu và triển khai mở rộng blockchain hiện đại.

Cam kết đa thức cho phép một bên cam kết với một đa thức rồi sau đó chứng minh các mệnh đề về giá trị của đa thức mà không tiết lộ toàn bộ đa thức.

Điều này hữu ích trong tính khả dụng của dữ liệu, mở rộng rollup và hệ thống bằng chứng vì cho phép xác minh gọn nhẹ các cấu trúc dữ liệu lớn.

EIP-4844 giới thiệu các giao dịch mang blob sử dụng cam kết KZG và bằng chứng KZG như một phần trong lộ trình mở rộng của Ethereum.

Đặc tả EIP-4844 mô tả giao dịch blob và việc xác minh bằng chứng KZG trong thiết kế giao thức.

Cam kết KZG dựa vào dữ liệu thiết lập có cấu trúc.

Dữ liệu này thường được gọi là SRS và có thể hiểu là một dạng CRS chuyên biệt.

Tính bảo mật của hệ thống dùng KZG phụ thuộc vào việc hủy dữ liệu ngẫu nhiên bí mật trong quá trình thiết lập.

Đó là lý do các buổi thiết lập KZG nhận được nhiều sự quan tâm trong lĩnh vực kỹ thuật crypto.

SRS KZG không chỉ là một tệp kỹ thuật vì nó có thể trở thành phần phụ thuộc mật mã dài hạn của các ứng dụng sử dụng nó.

CRS phổ quát và CRS dành riêng cho mạch

CRS dành riêng cho mạch được tạo cho một mạch hoặc phép tính cụ thể.

Nếu mạch thay đổi, dự án có thể cần thiết lập mới.

Điều này có thể gây bất tiện vì ứng dụng blockchain thường được nâng cấp theo thời gian.

CRS hoặc SRS phổ quát có thể hỗ trợ nhiều mạch đến một giới hạn nhất định về kích thước hoặc độ phức tạp.

Cách này có thể giúp việc phát triển dễ dàng hơn vì nhiều ứng dụng có thể dùng lại cùng dữ liệu thiết lập.

CRS có thể cập nhật cho phép người tham gia mới bổ sung dữ liệu ngẫu nhiên sau lần thiết lập ban đầu.

Cách này có thể tăng độ tin cậy vì hệ thống tiếp tục nhận các đóng góp mới theo thời gian.

Thiết kế phổ quát và có thể cập nhật trở nên quan trọng vì giúp giảm gánh nặng vận hành do phải tổ chức các buổi thiết lập đáng tin cậy lặp đi lặp lại.

Tuy nhiên, “phổ quát” không có nghĩa là không giới hạn.

CRS phổ quát thường có giới hạn, giả định, đường cong được hỗ trợ, kích thước mạch tối đa và quy tắc triển khai.

Nhà phát triển vẫn cần kiểm tra CRS có phù hợp với ứng dụng đang xây dựng hay không.

Hệ thống bằng chứng minh bạch và CRS

Hệ thống bằng chứng minh bạch không cần buổi thiết lập đáng tin cậy.

Thay vào đó, hệ thống có thể dùng dữ liệu ngẫu nhiên công khai, hàm băm hoặc cấu trúc khác để tránh dữ liệu thiết lập bí mật.

zk-STARK thường được mô tả là minh bạch vì không cần CRS thiết lập đáng tin cậy theo cách mà nhiều zk-SNARK cần.

Đây là một lý do khiến hệ thống dựa trên STARK hấp dẫn đối với một số ứng dụng blockchain.

Đổi lại, hệ thống minh bạch có thể có kích thước bằng chứng, chi phí xác minh, chi phí tạo bằng chứng hoặc yêu cầu triển khai khác.

Hệ thống không cần thiết lập đáng tin cậy không tự động tốt hơn cho mọi trường hợp sử dụng.

SNARK dựa trên CRS có thể cung cấp bằng chứng nhỏ hơn và xác minh hiệu quả.

Hệ thống bằng chứng minh bạch có thể giảm mức độ tin cậy vào thiết lập nhưng chấp nhận các đánh đổi hiệu suất khác.

Thiết kế giao thức tốt cần so sánh giả định bảo mật, chi phí, hiệu suất, công cụ cho nhà phát triển, chất lượng kiểm toán và khả năng bảo trì dài hạn.

Đối với người dùng, ý chính rất đơn giản: một số hệ thống ZK cần CRS, còn một số được thiết kế để tránh CRS đáng tin cậy.

Rủi ro bảo mật của CRS

Rủi ro lớn nhất của CRS là quá trình thiết lập bị xâm phạm.

Nếu dữ liệu bí mật trong quá trình thiết lập không bị hủy, trong một số hệ thống, kẻ tấn công có thể giả mạo bằng chứng.

Rủi ro giả mạo có thể nghiêm trọng vì blockchain có thể chấp nhận một bằng chứng sai là hợp lệ.

Trong hệ thống thanh toán, điều này có thể đe dọa các quy tắc về số dư riêng tư hoặc tính hợp lệ của giao dịch được bảo vệ.

Trong rollup, điều này có thể đe dọa tính chính xác của quá trình chuyển trạng thái off-chain.

Trong bridge, điều này có thể đe dọa các xác nhận về tiền nạp, tiền rút hoặc trạng thái liên chuỗi.

Một rủi ro khác là sử dụng CRS không phù hợp với mạch hoặc hệ thống bằng chứng.

Sự không tương thích giữa CRS, mạch, khóa tạo bằng chứng, khóa xác minh và cách triển khai có thể phá vỡ bảo mật hoặc khiến việc xác minh bằng chứng thất bại.

Rủi ro thứ ba là thiếu minh bạch trong buổi thiết lập.

Nếu người dùng không thể xác minh cách CRS được tạo, họ phải tin vào những tuyên bố của đội ngũ dự án.

Rủi ro thứ tư là quy trình phần mềm kém an toàn trong quá trình thiết lập.

Phần mềm độc hại, dữ liệu ngẫu nhiên lỗi, cửa hậu ẩn hoặc quy trình xây dựng không an toàn có thể làm hỏng buổi thiết lập.

Vì vậy, bảo mật CRS vừa là vấn đề mật mã vừa là vấn đề an ninh vận hành.

Nhà phát triển sử dụng CRS như thế nào?

Nhà phát triển sử dụng CRS khi xây dựng ứng dụng cần tạo và xác minh bằng chứng.

CRS có thể được tải từ bản phát hành đáng tin cậy, tạo thông qua một buổi thiết lập, tích hợp trong phần mềm hoặc được tham chiếu trong đặc tả giao thức.

Phần mềm của bên chứng minh sử dụng dữ liệu thiết lập để tạo bằng chứng hợp lệ cho một mạch.

Phần mềm của bên xác minh dùng dữ liệu xác minh liên quan để kiểm tra bằng chứng một cách hiệu quả.

Trong hệ thống hợp đồng thông minh, khóa xác minh có thể được đưa vào hợp đồng xác minh on-chain.

Điều này cho phép blockchain xác minh tính hợp lệ của bằng chứng mà không cần xem witness riêng tư.

Nhà phát triển phải đảm bảo CRS đến từ đúng buổi thiết lập và khớp với chính xác phiên bản hệ thống bằng chứng.

Họ cũng nên kiểm tra hash, chữ ký, bản dựng có thể tái lập, tài liệu chính thức và báo cáo kiểm toán.

Sai lệch nhỏ trong thiết lập có thể khiến xác minh thất bại, lãng phí phí gas, làm ứng dụng hỏng hoặc suy yếu bảo mật.

Đó là lý do các hệ thống ZK dùng trong thực tế xem tệp thiết lập là hạ tầng trọng yếu.

CRS và privacy coin

Trong lịch sử, CRS có vai trò quan trọng đối với các hệ thống tiền mã hóa tập trung vào quyền riêng tư sử dụng zk-SNARK.

Giao thức bảo mật có thể dùng bằng chứng không kiến thức để chứng minh giao dịch được bảo vệ là hợp lệ mà không tiết lộ chi tiết nhạy cảm của giao dịch.

Các thiết kế zk-SNARK hiệu quả trước đây thường dựa vào buổi thiết lập đáng tin cậy.

Zcash là một trong những dự án tiền mã hóa nổi tiếng nhất đưa vấn đề thiết lập đáng tin cậy và việc loại bỏ thiết lập sau này thành chủ đề nghiên cứu quan trọng.

Giải thích của Zcash về zk-SNARK nêu rằng Zcash đã giới thiệu giao thức thanh toán được bảo vệ Orchard với Halo 2, đồng thời mô tả Halo là giải pháp loại bỏ thiết lập đáng tin cậy nhưng vẫn hỗ trợ thanh toán kỹ thuật số riêng tư.

Quá trình phát triển này cho thấy thiết kế CRS thay đổi theo thời gian.

Các hệ thống ban đầu có thể chấp nhận thiết lập đáng tin cậy để đạt được bằng chứng nhỏ và hiệu suất thực tiễn.

Các hệ thống sau này có thể chuyển sang thiết kế bằng chứng giảm mức độ tin cậy vào thiết lập hoặc loại bỏ yếu tố này khỏi các phần quan trọng của giao thức.

Bài học quan trọng với người dùng là cần đánh giá các tuyên bố về quyền riêng tư cùng với những giả định về thiết lập.

Giao thức bảo mật vững chắc cần giải thích cả những gì được che giấu lẫn các giả định về độ tin cậy mà giao thức yêu cầu.

CRS và nâng cấp blockchain

Nâng cấp blockchain có thể tạo ra thách thức về CRS vì mạch hoặc hệ thống bằng chứng mới có thể cần dữ liệu thiết lập mới.

Nếu giao thức thay đổi quy tắc giao dịch, thiết kế mở rộng hoặc hệ thống bằng chứng, CRS cũ có thể không còn đủ.

Thiết lập dành riêng cho mạch có thể cần buổi thiết lập mới khi nâng cấp lớn.

Thiết lập phổ quát có thể linh hoạt hơn nhưng vẫn có giới hạn.

Đội ngũ giao thức cần lên kế hoạch về cách đề xuất, kiểm toán, thực hiện, công bố và kích hoạt các thay đổi thiết lập.

Quản trị cũng quan trọng vì người dùng cần tin rằng bản nâng cấp không âm thầm đưa vào các giả định bằng chứng yếu hơn.

Quy trình nâng cấp tốt nên ghi lại thiết lập cũ, thiết lập mới, rủi ro di chuyển và các thay đổi trong xác minh.

Với hệ thống phi tập trung, việc cộng đồng đánh giá là rất quan trọng vì thay đổi CRS có thể ảnh hưởng đến mọi người dùng dựa vào tính hợp lệ của bằng chứng.

Điều này đặc biệt đúng với các hệ thống bảo vệ tiền nạp, tiền rút, số dư riêng tư hoặc state root của rollup.

Vì vậy, quản trị CRS là một phần trong bảo mật crypto dài hạn.

Cách đánh giá dự án crypto dựa trên CRS

Câu hỏi đầu tiên là dự án có sử dụng hệ thống bằng chứng dựa trên CRS hay không.

Câu hỏi thứ hai là CRS được tạo bởi một bên hay thông qua buổi thiết lập công khai nhiều bên.

Câu hỏi thứ ba là thiết lập dành riêng cho mạch, phổ quát hay có thể cập nhật.

Câu hỏi thứ tư là biên bản buổi thiết lập, phần mềm, tham số và hướng dẫn xác minh có được công khai hay không.

Câu hỏi thứ năm là các nhà nghiên cứu hoặc đơn vị kiểm toán độc lập đã đánh giá thiết lập và hệ thống bằng chứng hay chưa.

Câu hỏi thứ sáu là các nâng cấp trong tương lai có cần thiết lập mới hay không.

Câu hỏi thứ bảy là người dùng có thể đối chiếu hash tham số với bản phát hành chính thức hay không.

Câu hỏi thứ tám là dự án có giải thích hậu quả khi thiết lập bị xâm phạm hay không.

Câu hỏi thứ chín là hệ thống có kế hoạch ứng phó khẩn cấp với lỗ hổng trong hệ thống bằng chứng hay không.

Câu hỏi thứ mười là hệ thống bằng chứng có phù hợp với giá trị được giao thức bảo vệ hay không.

Những câu hỏi này giúp người dùng vượt qua các tuyên bố tiếp thị để đánh giá các giả định mật mã thực tế.

Những hiểu lầm phổ biến về CRS

Một hiểu lầm là CRS phải được giữ bí mật.

Trong hầu hết hệ thống bằng chứng, CRS được công khai; rủi ro nằm ở dữ liệu ngẫu nhiên bí mật dùng để tạo CRS, vốn phải bị hủy.

Một hiểu lầm khác là mọi hệ thống không kiến thức đều cần thiết lập đáng tin cậy.

Một số hệ thống bằng chứng minh bạch và không cần buổi thiết lập đáng tin cậy.

Hiểu lầm thứ ba là một CRS có thể dùng cho mọi ứng dụng.

CRS có thể gắn với hệ thống bằng chứng, đường cong, kích thước mạch hoặc thiết kế ứng dụng cụ thể.

Hiểu lầm thứ tư là thiết lập đáng tin cậy chắc chắn không an toàn.

Buổi thiết lập nhiều bên được thiết kế tốt có thể giảm yêu cầu về độ tin cậy nếu ít nhất một đóng góp trung thực vẫn nằm ngoài tầm biết của kẻ tấn công.

Hiểu lầm thứ năm là người dùng không cần quan tâm đến CRS vì đây chỉ là vấn đề của nhà phát triển.

Trên thực tế, CRS có thể ảnh hưởng đến độ an toàn của giao thức bảo mật, rollup, bridge hoặc ứng dụng dựa trên bằng chứng.

Câu hỏi thường gặp

CRS trong crypto có nghĩa là gì?

CRS là viết tắt của Common Reference String, tức dữ liệu tham chiếu công khai được một số hệ thống bằng chứng không kiến thức sử dụng để tạo và xác minh bằng chứng.

CRS có giống SRS không?

CRS là thuật ngữ rộng hơn, còn SRS thường là dạng CRS có cấu trúc được một số SNARK và lược đồ cam kết đa thức sử dụng.

Tại sao zk-SNARK cần CRS?

Nhiều zk-SNARK cần CRS để bên chứng minh và bên xác minh có thể dùng chung tham số công khai hỗ trợ việc tạo và xác minh bằng chứng không tương tác.

CRS có riêng tư không?

Không. CRS thường được công khai, nhưng dữ liệu ngẫu nhiên bí mật dùng để tạo CRS phải bị hủy trong các hệ thống có thiết lập đáng tin cậy.

Toxic waste trong thiết lập đáng tin cậy là gì?

Toxic waste là dữ liệu bí mật trong quá trình thiết lập, có thể cho phép tạo bằng chứng sai nếu bị kẻ tấn công giữ lại trong một số hệ thống bằng chứng.

Buổi thiết lập CRS là gì?

Buổi thiết lập CRS là quy trình thiết lập trong đó một hoặc nhiều người tham gia tạo chuỗi tham chiếu công khai cho hệ thống bằng chứng.

Tại sao cần buổi thiết lập nhiều bên?

Buổi thiết lập nhiều bên giúp giảm sự phụ thuộc vào một người tham gia đáng tin cậy duy nhất trong quá trình tạo CRS.

zk-STARK có cần CRS đáng tin cậy không?

zk-STARK thường được mô tả là hệ thống bằng chứng minh bạch vì không cần CRS thiết lập đáng tin cậy như nhiều hệ thống zk-SNARK.

CRS không tốt có thể khiến tiền crypto gặp rủi ro không?

Có. CRS bị xâm phạm có thể gây nguy hiểm nếu giao thức chấp nhận bằng chứng giả ảnh hưởng đến số dư, tiền rút, xác nhận của bridge hoặc trạng thái rollup.

Người dùng có thể kiểm tra các giả định về độ tin cậy của CRS bằng cách nào?

Người dùng có thể xem tài liệu dự án, biên bản buổi thiết lập, hash tham số, báo cáo kiểm toán, chi tiết hệ thống bằng chứng và quy trình nâng cấp.

Kết luận

CRS (Common Reference String) là khái niệm nền tảng trong mật mã không kiến thức và là vấn đề bảo mật quan trọng đối với các hệ thống crypto hiện đại.

CRS cung cấp tham số công khai dùng chung, cho phép bên chứng minh tạo bằng chứng và bên xác minh kiểm tra chúng.

Trong nhiều hệ thống zk-SNARK, CRS được tạo thông qua thiết lập đáng tin cậy, nghĩa là quy trình thiết lập phải được xử lý với mức độ bảo mật và minh bạch cao.

Nếu dữ liệu bí mật trong quá trình thiết lập bị hủy và buổi thiết lập được thiết kế tốt, hệ thống dựa trên CRS có thể hỗ trợ xác minh bằng chứng hiệu quả và gọn nhẹ.

Nếu dữ liệu bí mật trong quá trình thiết lập bị xâm phạm, một số hệ thống có thể dễ bị giả mạo bằng chứng.

Đó là lý do thiết kế CRS quan trọng đối với giao thức bảo mật, zk-rollup, cam kết KZG, bridge, hệ thống danh tính và các ứng dụng crypto khác dựa trên bằng chứng.

Điểm chính cần nhớ là CRS thường được công khai, nhưng cần hiểu rõ mức độ tin cậy trong quá trình tạo CRS.

Bất kỳ ai đánh giá một dự án crypto không kiến thức nên tìm hiểu cách CRS được tạo, thiết lập là đáng tin cậy hay minh bạch, thiết lập là phổ quát hay dành riêng cho mạch và các lần nâng cấp trong tương lai sẽ xử lý tham số bằng chứng như thế nào.