Giao thức chứng minh đốt: Ứng dụng đổi mới trên Cardano
Đội ngũ Iagon gần đây đã hoàn thành một thử thách, phát triển giao thức chứng minh đốt cháy (PoB) cho hệ sinh thái Cardano. Đây là một phản hồi đối với câu hỏi từ một nhân vật nổi tiếng trong lĩnh vực blockchain. Bài viết này sẽ giới thiệu giải pháp của đội ngũ Iagon, chủ yếu bao gồm các khía cạnh sau:
Tổng quan về cơ chế chứng minh đốt và ứng dụng của nó
Chi tiết thực hiện giải pháp PoB của Iagon trên mạng Cardano
Triển khai và thử nghiệm hợp đồng thông minh trên mạng thử nghiệm
Thực hiện giao thức PoB bằng cách gửi token đến địa chỉ "hố đen"
Chứng minh đốt và ứng dụng của nó
Đốt token ( tiêu hủy ) là một thực tiễn phổ biến, bản chất 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, do đó token bị tiêu hủy không thể được lấy lại. 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. Cơ chế này có thể ngăn chặn việc kiểm duyệt quỹ bị tiêu hủy bởi các bên trung gian.
Cơ chế đốt có nhiều ứng dụng, có thể làm tăng giá trị của các token còn lại, cũng có thể là 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ó giảm tổng số token đang lưu thông. Mặc dù việc đốt là một giao dịch phổ biến trong blockchain, nhưng vẫn cần có sự chấp thuận của các thợ mỏ. Mặc dù những cơ chế này có một số lợi ích, nhưng cũng có người phản đối việc đốt token. Để giải quyết vấn đề này, Iagon cam kết phát triển một giao thức đốt token không thể kiểm duyệt. Hành động không thể kiểm duyệt đặc biệt này đã thu hút sự chú ý của những người nổi tiếng trong ngành.
Tính bảo mật của chứng minh đốt dựa trên cùng một cơ chế với giao dịch chuyển token, tức là hàm băm mã hóa. Những hàm này dễ tính toán nhưng khó đảo ngược. Về bản chất, sự thay đổi nhỏ trong đầu vào sẽ dẫn đến kết quả đầu ra hoàn toàn khác biệt. Điều này có nghĩa là, việc đảo ngược tính toán từ đầu ra của hàm băm sẽ tốn rất nhiều thời gian. Nói ngắn gọn, bằng cách đả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ỉ này sẽ trở nên khó hoặc không thể phục hồi.
Bảo mật của giao dịch tiền điện tử hoàn toàn dựa trên mã hóa 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ố lượng tiền và giá trị băm 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 phả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 giá trị băm 0x0? Nguyên nhân là việc sử dụng giá trị đã biết sẽ làm cho việc đốt cháy trở nên ngay lập tức rõ ràng. Tuy nhiên, thiết kế của giao thức là trước tiên đốt cháy tài sản, sau đó ( trong một bước độc lập ) chứng minh rằng nó đã được đốt cháy. Để thực hiện điều này, cần phải tạo ra một giá trị cam kết của một hàm băm. Sau đó, giá trị cam kết cho thấy đã tạo ra một địa chỉ hố đen.
Hợp đồng thông minh chứng minh đốt cháy trên mạng Cardano
Hợp đồng thông minh Cardano là chương trình chạy trên mạng Cardano, cho phép các nhà phát triển thực hiện giao dịch tài chính ( theo các quy tắc đã định sẵn. Hợp đồng thông minh nhằm 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. Gần đây, sự gia tăng của các dịch vụ tài chính phi tập trung và tổ chức phi tập trung đã thúc đẩy sự tăng trưởng nhanh chóng của ứng dụng hợp đồng thông minh.
Khác với hợp đồng thông minh của Ethereum, Cardano sử dụng một cấu trúc khác. Nó cho phép người dùng mô phỏng từng giao dịch trong ví của họ, nhằm tăng độ khó cho các cuộc tấn công mạng. Các thay đổi phát sinh từ giao dịch sẽ được ghi lại sau khi được xác thực bởi các nút blockchain. Để làm điều này, hợp đồng thông minh của Cardano bao gồm 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 chạy, được sử dụng để chuộc lại tiền và tạo ra eUTxOs mới
eUTxOs: Mỗi eUTxO chứa tiền và một điểm dữ liệu )datum(, dùng để người nhận xác định khi nào có thể sử dụng lại số tiền này.
Đ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 có một trạng thái độc lập ) dữ liệu (, và không thể tách rời với vốn của nó. Điều này tạo ra 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
Xác minh đốt cháy: xác minh rằng việc đốt cháy giá trị cam kết nào đó thực sự đã xảy ra
Khóa: Gửi tiền vào đị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 hoạt động trong ví của người dùng. Sau khi kịch bản điểm cuối hoàn thành chạy trong ví, giao dịch được tạo ra sẽ được chuyển đến blockchain. Trong trường hợp này, giao dịch này sẽ chuyển tiền đến kịch bản người nhận. Kịch bản đó xác minh rằng tiền chỉ có thể được truy cập bởi địa chỉ mục tiêu nắm giữ giá trị băm của nó.
Trong hoạt động khóa, giá trị băm có thể là địa chỉ của chính chúng ta. Trong hoạt động đốt, giá trị băm chỉ đến một địa chỉ hố đen. Chúng tôi thực hiện điều này bằng cách cung cấp một giá trị cam kết bí mật cho giá trị băm, sau đó lật nó lại. Do việc 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ả.
Người trung gian thực hiện giao dịch không thể biết giao dịch này là đốt hay khóa. Bằng cách sử dụng script 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. Đốt và khóa sử dụng cùng một định dạng người đổi, chỉ có người khởi xướng giao dịch biết đây là giao dịch đốt hay khóa. Giá trị đốt có thể được kiểm tra bằng cách sử dụng điểm cuối đốt xác thực 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ị tiêu hủy.
Triển khai mạng thử nghiệm của 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:
Cài đặt chuỗi công cụ Haskell
Xây dựng kịch bản Plutus
Khởi động container kết nối với nút Cardano và ví
Khôi phục ví và lấy ID ví
Thực hiện thao tác đốt token
Thực hiện thao tác xác minh đốt cháy
Bằng cách thực hiện các bước trên, bên ngoài sẽ không thể biết giao dịch này là đố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 yêu cầu, tương ứng với băm của kịch bản yêu cầu mà họ đề xuất. Điều này cần nỗ lực lớn, nhưng có thể dẫn đến việc một số đốt bị kiểm duyệt. Để ngăn chặn tình huống này và làm cho hành vi vi phạm khó thực hiện hơn, Iagon đang nỗ lực nâng cao tính bảo mật của giải pháp này.
Với thực tế là phần lớn các hoạt động hợp đồng thông minh diễn ra trong ví của người dùng, có thể tạo ra một kế hoạch thực hiện chỉ sử dụng ví, từ đó làm cho hợp đồng thông minh trở nên không cần thiết. Ý nghĩa thực tế của cách làm này 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 cháy. Tuy nhiên, những người muốn ngăn chặn tất cả việc đốt cháy có thể đạt được điều đó bằng cách ngăn chặn tất cả các kịch bản. Nếu chỉ sử dụng ví, cách duy nhất để kiểm duyệt việc đốt cháy 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, cần thay thế băm của khóa công khai bằng băm của giá trị cam kết, và đảo ngược bit thấp nhất của giá trị cam kết. Nhưng điều đó vẫn chưa đủ. Cardano sẽ ngăn chặn lỗi nhập trong địa chỉ bằng cách kiểm tra cấu trúc và mã CRC. Do đó, cách đơn giản nhất để tạo địa chỉ từ giá trị cam kết là sử dụng các kịch bản cụ thể và thư viện API của Cardano.
Bạn có thể sử dụng mã cung cấp để tạo địa chỉ đốt, sau đó gửi giao dịch đến blockchain Cardano. Để xác minh việc đốt, cần xem giao dịch gửi đến địa chỉ đốt.
Bài viết này chia việc thực hiện giao thức chứng minh đốt thành hai cách: hợp đồng thông minh và giao dịch ví. Tuy nhiên, do hợp đồng thông minh Alonzo hiện thiếu cơ sở hạ tầng cần thiết ) như thư viện PAB (, chúng tôi khuyên bạn nên sử dụng kịch bản ví. Dù sao đi nữa, thư viện PAB sẽ hỗ trợ phát triển ứng dụng dựa trên Cardano trong tương lai gần, kết hợp với kịch bản ví, có thể tạo ra một giải pháp hợp đồng thông minh phức tạp hơn và có khả năng chống kiểm duyệt tốt hơn. Nếu muốn tìm hiểu sâu về giải pháp này, bạn có thể xem tất cả thông tin liên quan trên Github.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Cardano上实现 giao thức chứng minh đốt: Đội ngũ Iagon xây dựng giải pháp chống kiểm duyệt
Giao thức chứng minh đốt: Ứng dụng đổi mới trên Cardano
Đội ngũ Iagon gần đây đã hoàn thành một thử thách, phát triển giao thức chứng minh đốt cháy (PoB) cho hệ sinh thái Cardano. Đây là một phản hồi đối với câu hỏi từ một nhân vật nổi tiếng trong lĩnh vực blockchain. Bài viết này sẽ giới thiệu giải pháp của đội ngũ Iagon, chủ yếu bao gồm các khía cạnh sau:
Chứng minh đốt và ứng dụng của nó
Đốt token ( tiêu hủy ) là một thực tiễn phổ biến, bản chất 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, do đó token bị tiêu hủy không thể được lấy lại. 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. Cơ chế này có thể ngăn chặn việc kiểm duyệt quỹ bị tiêu hủy bởi các bên trung gian.
Cơ chế đốt có nhiều ứng dụng, có thể làm tăng giá trị của các token còn lại, cũng có thể là 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ó giảm tổng số token đang lưu thông. Mặc dù việc đốt là một giao dịch phổ biến trong blockchain, nhưng vẫn cần có sự chấp thuận của các thợ mỏ. Mặc dù những cơ chế này có một số lợi ích, nhưng cũng có người phản đối việc đốt token. Để giải quyết vấn đề này, Iagon cam kết phát triển một giao thức đốt token không thể kiểm duyệt. Hành động không thể kiểm duyệt đặc biệt này đã thu hút sự chú ý của những người nổi tiếng trong ngành.
Tính bảo mật của chứng minh đốt dựa trên cùng một cơ chế với giao dịch chuyển token, tức là hàm băm mã hóa. Những hàm này dễ tính toán nhưng khó đảo ngược. Về bản chất, sự thay đổi nhỏ trong đầu vào sẽ dẫn đến kết quả đầu ra hoàn toàn khác biệt. Điều này có nghĩa là, việc đảo ngược tính toán từ đầu ra của hàm băm sẽ tốn rất nhiều thời gian. Nói ngắn gọn, bằng cách đả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ỉ này sẽ trở nên khó hoặc không thể phục hồi.
Bảo mật của giao dịch tiền điện tử hoàn toàn dựa trên mã hóa 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ố lượng tiền và giá trị băm 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 phả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 giá trị băm 0x0? Nguyên nhân là việc sử dụng giá trị đã biết sẽ làm cho việc đốt cháy trở nên ngay lập tức rõ ràng. Tuy nhiên, thiết kế của giao thức là trước tiên đốt cháy tài sản, sau đó ( trong một bước độc lập ) chứng minh rằng nó đã được đốt cháy. Để thực hiện điều này, cần phải tạo ra một giá trị cam kết của một hàm băm. Sau đó, giá trị cam kết cho thấy đã tạo ra một địa chỉ hố đen.
Hợp đồng thông minh chứng minh đốt cháy trên mạng Cardano
Hợp đồng thông minh Cardano là chương trình chạy trên mạng Cardano, cho phép các nhà phát triển thực hiện giao dịch tài chính ( theo các quy tắc đã định sẵn. Hợp đồng thông minh nhằm 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. Gần đây, sự gia tăng của các dịch vụ tài chính phi tập trung và tổ chức phi tập trung đã thúc đẩy sự tăng trưởng nhanh chóng của ứng dụng hợp đồng thông minh.
Khác với hợp đồng thông minh của Ethereum, Cardano sử dụng một cấu trúc khác. Nó cho phép người dùng mô phỏng từng giao dịch trong ví của họ, nhằm tăng độ khó cho các cuộc tấn công mạng. Các thay đổi phát sinh từ giao dịch sẽ được ghi lại sau khi được xác thực bởi các nút blockchain. Để làm điều này, hợp đồng thông minh của Cardano bao gồm ba thành phần:
Đ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 có một trạng thái độc lập ) dữ liệu (, và không thể tách rời với vốn của nó. Điều này tạo ra bốn loại thao tác có thể xảy ra sau đây:
Cần lưu ý rằng, điểm cuối hoạt động trong ví của người dùng. Sau khi kịch bản điểm cuối hoàn thành chạy trong ví, giao dịch được tạo ra sẽ được chuyển đến blockchain. Trong trường hợp này, giao dịch này sẽ chuyển tiền đến kịch bản người nhận. Kịch bản đó xác minh rằng tiền chỉ có thể được truy cập bởi địa chỉ mục tiêu nắm giữ giá trị băm của nó.
Trong hoạt động khóa, giá trị băm có thể là địa chỉ của chính chúng ta. Trong hoạt động đốt, giá trị băm chỉ đến một địa chỉ hố đen. Chúng tôi thực hiện điều này bằng cách cung cấp một giá trị cam kết bí mật cho giá trị băm, sau đó lật nó lại. Do việc 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ả.
Người trung gian thực hiện giao dịch không thể biết giao dịch này là đốt hay khóa. Bằng cách sử dụng script 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. Đốt và khóa sử dụng cùng một định dạng người đổi, chỉ có người khởi xướng giao dịch biết đây là giao dịch đốt hay khóa. Giá trị đốt có thể được kiểm tra bằng cách sử dụng điểm cuối đốt xác thực 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ị tiêu hủy.
![])https://img-cdn.gateio.im/webp-social/moments-f7f162dc2a412b8d5ff903636b2e631b.webp(
Triển khai mạng thử nghiệm của 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:
Bằng cách thực hiện các bước trên, bên ngoài sẽ không thể biết giao dịch này là đố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 yêu cầu, tương ứng với băm của kịch bản yêu cầu mà họ đề xuất. Điều này cần nỗ lực lớn, nhưng có thể dẫn đến việc một số đốt bị kiểm duyệt. Để ngăn chặn tình huống này và làm cho hành vi vi phạm khó thực hiện hơn, Iagon đang nỗ lực nâng cao tính bảo mật của giải pháp này.
![])https://img-cdn.gateio.im/webp-social/moments-7777b1db89195a287d84464f2b80b5e9.webp(
Từ hợp đồng thông minh đến kịch bản ví
Với thực tế là phần lớn các hoạt động hợp đồng thông minh diễn ra trong ví của người dùng, có thể tạo ra một kế hoạch thực hiện chỉ sử dụng ví, từ đó làm cho hợp đồng thông minh trở nên không cần thiết. Ý nghĩa thực tế của cách làm này 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 cháy. Tuy nhiên, những người muốn ngăn chặn tất cả việc đốt cháy có thể đạt được điều đó bằng cách ngăn chặn tất cả các kịch bản. Nếu chỉ sử dụng ví, cách duy nhất để kiểm duyệt việc đốt cháy 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, cần thay thế băm của khóa công khai bằng băm của giá trị cam kết, và đảo ngược bit thấp nhất của giá trị cam kết. Nhưng điều đó vẫn chưa đủ. Cardano sẽ ngăn chặn lỗi nhập trong địa chỉ bằng cách kiểm tra cấu trúc và mã CRC. Do đó, cách đơn giản nhất để tạo địa chỉ từ giá trị cam kết là sử dụng các kịch bản cụ thể và thư viện API của Cardano.
Bạn có thể sử dụng mã cung cấp để tạo địa chỉ đốt, sau đó gửi giao dịch đến blockchain Cardano. Để xác minh việc đốt, cần xem giao dịch gửi đến địa chỉ đốt.
![])https://img-cdn.gateio.im/webp-social/moments-fed84a6717b012408df1b428b2d80586.webp(
Kết luận
Bài viết này chia việc thực hiện giao thức chứng minh đốt thành hai cách: hợp đồng thông minh và giao dịch ví. Tuy nhiên, do hợp đồng thông minh Alonzo hiện thiếu cơ sở hạ tầng cần thiết ) như thư viện PAB (, chúng tôi khuyên bạn nên sử dụng kịch bản ví. Dù sao đi nữa, thư viện PAB sẽ hỗ trợ phát triển ứng dụng dựa trên Cardano trong tương lai gần, kết hợp với kịch bản ví, có thể tạo ra một giải pháp hợp đồng thông minh phức tạp hơn và có khả năng chống kiểm duyệt tốt hơn. Nếu muốn tìm hiểu sâu về giải pháp này, bạn có thể xem tất cả thông tin liên quan trên Github.
![])https://img-cdn.gateio.im/webp-social/moments-3d2bf883bd43da42085612065d17c6ef.webp(