Chứng minh đốt ( PoB ) giao thức: Giải pháp mới trong hệ sinh thái Cardano

Gần đây, một giải pháp cho thách thức mà Charles Hoskinson đưa ra đã xuất hiện. Giải pháp này đã giới thiệu giao thức chứng minh đốt (PoB) vào hệ sinh thái Cardano. Bài viết này sẽ giới thiệu về giải pháp mới phát triển này, nội dung bao gồm:

1. Tổng quan về cơ chế chứng minh đốt và ứng dụng của nó
2. Giải pháp PoB này về việc thực hiện và cơ chế vận hành hợp đồng thông minh trên mạng Cardano
3. Triển khai và kiểm tra hợp đồng thông minh ( trên mạng thử nghiệm )
4. Thực hiện giao thức PoB bằng cách gửi token đến địa chỉ "hố đen"

1. Chứng minh đốt và ứng dụng của nó

Đốt token ( tiêu hủy ) là một thực hành phổ biến, về cơ bản là gửi token đến một địa chỉ "hố đen" không thể truy cập. Địa chỉ này không có bất kỳ khóa riêng nào để lấy lại token đã bị tiêu hủy. Công chúng có thể xác minh rằng việc tiêu hủy thực sự đã xảy ra, nhưng chỉ biết một giá trị "cam kết" "bí mật". Thiết kế của cơ chế này nhằm đảm bảo rằng số tiền đã bị tiêu hủy sẽ không bị kiểm tra bởi bên trung gian.

Cơ chế đốt có nhiều mục đích, có thể tăng giá trị của các token còn lại, hoặc được sử dụng như một bằng chứng cam kết của giao thức blockchain. Việc đốt token quy mô lớn có thể tạo ra áp lực giảm phát, vì nó làm giảm tổng số token đang lưu hành. Mặc dù giao dịch đốt là phổ biến, nhưng vẫn cần có sự chấp thuận của thợ mỏ. Mặc dù những cơ chế này có lợi, nhưng cũng có người phản đối việc đốt token. Vì lý do đó, một số đội ngũ đang nỗ lực giới thiệu một giao thức đốt token không thể bị kiểm duyệt. Hoạt động đặc biệt này đã thu hút sự chú ý của Charles Hoskinson.

An ninh của chứng minh đốt cháy và an ninh của giao dịch chuyển token dựa trên cùng một cơ chế - hàm băm mã hóa. Các hàm này dễ tính toán nhưng rất khó để tính ngược. Về bản chất, lý do khiến nó khó tính ngược là vì sự thay đổi một bit đầu vào sẽ dẫn đến sự thay đổi ngẫu nhiên của mỗi bit đầu ra. Điều này có nghĩa là việc tính ngược từ đầu ra của hàm băm mã hóa sẽ tốn rất nhiều thời gian. Nói một cách đơn giản, việc đảo ngược bit thấp nhất của hàm băm mã hóa có thể tạo ra một địa chỉ hố đen. Mọi thứ được gửi đến địa chỉ đó sẽ trở nên khó hoặc không thể phục hồi.

Độ an toàn của giao dịch tiền điện tử hoàn toàn dựa trên mật mã khóa công khai và hàm băm mã hóa: "Mỗi khi gửi tiền, một đầu ra giao dịch chưa chi tiêu mới (UTxO) sẽ được tạo ra." UTxO này ghi lại số tiền và băm mã hóa của khóa công khai của người nhận. Nếu người nhận muốn sử dụng số tiền này, họ phải ký một giao dịch chi tiêu mới bằng cùng một khóa công khai.

Tại sao lại đảo ngược bit thấp nhất của đầu ra hàm băm, thay vì sử dụng trực tiếp băm 0x0? Lý do là việc sử dụng giá trị đã biết sẽ khiến việc đốt cháy trở nên ngay lập tức rõ ràng. Tuy nhiên, giao thức này được thiết kế để trước tiên đốt cháy tài sản, sau đó ( trong một bước riêng biệt chứng minh rằng nó đã được đốt cháy. Để thực hiện điều này, cần phải bắt đầu với hàm băm của giá trị cam kết đã được tạo ra. Sau đó, giá trị cam kết cho thấy một địa chỉ hố đen đã được tạo ra.

![])https://img-cdn.gateio.im/webp-social/moments-e942fc679d8ef7e55f3db32648b24d99.webp(

2. Chứng minh đốt trên mạng Cardano ) PoB ( hợp đồng thông minh

Phần này sẽ giải thích cơ chế chứng minh đốt trong hợp đồng thông minh Cardano. Hợp đồng thông minh Cardano là các chương trình chạy trên mạng Cardano, cho phép các nhà phát triển hợp đồng thực hiện các giao dịch tài chính ) theo các quy tắc cụ thể. Hợp đồng thông minh được thiết kế để thiết lập các giao dịch minh bạch và có thể xác minh giữa các bên giao dịch khác nhau. Gần đây, sự trỗi dậy của các dịch vụ tài chính phi tập trung và các tổ chức phi tập trung đã thúc đẩy sự phát triển theo cấp số nhân của ứng dụng hợp đồng thông minh.

Hợp đồng thông minh kiểu Ethereum truyền thống bao gồm trạng thái được ghi lại trên sổ cái và các chương trình gọi bất đồng bộ trạng thái đó. Vì trạng thái trên sổ cái thuộc về hợp đồng thông minh, nó chỉ có thể được thay đổi thông qua chương trình, tất cả các thao tác trạng thái được phép có thể được suy ra từ mã chương trình và được ghi lại trên chuỗi khối.

Hệ sinh thái Cardano áp dụng một cấu trúc khác nhau, cho phép người dùng mô phỏng mỗi giao dịch trong ví của họ, làm cho mạng ( ) khó bị tấn công hơn. Những thay đổi phát sinh được xác minh qua các nút blockchain, sau đó được ghi lại. Để thực hiện điều này, hợp đồng thông minh Cardano có ba thành phần:

• Kịch bản người đổi: cho phép hoặc cấm chi tiêu eUTxOs
• Kịch bản ví: đại diện cho người dùng thực thi, để rút tiền và tạo ra eUTxOs mới
• eUTxOs: Mỗi eUTxO nắm giữ quỹ và một điểm dữ liệu (datum), người thu hồi sử dụng nó để xác định các điều kiện nào mà quỹ này có thể được sử dụng lại.

Điều này có nghĩa là hợp đồng thông minh Cardano không có trạng thái tập trung trên sổ cái. Mỗi eUTxO đều có một trạng thái độc lập (datum), không thể tách rời với vốn của nó. Điều này dẫn đến bốn loại thao tác có thể xảy ra sau đây:

• Đốt: Gửi tiền đến địa chỉ hố đen có giá trị cam kết băm bí mật
• Bị tiêu hủy: Việc đốt cháy giá trị cam kết cụ thể đã thực sự xảy ra
• Khóa: Gửi tiền đến địa chỉ có khóa
• Hoàn lại: Hoàn lại số tiền đã bị khóa trước đó

Cần lưu ý rằng, điểm cuối chạy trong ví của người dùng. Sau khi script điểm cuối hoàn thành chạy trong ví, giao dịch được tạo sẽ được chuyển đến blockchain. Trong trường hợp của chúng tôi, giao dịch này sẽ chuyển tiền đến script người nhận. Script này xác thực rằng tiền chỉ có thể được truy cập bởi địa chỉ mục tiêu có giá trị băm.

Trong quá trình khóa, giá trị băm có thể là địa chỉ của chính chúng ta. Trong việc đốt, giá trị băm chỉ vào một địa chỉ hố đen. Chúng ta thực hiện điều này bằng cách đưa cho giá trị băm một giá trị cam kết bí mật, sau đó lật ngược nó. Do chúng ta sử dụng hàm băm mã hóa, gần như không thể tìm thấy giá trị băm khớp với kết quả của nó.

Lưu ý: flipCommitment chỉ đảo ngược bit thấp nhất có nghĩa của giá trị băm (LSB).

Người trung gian chấp nhận giao dịch không thể biết đây là giao dịch đốt hay khóa. Bằng cách sử dụng kịch bản này, người trung gian không thể chọn lọc kiểm tra bất kỳ giao dịch đốt nào. Việc đốt và khóa sử dụng cùng một định dạng người nhận, chỉ có người khởi xướng giao dịch biết đây là đốt hay khóa. Giá trị đốt có thể được xác minh bằng cách sử dụng điểm kết thúc bị hủy bỏ với giá trị cam kết đã cho. Trước khi giá trị cam kết được công bố, không ai biết số tiền bị hủy bỏ là bao nhiêu. Nếu bạn quan tâm đến mã, kho mã sẽ được mô tả chi tiết trong phần tiếp theo.

3. Triển khai hợp đồng thông minh ( trên mạng thử nghiệm )

Để khởi động nút testnet có ví, cần có cụm từ ghi nhớ và mật khẩu ngẫu nhiên. Bạn có thể triển khai hợp đồng thông minh bằng cách thực hiện các bước sau:

( 1. Cài đặt chuỗi công cụ Haskell

) 2. Xây dựng script Plutus

3. Khởi động kết nối container nút Cardano và ví Cardano

4. Khôi phục ví và xuất ID ví ### Các bước tiếp theo cần ###, chạy đoạn mã dưới đây ( để tạo cụm từ ghi nhớ ngẫu nhiên dùng để thử nghiệm )

( 5. Chạy đốt token

) 6. Chạy, xác thực đốt

Bằng cách thực hiện các bước trên, bên ngoài sẽ không thể biết đó là giao dịch đốt hay khóa. Tuy nhiên, sau khi phát hành kịch bản này, mọi người có thể cố gắng biên dịch từ chối người đổi, tương ứng với băm của kịch bản người đổi mà họ đề xuất. Điều này cần nỗ lực rất lớn, nhưng có thể dẫn đến một số giao dịch đốt bị kiểm duyệt. Để ngăn chặn điều này xảy ra và làm cho các hành vi vi phạm khó xảy ra hơn, phần tiếp theo sẽ thảo luận về cách làm cho giải pháp này an toàn hơn.

![]###https://img-cdn.gateio.im/webp-social/moments-7777b1db89195a287d84464f2b80b5e9.webp###

4. Từ hợp đồng thông minh đến kịch bản ví

Tận dụng thực tế rằng hầu hết các hoạt động hợp đồng thông minh diễn ra trong ví của người dùng, việc tạo ra một giải pháp chỉ sử dụng ví có thể làm cho hợp đồng thông minh trở nên không cần thiết. Tuy nhiên, phương pháp này có một lợi thế thực tiễn, đó là không thể chọn lọc ngăn chặn các giao dịch hợp đồng thông minh tương ứng với việc đốt. Tuy nhiên, những người muốn ngăn chặn tất cả các giao dịch đốt có thể đạt được mục đích của mình bằng cách ngăn chặn tất cả các kịch bản. Chỉ sử dụng ví, cách duy nhất để kiểm duyệt việc đốt là kiểm duyệt tất cả các giao dịch Cardano. Đây là một hình thức kháng cự tối thượng đối với việc kiểm duyệt.

Để đạt được điều này, chúng ta cần thay thế hàm băm của khóa công khai bằng hàm băm của giá trị cam kết và đảo ngược bit thấp nhất có hiệu lực của giá trị cam kết. Nhưng điều này vẫn chưa đủ. Cardano ngăn chặn lỗi đầu vào trong địa chỉ bằng cách kiểm tra cấu trúc và mã CRC. Do đó, phương pháp đơn giản nhất để tạo địa chỉ từ giá trị cam kết là sử dụng tập lệnh sau và thư viện API của Cardano.

Để xem cách hoạt động của nó, bạn có thể sử dụng mã sau để tạo địa chỉ đốt cháy:

Sau đó, bạn có thể sử dụng mã sau để gửi giao dịch đến blockchain Cardano:

Để xác minh việc đốt, bạn cần sử dụng mã sau để xem giao dịch đã gửi đến địa chỉ đốt:

Kết luận

Bài viết này chia việc thực hiện giao thức chứng minh đốt bỏ thành hai cách: hợp đồng thông minh hoặc giao dịch ví. Tuy nhiên, hợp đồng thông minh Alonzo hiện thiếu cơ sở hạ tầng cần thiết, chẳng hạn như thư viện PAB. Do đó, chúng tôi khuyên nên sử dụng kịch bản ví. Dù sao đi nữa, thư viện PAB sẽ được triển khai trong tương lai gần cho phát triển ứng dụng dựa trên Cardano, kết hợp với kịch bản ví, một giải pháp hợp đồng thông minh phức tạp có thể khả thi hơn để tạo ra một môi trường có thể chống lại sự kiểm duyệt tiềm tàng. Nếu bạn muốn tìm hiểu sâu hơn về giải pháp này, bạn có thể xem tất cả thông tin liên quan trên GitHub.