Phân tích giao thức PoB

Đội ngũ Iagon gần đây đã hoàn thành một thách thức quan trọng, ra mắt giao thức Proof of Burn (PoB) phù hợp với hệ sinh thái Cardano. Bài viết này sẽ giới thiệu chi tiết về giải pháp này, chủ yếu bao gồm các khía cạnh sau:

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

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

Việc đốt token 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ó khóa riêng, không thể 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. Cơ chế này có thể ngăn chặn sự kiểm duyệt của bên trung gian đối với các quỹ bị tiêu hủy.

Cơ chế đốt có nhiều công dụng, vừa có thể tăng giá trị của token còn lại, vừa có thể làm chứng minh cho cam kết của giao thức blockchain. Việc đốt token quy mô lớn sẽ 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ù việc đốt là thao tác phổ biến, nhưng vẫn cần sự chấp thuận của thợ mỏ.

Tính bảo mật của chứng minh đốt dựa trên hàm băm mã hóa. Những hàm này dễ dàng tính toán theo chiều thuận, nhưng rất khó để tính toán ngược lại. Về cơ bản, sự thay đổi nhỏ của đầu vào sẽ dẫn đến sự thay đổi ngẫu nhiên lớn của đầu ra. Điều này có nghĩa là việc suy ngược từ đầu ra để tìm ra đầu vào sẽ mất rất nhiều thời gian. Nói đơ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, và tiền gửi vào địa chỉ đó sẽ khó hoặc không thể phục hồi.

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

Việc sử dụng đầu ra băm đảo ngược ở vị trí thấp nhất thay vì sử dụng băm giá trị bằng không trực tiếp là để thực hiện hai bước: trước tiên đốt cháy quỹ, sau đó chứng minh đã đốt cháy. Điều này cần phải tạo ra băm giá trị cam kết trước, sau đó hiển thị địa chỉ hố đen đã được tạo ra.

2. Hợp đồng thông minh PoB trên mạng Cardano

Hợp đồng thông minh Cardano cho phép thực hiện các giao dịch theo quy tắc, nhằm thiết lập các giao dịch minh bạch và có thể xác minh. Gần đây, tài chính phi tập trung và tổ chức đã thúc đẩy việc ứng dụng rộng rãi hợp đồng thông minh.

Cardano áp dụng cấu trúc khác với Ethereum, cho phép người dùng mô phỏng giao dịch trong ví để tăng cường độ an toàn. Hợp đồng thông minh Cardano bao gồm ba phần:

• Kịch bản người đổi: Kiểm soát chi tiêu eUTxO
• Kịch bản ví: đại diện cho người dùng thu hồi tiền và tạo eUTxO mới
• eUTxO: sở hữu quỹ và điểm dữ liệu, được sử dụng để xác định điều kiện sử dụng quỹ

Đ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, mỗi eUTxO có trạng thái độc lập. Các thao tác có thể bao gồm:

• Đốt: Gửi tiền đến địa chỉ hố đen
• Xác nhận đốt cháy: xác nhận việc đốt cháy đã xảy ra
• Khóa: Gửi tiền đến địa chỉ có khóa
• Hoàn lại: Lấy lại số tiền đã bị khóa

Điểm cuối chạy trong ví người dùng, giao dịch được tạo ra sẽ được gửi đến chuỗi khối. Kịch bản người đổi thưởng xác minh rằng quỹ chỉ có thể được truy cập bởi địa chỉ có giá trị băm.

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

Người trung gian không thể biết giao dịch là đốt hay khóa. Điều này ngăn chặn việc kiểm tra chọn lọc các giao dịch đốt. Giá trị đốt có thể được xác minh thông qua các điểm xác nhận và giá trị cam kết công khai.

3. Kiểm tra triển khai hợp đồng thông minh

Để triển khai hợp đồng thông minh trên mạng thử nghiệm, cần 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 nút Cardano và container ví
4. Khôi phục ví và lấy ID ví
5. Chạy đốt token
6. Xác nhận đốt cháy

Các bước này có thể ẩn giấu việc giao dịch là đốt hay khóa. Tuy nhiên, sau khi phát hành kịch bản, có thể có ai đó cố gắng biên dịch kịch bản từ chối các người mua lại cụ thể. Điều này cần rất nhiều công sức, nhưng có thể dẫn đến việc một phần đốt bị kiểm duyệt. Để ngăn chặn tình huống này, Iagon đã đề xuất một giải pháp an toàn hơn.

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

Với đặc điểm là hầu hết các giao dịch xảy ra trong ví người dùng, có thể tạo ra một giải pháp chỉ sử dụng ví, không còn cần đến hợp đồng thông minh. Phương pháp này không thể chọn lọc để ngăn chặn giao dịch đốt. Để ngăn chặn tất cả các giao dịch đốt, người kiểm duyệt phải ngăn chặn tất cả các giao dịch kịch bản. Khi chỉ sử dụng ví, phương pháp kiểm duyệt duy nhất là ngăn chặn tất cả các giao dịch Cardano, đây là sự kháng cự tối thượng.

Để thực hiện điều này, cần thay thế băm khóa công khai bằng băm giá trị cam kết và đảo ngược bit thấp nhất. Cũng cần xử lý kiểm tra lỗi địa chỉ của Cardano. Cách đơn giản nhất là sử dụng tập lệnh và thư viện API Cardano để tạo địa chỉ.

Có thể sử dụng mã được cung cấp để tạo địa chỉ đốt, gửi giao dịch lên chuỗi khối và xác minh việc đốt.

Kết luận

Bài viết này giới thiệu việc thực hiện giao thức PoB trong hợp đồng thông minh và giao dịch ví. Do hợp đồng thông minh Alonzo thiếu cơ sở hạ tầng cần thiết, khuyến nghị sử dụng kịch bản ví. Trong tương lai, sau khi thư viện PAB được triển khai, các giải pháp hợp đồng thông minh phức tạp kết hợp với kịch bản ví sẽ khả thi hơn, có thể chống lại sự kiểm duyệt tiềm năng tốt hơn. Để tìm hiểu sâu hơn, bạn có thể xem thông tin liên quan trên Github.