Lược đồ cam kết

Lược đồ cam kết trong crypto là gì?

Lược đồ cam kết là phương pháp mật mã cho phép một người cố định một giá trị nhưng giữ bí mật giá trị đó cho đến khi họ chọn tiết lộ sau này.Trong crypto, lược đồ cam kết thường được sử dụng khi blockchain, hợp đồng thông minh, ví hoặc hệ thống zero-knowledge cần chứng minh dữ liệu tồn tại ở một dạng nhất định mà chưa phải tiết lộ dữ liệu ngay lập tức.Cách dễ hiểu nhất để hình dung lược đồ cam kết là tưởng tượng bạn đặt một thông điệp bí mật vào chiếc hộp khóa kín.Người khác có thể nhìn thấy chiếc hộp đã khóa nhưng không thể đọc thông điệp bên trong.Sau đó, người tạo ra chiếc hộp có thể mở hộp và chứng minh rằng thông điệp bên trong chính là thông điệp đã được đặt vào đó từ trước.Ý tưởng này quan trọng vì nhiều hệ thống blockchain cần cả quyền riêng tư lẫn trách nhiệm giải trình.Người dùng có thể cần chứng minh một giao dịch tuân thủ quy tắc mà không tiết lộ toàn bộ chi tiết giao dịch.Giao thức có thể cần chứng minh dữ liệu đã được đưa vào một khối mà không buộc mọi người dùng phải tải xuống toàn bộ dữ liệu đó.Ứng dụng phi tập trung có thể cần chứng minh người dùng đã đưa ra lựa chọn trước thời hạn mà không tiết lộ lựa chọn trước giai đoạn công bố.Lược đồ cam kết hỗ trợ những mục tiêu này bằng cách kết hợp hai thuộc tính chính: tính che giấu và tính ràng buộc.Tính che giấu có nghĩa là cam kết không nên tiết lộ giá trị bí mật trước khi được mở.Tính ràng buộc có nghĩa là người tạo cam kết không thể thay đổi giá trị được che giấu sau khi cam kết đã được tạo.

Vì sao lược đồ cam kết quan trọng đối với tiền mã hóa?

Lược đồ cam kết là một phần trong nền tảng mật mã của nhiều hệ thống crypto tiên tiến.Lược đồ cam kết giúp blockchain hỗ trợ quyền riêng tư, khả năng mở rộng, thứ tự công bằng, hệ thống chứng minh, tính khả dụng của dữ liệu và quy trình hợp đồng thông minh an toàn.Nếu không có lược đồ cam kết, nhiều thiết kế crypto sẽ phải tiết lộ quá nhiều dữ liệu on-chain.Việc tiết lộ quá nhiều dữ liệu có thể ảnh hưởng đến quyền riêng tư của người dùng, làm tăng yêu cầu lưu trữ và khiến một số ứng dụng dễ bị thao túng hơn.Cam kết cho phép hệ thống công bố một giá trị mật mã ngắn thay vì toàn bộ dữ liệu được che giấu.Giá trị ngắn này có thể đóng vai trò như dấu vân tay của dữ liệu được che giấu.Bất kỳ ai cũng có thể lưu trữ và xác minh dấu vân tay này về sau, nhưng bản thân dấu vân tay không nên tiết lộ bí mật ban đầu.Thiết kế này đặc biệt hữu ích trên blockchain công khai vì các blockchain công khai mặc định có tính minh bạch.Tính minh bạch hữu ích cho khả năng kiểm toán, nhưng có thể gây ra vấn đề về quyền riêng tư khi người dùng cần bảo vệ số dư, chiến lược, giá đặt thầu, phiếu bầu, danh tính hoặc chi tiết giao dịch.Lược đồ cam kết giúp hệ thống crypto giữ kín dữ liệu quan trọng mà vẫn cho phép xác minh.

Các tài nguyên về mật mã tăng cường quyền riêng tư của NIST xếp lược đồ cam kết vào nhóm công cụ được sử dụng trong lĩnh vực này.

Điều này quan trọng với crypto vì mật mã tăng cường quyền riêng tư giúp người dùng chứng minh thông tin về dữ liệu mà không tiết lộ nhiều hơn mức cần thiết.

Lược đồ cam kết hoạt động như thế nào?

Lược đồ cam kết cơ bản có hai bước chính: cam kết và công bố.Ở bước cam kết, người dùng chọn một giá trị bí mật và tạo cam kết từ giá trị đó.Sau đó, cam kết được công bố, lưu trữ hoặc gửi cho một bên khác.Ở thời điểm này, người khác có thể thấy cam kết nhưng không được phép suy ra giá trị bí mật từ cam kết đó.Ở bước công bố, người dùng chia sẻ giá trị ban đầu cùng mọi dữ liệu mở bổ sung cần thiết để xác minh cam kết.Sau đó, những người khác kiểm tra xem giá trị được công bố có khớp với cam kết trước đó hay không.Nếu kiểm tra thành công, phần công bố được chấp nhận.Nếu kiểm tra thất bại, hệ thống từ chối phần công bố vì người dùng đang cố mở cam kết thành một giá trị khác.Diễn đạt đơn giản, cam kết dựa trên hash có thể được mô tả như sau: cam kết bằng hash của giá trị bí mật cộng với một số ngẫu nhiên.Số ngẫu nhiên này thường được gọi là nonce, salt, yếu tố che giấu hoặc giá trị ngẫu nhiên, tùy theo thiết kế.Số ngẫu nhiên rất quan trọng vì đôi khi có thể đoán được các giá trị đơn giản.Ví dụ, nếu giá trị bí mật chỉ là “có” hoặc “không”, ai đó có thể băm cả hai đáp án rồi so sánh với cam kết đã công bố.Thêm yếu tố ngẫu nhiên mạnh sẽ khiến việc đoán khó hơn nhiều.Khi người dùng công bố giá trị bí mật và số ngẫu nhiên, bất kỳ ai cũng có thể tính lại hash và kiểm tra xem kết quả có khớp với cam kết đã công bố hay không.

Hai thuộc tính chính: tính che giấu và tính ràng buộc

Tính che giấu có nghĩa là cam kết không nên làm lộ giá trị được che giấu trước giai đoạn công bố.Nếu cam kết có tính che giấu tốt, người quan sát không thể nhìn vào cam kết để biết dữ liệu được cam kết.Thuộc tính này hỗ trợ quyền riêng tư trong các ứng dụng crypto.Ví dụ, trader có thể muốn cam kết với một mức giá đặt thầu kín mà không tiết lộ giá đặt trước khi phiên đấu giá kết thúc.Người dùng ví có thể muốn chứng minh mình thuộc một nhóm mà không tiết lộ chính xác danh tính của mình trong nhóm đó.Giao thức có thể muốn chứng minh dữ liệu giao dịch đã được cam kết mà không đưa toàn bộ dữ liệu vào hợp đồng thông minh vĩnh viễn.Tính ràng buộc có nghĩa là không thể mở một cam kết thành hai giá trị khác nhau.Nếu cam kết có tính ràng buộc tốt, người tạo không thể cam kết với một giá trị rồi sau đó tiết lộ một giá trị khác cũng vượt qua bước xác minh.Thuộc tính này hỗ trợ tính công bằng và toàn vẹn.Ví dụ, người dùng trong hệ thống bỏ phiếu theo cơ chế cam kết-công bố không nên có khả năng thay đổi phiếu bầu sau khi biết người khác đã bỏ phiếu thế nào.Người tham gia quy trình tạo số ngẫu nhiên không nên có khả năng thay đổi seed đã cam kết sau khi biết seed của những người khác.Hệ thống chứng minh không nên cho phép bên chứng minh thay đổi dữ liệu được che giấu sau khi cam kết đã được chấp nhận.Lược đồ cam kết tốt được thiết kế để tính che giấu và tính ràng buộc hoạt động đồng thời.Nếu tính che giấu yếu, thông tin riêng tư có thể bị lộ.Nếu tính ràng buộc yếu, cam kết có thể không đáng tin cậy.

Lược đồ cam kết và hàm hash

Nhiều lược đồ cam kết đơn giản sử dụng hàm hash mật mã.Hàm hash mật mã nhận đầu vào và tạo ra đầu ra có kích thước cố định, trông giống dữ liệu ngẫu nhiên.Trong crypto, hàm hash được sử dụng rộng rãi cho tiêu đề khối, mã định danh giao dịch, cây Merkle, hệ thống địa chỉ và kiểm tra tính toàn vẹn dữ liệu.

Tiêu chuẩn hash bảo mật NIST FIPS 180-4 mô tả các thuật toán hash bảo mật được phê duyệt để tạo bản tóm lược thông điệp.

Đối với cam kết dựa trên hash, người dùng thường kết hợp dữ liệu bí mật với một giá trị ngẫu nhiên rồi băm dữ liệu đầu vào đã kết hợp.Hash thu được trở thành cam kết.Giá trị ngẫu nhiên giúp bảo vệ bí mật có entropy thấp trước việc đoán vét cạn.Entropy thấp nghĩa là bí mật chỉ có một số lượng nhỏ giá trị khả dĩ.Phiếu bầu được che giấu, một con số nhỏ hoặc cụm từ dễ đoán có thể có entropy thấp nếu không thêm yếu tố ngẫu nhiên.Cam kết dựa trên hash phổ biến vì đơn giản, nhanh và dễ xác minh.Tuy nhiên, chúng cần được thiết kế cẩn thận.Hệ thống cần xác định cách mã hóa giá trị, lượng dữ liệu ngẫu nhiên cần thiết, hàm hash được sử dụng và cách xác minh xử lý đầu vào không hợp lệ.Mã hóa không tốt có thể gây nhầm lẫn khi các đầu vào khác nhau lại tạo ra cùng một cách diễn giải thông điệp.Yếu tố ngẫu nhiên yếu có thể cho phép kẻ tấn công đoán giá trị được che giấu.Hàm hash lỗi thời có thể làm giảm mức độ bảo mật theo thời gian.

Lược đồ cam kết và bằng chứng zero-knowledge

Lược đồ cam kết có mối liên hệ chặt chẽ với bằng chứng zero-knowledge.Bằng chứng zero-knowledge cho phép một bên chứng minh một mệnh đề là đúng mà không tiết lộ thông tin riêng tư làm cơ sở cho mệnh đề đó.

Hướng dẫn của ethereum.org về bằng chứng zero-knowledge giải thích cách công nghệ zero-knowledge có thể xác minh phép tính và hỗ trợ khả năng mở rộng cũng như quyền riêng tư của blockchain.

Trong nhiều hệ thống zero-knowledge, cam kết được dùng để cố định dữ liệu witness riêng tư trước hoặc trong quá trình tạo bằng chứng.Witness là thông tin riêng tư cho phép chứng minh một mệnh đề.Ví dụ, người dùng có thể chứng minh mình biết khóa bí mật, sở hữu đủ tiền hoặc đáp ứng một quy tắc mà không phải tiết lộ khóa bí mật, số dư chính xác hoặc đường đi của giao dịch riêng tư.Cam kết cho phép hệ thống tham chiếu đến dữ liệu được che giấu theo một cách ổn định.Sau đó, bằng chứng cho thấy dữ liệu đã cam kết đáp ứng điều kiện bắt buộc.Nhờ vậy, có thể xác minh mà không cần tiết lộ toàn bộ thông tin.Trong crypto, mô hình này có thể hỗ trợ thanh toán riêng tư, xác nhận danh tính riêng tư, số dư được bảo vệ, giao dịch bảo mật và xác minh rollup.Cam kết không phải toàn bộ bằng chứng zero-knowledge, nhưng thường là một trong những thành phần nền tảng giúp tạo ra bằng chứng.

Lược đồ cam kết và cây Merkle

Cây Merkle là cấu trúc dữ liệu sử dụng hash để cam kết với nhiều phần dữ liệu cùng lúc.Hash ở đỉnh cây Merkle được gọi là Merkle root.Merkle root đóng vai trò như một cam kết đối với toàn bộ dữ liệu trong cây.Nếu chỉ một mục trong cây thay đổi, root cũng sẽ thay đổi.Điều này khiến cây Merkle hữu ích cho blockchain vì một khối có thể cam kết với nhiều giao dịch thông qua một root nhỏ gọn.Sau này, người dùng có thể chứng minh một giao dịch cụ thể nằm trong cây bằng cách cung cấp bằng chứng Merkle.Bên xác minh không cần tải xuống mọi giao dịch trong cây để kiểm tra bằng chứng đó.Điều này hỗ trợ xác minh hiệu quả.Cam kết Merkle phổ biến trong crypto vì đơn giản, minh bạch và tương thích với nhiều thiết kế blockchain.Chúng được sử dụng trong bằng chứng đưa giao dịch vào khối, cam kết trạng thái tài khoản, state root của rollup, xác minh bridge và bằng chứng thành viên chú trọng quyền riêng tư.Trong hệ thống bảo mật, Merkle root có thể cam kết với một tập hợp lớn các ghi chú, danh tính hoặc khoản nạp hợp lệ.Sau đó, người dùng có thể chứng minh mục của mình thuộc tập hợp mà không tiết lộ mọi chi tiết riêng tư.

Cam kết đa thức và khả năng mở rộng blockchain hiện đại

Cam kết đa thức là một loại lược đồ cam kết tiên tiến hơn.Lược đồ này cho phép bên chứng minh cam kết với một đa thức rồi về sau chứng minh đa thức có một giá trị nhất định tại một điểm nhất định.Khái niệm này có vẻ trừu tượng, nhưng rất hữu ích trong các hệ thống zero-knowledge và giải pháp mở rộng blockchain hiện đại.Nhiều hệ thống chứng minh chuyển phép tính thành các quan hệ đa thức.Nếu các quan hệ đa thức đó có thể được cam kết và kiểm tra hiệu quả, hệ thống có thể xác minh phép tính lớn bằng các bằng chứng nhỏ hơn.Cam kết KZG là một loại cam kết đa thức nổi tiếng được sử dụng trong nghiên cứu và thiết kế giao thức blockchain.

Đặc tả đồng thuận Ethereum về cam kết đa thức xác định các thao tác cam kết KZG được dùng trong đặc tả giao thức Deneb.

Đặc tả EIP-4844 sử dụng cam kết KZG cho blob, tức các đối tượng dữ liệu hỗ trợ rollup đăng dữ liệu hiệu quả hơn.

Đây là lý do chính khiến lược đồ cam kết quan trọng không chỉ đối với quyền riêng tư.Lược đồ cam kết còn giúp blockchain mở rộng bằng cách hỗ trợ xác minh hiệu quả hơn việc dữ liệu hoặc phép tính đã được xử lý chính xác.Blockchain không phải lúc nào cũng cần đưa mọi chi tiết trực tiếp vào lớp thực thi tốn kém nhất.Thay vào đó, blockchain có thể công bố các cam kết và bằng chứng để người dùng cũng như validator kiểm tra những tuyên bố quan trọng hiệu quả hơn.

Cam kết Pedersen trong crypto

Cam kết Pedersen là lược đồ cam kết dựa trên mật mã đường cong elliptic.Cam kết này thường được nhắc đến trong crypto vì có thể che giấu giá trị mà vẫn cho phép thực hiện các phép tính hữu ích trên số lượng đã cam kết.Một đặc điểm quan trọng của cam kết Pedersen là tính đồng cấu.Tính đồng cấu có nghĩa là đôi khi có thể kết hợp các cam kết sao cho kết quả tương ứng với phép toán trên các giá trị được che giấu.Ví dụ, có thể kết hợp hai cam kết cho các số lượng được che giấu để tạo thành một cam kết cho tổng của hai số lượng đó.Thuộc tính này hữu ích trong thiết kế giao dịch bảo mật.Hệ thống giao dịch bảo mật có thể cần chứng minh tổng đầu vào bằng tổng đầu ra mà không tiết lộ chính xác số lượng được chuyển.Cam kết kiểu Pedersen có thể giúp thực hiện điều này khi được kết hợp với bằng chứng phạm vi và các bước kiểm tra mật mã khác.Bằng chứng phạm vi được dùng để chứng minh một số được che giấu nằm trong một phạm vi hợp lệ.Điều này quan trọng vì hệ thống che giấu số lượng vẫn cần ngăn các giá trị không hợp lệ như số âm hoặc việc tạo token bất khả thi.Cam kết Pedersen có nhiều tính năng hữu ích, nhưng cần lựa chọn tham số cẩn thận và triển khai an toàn.Hệ thống đường cong elliptic cũng cần quy tắc an toàn để ánh xạ dữ liệu thành các điểm trên đường cong.

Tiêu chuẩn RFC 9380 về hash lên đường cong elliptic mô tả các phương pháp băm dữ liệu lên đường cong elliptic trong giao thức mật mã.

Lược đồ cam kết-công bố trong hợp đồng thông minh

Lược đồ cam kết-công bố là ứng dụng thực tiễn của lược đồ cam kết trong các ứng dụng blockchain.Lược đồ này thường gồm hai giai đoạn.Trong giai đoạn cam kết, người dùng gửi cam kết về lựa chọn của mình.Trong giai đoạn công bố, người dùng tiết lộ lựa chọn ban đầu và yếu tố ngẫu nhiên đã dùng để tạo cam kết.Hợp đồng thông minh kiểm tra xem mỗi nội dung công bố có khớp với cam kết trước đó hay không.Mô hình này có thể hạn chế hành vi thiếu công bằng trong trò chơi, bỏ phiếu, đấu giá, công cụ quản trị và hoạt động tạo số ngẫu nhiên.Ví dụ, một phiên đấu giá đặt giá kín có thể yêu cầu người tham gia cam kết với mức giá trước.Sau khi hết thời hạn cam kết, người tham gia công bố giá của mình.Điều này giúp ngăn người tham gia khác sao chép hoặc đặt giá nhỉnh hơn một chút so với mức giá đã hiển thị trong giai đoạn cam kết.Trò chơi blockchain có thể sử dụng cam kết-công bố để ngăn người chơi thay đổi nước đi sau khi thấy nước đi của người khác.Công cụ quản trị có thể dùng cam kết-công bố để hạn chế ảnh hưởng của các phiếu bầu sớm, dù cơ chế này không tự giải quyết mọi vấn đề quản trị.Thiết kế cam kết-công bố cần xử lý trường hợp người dùng cam kết nhưng từ chối công bố.Nhiều hệ thống sử dụng thời hạn, tiền đặt cọc, hình phạt hoặc quy tắc dự phòng để xử lý trường hợp không công bố.Lược đồ cam kết-công bố chỉ an toàn nếu lựa chọn được che giấu có đủ yếu tố ngẫu nhiên và quy tắc công bố được xác định rõ.

Lược đồ cam kết và tính khả dụng của dữ liệu

Tính khả dụng của dữ liệu nghĩa là dữ liệu cần thiết để xác minh hoặc tái tạo trạng thái blockchain thực sự có thể được người dùng hoặc validator truy cập.Lược đồ cam kết có thể giúp chứng minh dữ liệu gắn với một khối, lô giao dịch hoặc bản cập nhật rollup.Tuy nhiên, chỉ riêng cam kết không phải lúc nào cũng chứng minh rằng mọi người đều có thể tải xuống toàn bộ dữ liệu.Cam kết có thể chứng minh một phần dữ liệu khớp với một dấu vân tay nhất định.Cam kết không tự động đảm bảo công chúng có thể dễ dàng truy cập toàn bộ dữ liệu.Đó là lý do hệ thống bảo đảm tính khả dụng của dữ liệu thường kết hợp cam kết với lấy mẫu, mã hóa sửa lỗi, phân phối ngang hàng và quy tắc xác minh.Trong hệ thống rollup, cam kết có thể trỏ đến các lô giao dịch hoặc cập nhật trạng thái.Người dùng và validator sau đó có thể kiểm tra liệu dữ liệu đã cam kết có hỗ trợ quá trình chuyển trạng thái được tuyên bố hay không.Khi giải pháp mở rộng blockchain phát triển, việc phân biệt cam kết dữ liệu với tính khả dụng của dữ liệu trở nên rất quan trọng.Hệ thống có thể biết dữ liệu đã được cam kết, nhưng người dùng vẫn cần cách xác nhận rằng có thể truy xuất đủ dữ liệu đó.Hệ thống cam kết tiên tiến là một phần trong thiết kế mở rộng quy mô tổng thể này.

Ví dụ về lược đồ cam kết trong một phiên đấu giá crypto

Hãy tưởng tượng có ba người dùng muốn đấu giá một tài sản kỹ thuật số.Nếu mọi giá đặt đều được hiển thị ngay lập tức, những người đặt giá sau có thể có lợi thế không công bằng.Lược đồ cam kết có thể giúp phiên đấu giá công bằng hơn.Trong giai đoạn cam kết, mỗi người tham gia chọn một mức giá và một giá trị bí mật ngẫu nhiên.Mỗi người tham gia băm mức giá cùng với giá trị bí mật ngẫu nhiên đó.Mỗi người chỉ gửi cam kết thu được cho hợp đồng thông minh.Hợp đồng lưu trữ các cam kết nhưng chưa biết mức giá.Sau khi giai đoạn cam kết kết thúc, giai đoạn công bố bắt đầu.Mỗi người tham gia gửi mức giá ban đầu và giá trị bí mật ngẫu nhiên.Hợp đồng thông minh băm thông tin được công bố rồi so sánh với cam kết đã lưu.Nếu các giá trị khớp nhau, mức giá được xem là hợp lệ.Nếu các giá trị không khớp, mức giá bị từ chối.Quy trình này giúp chứng minh rằng mỗi người tham gia hợp lệ đã chọn mức giá trước giai đoạn công bố.Quy trình cũng giúp ngăn người tham gia thay đổi mức giá sau khi thấy giá của người khác được công bố.Ý tưởng tương tự có thể được dùng cho bỏ phiếu riêng tư, trò chơi blockchain, nước đi chiến lược kín, các vòng phân bổ token và một số giao thức tạo số ngẫu nhiên.

Các loại lược đồ cam kết phổ biến

Cam kết dựa trên hash sử dụng hàm hash mật mã để cam kết với một giá trị và yếu tố ngẫu nhiên.Loại này đơn giản và hữu ích cho nhiều hệ thống cam kết-công bố trong hợp đồng thông minh.Cam kết Pedersen sử dụng toán học đường cong elliptic và có thể hỗ trợ tính toán giá trị được che giấu trong một số thiết kế.Loại này quan trọng trong nghiên cứu giao dịch bảo mật và các hệ thống crypto chú trọng quyền riêng tư.Cam kết Merkle cam kết với nhiều giá trị bằng cách sử dụng cây hash.Loại này phổ biến trong blockchain vì hỗ trợ bằng chứng đưa dữ liệu vào một tập hợp một cách hiệu quả.Cam kết vector cam kết với một danh sách giá trị và cho phép tạo bằng chứng về những vị trí được chọn trong danh sách.Loại này có thể hỗ trợ xác minh gọn nhẹ khi hệ thống cần chứng minh thông tin về một phần trong tập dữ liệu lớn hơn.Cam kết đa thức cam kết với một đa thức và hỗ trợ tạo bằng chứng hiệu quả về các giá trị của đa thức đó.Loại này quan trọng trong hệ thống bằng chứng zero-knowledge và thiết kế mở rộng blockchain hiện đại.Mỗi loại có những điểm đánh đổi khác nhau.Một số loại dễ triển khai hơn.Một số tạo ra bằng chứng nhỏ hơn.Một số hỗ trợ tính năng quyền riêng tư mạnh hơn.Một số yêu cầu giả định về thiết lập đáng tin cậy hoặc các thao tác mật mã phức tạp hơn.Lựa chọn phù hợp nhất phụ thuộc vào ứng dụng, mô hình bảo mật, yêu cầu hiệu năng và môi trường triển khai.

Rủi ro bảo mật và lỗi triển khai

Lược đồ cam kết có thể thất bại nếu giá trị bí mật dễ đoán.Điều này thường xảy ra khi người dùng cam kết với các lựa chọn nhỏ như có, không, một, hai hoặc ba mà không thêm yếu tố ngẫu nhiên mạnh.Lược đồ cam kết cũng có thể thất bại nếu giá trị ngẫu nhiên được sử dụng lại.Trong một số cấu trúc, việc dùng lại giá trị ngẫu nhiên có thể làm lộ mẫu hoặc làm suy yếu tính che giấu.Lược đồ có thể thất bại nếu định dạng mã hóa không rõ ràng.Ví dụ, hai đầu vào khác nhau có thể bị diễn giải giống nhau nếu hệ thống không phân tách các trường một cách an toàn.Lược đồ có thể thất bại nếu sử dụng thành phần mật mã yếu.Hàm hash cũ, đường cong không an toàn hoặc mã chưa được đánh giá kỹ có thể làm giảm bảo mật.Hệ thống cam kết-công bố có thể thất bại ở lớp ứng dụng nếu người dùng được lợi khi từ chối công bố.Đó là lý do hợp đồng thông minh thường cần hình phạt, tiền đặt cọc hoặc quy tắc hết thời gian rõ ràng.Hệ thống zero-knowledge có thể thất bại nếu lược đồ cam kết không phù hợp với các giả định của hệ thống chứng minh.Không nên tùy tiện thay thế các thành phần mật mã vì những thay đổi nhỏ trong thiết kế cũng có thể tạo ra lỗ hổng nghiêm trọng.Lược đồ cam kết an toàn cần được thiết kế cẩn thận, đánh giá ngang hàng, kiểm thử và lập tài liệu rõ ràng.

Lược đồ cam kết và mã hóa khác nhau thế nào?

Lược đồ cam kết không giống mã hóa.Mã hóa được thiết kế để người có khóa phù hợp có thể giải mã và đọc thông điệp được che giấu.Lược đồ cam kết được thiết kế để cố định một giá trị để sau này giá trị đó có thể được công bố và xác minh.Mã hóa tập trung vào giao tiếp bảo mật.Cam kết tập trung vào lời hứa được che giấu nhưng có tính ràng buộc.Trong mã hóa, người gửi có thể muốn người nhận đọc thông điệp ngay khi người nhận có khóa.Trong lược đồ cam kết, người nhận thường không được biết giá trị đã cam kết cho đến bước công bố.Một số hệ thống kết hợp cả mã hóa lẫn cam kết.Ví dụ, giao thức có thể mã hóa dữ liệu riêng tư cho những người dùng được chọn, đồng thời công bố một cam kết để mọi người xác minh dữ liệu chưa bị thay đổi.Hiểu rõ khác biệt này giúp tránh lỗi thiết kế trong ứng dụng crypto.Chỉ riêng hash không phải lúc nào cũng tạo thành cam kết an toàn.Chỉ riêng mã hóa không phải lúc nào cũng tạo thành cam kết có tính ràng buộc.Công cụ phù hợp phụ thuộc vào việc hệ thống cần tính bí mật, khả năng xác minh sau này hay cả hai.

Lược đồ cam kết và chữ ký số khác nhau thế nào?

Lược đồ cam kết cũng khác chữ ký số.Chữ ký số chứng minh một thông điệp đã được người nắm giữ khóa riêng tư phê duyệt.Lược đồ cam kết chứng minh một giá trị được che giấu đã được cố định trước đó và sau này được mở đúng cách.Chữ ký chủ yếu liên quan đến tính xác thực và quyền ủy quyền.Cam kết chủ yếu liên quan đến tính che giấu và tính ràng buộc.Trong ví crypto, chữ ký số được dùng để ủy quyền giao dịch.Trong hợp đồng thông minh, cam kết có thể được dùng để che giấu lựa chọn, số lượng hoặc dữ liệu cho đến bước sau.Cam kết có chữ ký có thể kết hợp cả hai ý tưởng.Ví dụ, người dùng có thể ký một cam kết để chứng minh cam kết đó được tạo từ địa chỉ ví của họ.Sau đó, người dùng có thể công bố giá trị đã cam kết và chứng minh cam kết có chữ ký khớp với nội dung được công bố.Cách kết hợp này phổ biến trong ứng dụng blockchain vì danh tính, thời điểm, tính bí mật và xác minh thường cần hoạt động cùng nhau.

Lợi ích của lược đồ cam kết

Lược đồ cam kết cải thiện quyền riêng tư bằng cách cho phép người dùng che giấu thông tin nhạy cảm cho đến khi cần tiết lộ.Lược đồ giúp tăng tính công bằng bằng cách ngăn người dùng thay đổi lựa chọn đã che giấu sau khi biết hành động của người khác.Lược đồ giúp tăng khả năng mở rộng bằng cách cho phép hệ thống xác minh các cam kết gọn nhẹ thay vì xử lý toàn bộ dữ liệu trong mọi trường hợp.Lược đồ cải thiện khả năng kiểm toán vì dữ liệu được công bố có thể được đối chiếu với các cam kết trước đó.Lược đồ cải thiện thiết kế hợp đồng thông minh vì hỗ trợ quy trình nhiều bước với các giai đoạn cam kết và công bố rõ ràng.Lược đồ cải thiện hệ thống zero-knowledge vì cho phép tham chiếu đến dữ liệu riêng tư mà không tiết lộ dữ liệu đó.Những lợi ích này khiến lược đồ cam kết hữu ích trong nhiều trường hợp sử dụng crypto.Lược đồ cam kết xuất hiện trong giao thức bảo mật, rollup, trò chơi blockchain, đấu giá kín, hệ thống danh tính phi tập trung, bằng chứng trạng thái và thiết kế bỏ phiếu mật mã.Khi ứng dụng crypto ngày càng phát triển, lược đồ cam kết càng quan trọng trong việc cân bằng giữa tính công khai và quyền riêng tư.

Hạn chế của lược đồ cam kết

Lược đồ cam kết không tự động giúp hệ thống có tính riêng tư.Siêu dữ liệu, thời điểm, hoạt động của ví, số tiền giao dịch, hành vi mạng và mẫu công bố vẫn có thể làm lộ thông tin.Lược đồ cam kết cũng không tự động khiến giao thức trở nên công bằng.Người dùng vẫn có thể từ chối công bố, trì hoãn việc công bố hoặc khai thác các quy tắc hết thời gian yếu.Bản thân lược đồ cam kết không đảm bảo tính khả dụng của dữ liệu.Lược đồ có thể chứng minh dữ liệu khớp với một cam kết, nhưng không nhất thiết chứng minh toàn bộ dữ liệu dễ truy xuất.Lược đồ cam kết không bảo vệ người dùng trước logic hợp đồng thông minh kém.Nếu hợp đồng kiểm tra nội dung công bố không chính xác, cam kết có thể không mang lại mức độ bảo mật như dự định.Lược đồ cam kết không loại bỏ nhu cầu về yếu tố ngẫu nhiên an toàn.Yếu tố ngẫu nhiên yếu là một trong những nguyên nhân phổ biến nhất làm suy yếu cam kết.Cam kết rất hữu ích, nhưng cần được sử dụng như một phần trong thiết kế giao thức hoàn chỉnh.

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

Lược đồ cam kết là gì theo cách đơn giản?

Lược đồ cam kết là cách cố định một giá trị bí mật ngay bây giờ và chứng minh sau này rằng giá trị đó không bị thay đổi.

Hai thuộc tính chính của lược đồ cam kết là gì?

Hai thuộc tính chính là tính che giấu và tính ràng buộc.Tính che giấu giữ kín giá trị trước khi công bố, còn tính ràng buộc ngăn người tạo thay đổi giá trị sau khi cam kết.

Lược đồ cam kết được sử dụng trong crypto như thế nào?

Lược đồ cam kết được sử dụng trong bằng chứng zero-knowledge, hệ thống cam kết-công bố trong hợp đồng thông minh, cây Merkle, cam kết dữ liệu rollup, giao dịch bảo mật, đấu giá kín và ứng dụng chú trọng quyền riêng tư.

Hash có phải là lược đồ cam kết không?

Hash có thể được dùng để xây dựng lược đồ cam kết đơn giản, nhưng thiết kế cần có yếu tố ngẫu nhiên mạnh và quy tắc mã hóa rõ ràng.

Vì sao cam kết cần yếu tố ngẫu nhiên?

Yếu tố ngẫu nhiên ngăn kẻ tấn công đoán giá trị được che giấu bằng cách băm các đáp án có khả năng xảy ra rồi so sánh chúng với cam kết.

Lược đồ cam kết-công bố là gì?

Lược đồ cam kết-công bố là quy trình hai bước, trong đó người dùng công bố cam kết trước rồi sau đó tiết lộ các giá trị đứng sau những cam kết đó.

Cam kết đa thức là gì?

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

Lược đồ cam kết chỉ được dùng để bảo vệ quyền riêng tư?

Không. Lược đồ cam kết còn hỗ trợ khả năng mở rộng, tính công bằng, tính toàn vẹn dữ liệu, xác minh bằng chứng và quy trình hợp đồng thông minh.

Lược đồ cam kết có thể bị phá vỡ không?

Có. Lược đồ cam kết có thể bị suy yếu do yếu tố ngẫu nhiên kém, hàm hash yếu, tham số không an toàn, mã hóa không rõ ràng hoặc logic hợp đồng thông minh có lỗi.

Lược đồ cam kết có giống mã hóa không?

Không. Mã hóa che giấu thông điệp để có thể giải mã bằng khóa, còn lược đồ cam kết cố định một giá trị để sau này có thể xác minh khi công bố.

Kết luận

Lược đồ cam kết là công cụ mật mã cốt lõi cho phép hệ thống crypto che giấu thông tin mà vẫn cố định thông tin đó.Lược đồ giúp ứng dụng blockchain cân bằng giữa quyền riêng tư, tính công bằng và khả năng xác minh.Ý tưởng chính rất đơn giản: cam kết ngay, công bố sau và để người khác xác minh rằng giá trị được công bố khớp với cam kết ban đầu.Ý tưởng đơn giản này hỗ trợ nhiều công nghệ crypto quan trọng, bao gồm bằng chứng zero-knowledge, Merkle root, quy trình cam kết-công bố trong hợp đồng thông minh, thiết kế giao dịch bảo mật và cam kết đa thức phục vụ mở rộng quy mô.Lược đồ cam kết an toàn cần có cả tính che giấu lẫn tính ràng buộc.Lược đồ cần che giấu giá trị đã cam kết trước khi công bố và ngăn người tạo thay đổi giá trị sau đó.Nhà phát triển và người dùng cũng nên hiểu rõ giới hạn của cam kết vì cam kết không tự động giải quyết mọi vấn đề về quyền riêng tư, tính công bằng hoặc tính khả dụng của dữ liệu.Khi được thiết kế đúng cách, lược đồ cam kết giúp hệ thống blockchain linh hoạt, riêng tư và đáng tin cậy hơn mà vẫn giữ được khả năng xác minh các tuyên bố quan trọng.