Nội dung biên tập đáng tin cậy, được xem xét bởi các chuyên gia hàng đầu trong ngành và các biên tập viên dày dạn kinh nghiệm. Công bố quảng cáo
Trong một thông báo làm sống lại cuộc tranh luận kéo dài về việc Bitcoin có thể - hoặc nên - kéo dài đến mức nào ngoài những gì ban đầu, Input Output (IO), công ty nghiên cứu và kỹ thuật đứng sau Cardano, đã công bố một pipeline biên dịch thực hiện hợp đồng thông minh Cardano trên Bitcoin mà không làm thay đổi một dòng nào trong mã đồng thuận của Bitcoin.
"Một quy trình biên dịch mới đang được phát triển tại Input | Output sử dụng hợp đồng thông minh Cardano, được viết bằng một ngôn ngữ hiện đại như Python, TypeScript hoặc Scala, và chạy nó trên Bitcoin mà không cần sửa đổi Bitcoin bản thân," công ty đã viết trên X vào tối thứ Ba, đính kèm một chuỗi kỹ thuật sáu bài đăng giải thích chi tiết quy trình.
Bitcoin Nhận Hợp Đồng Thông Minh Cardano
Bài viết mô tả một chuỗi đại diện bắt đầu từ mã nguồn cấp cao và kết thúc bên trong Bitcoin Script. Đầu tiên, chuỗi công cụ của Cardano hạ hợp đồng xuống Untyped Plutus Core (UPLC), một mã byte chức năng đã được giản lược. UPLC sau đó được tuần tự hóa và chuyển cho một trình thông dịch mini được gọi là máy Control–Environment–Continuation (CEK). Thay vì yêu cầu Bitcoin diễn giải UPLC trực tiếp, IO biên dịch chính máy CEK thành RISC‑V, "một tập hợp lệnh CPU đơn giản, thực tế". Chương trình RISC‑V kết quả trở thành tải trọng mà Bitcoin cuối cùng xác minh, với UPLC đã tuần tự hóa được truyền cho nó tại thời gian chạy.
Đọc thêm: Cuộc đấu Cardano: Hoskinson bảo vệ IOG giữa phản ứng của các cá voiMột bài viết kèm theo được ký bởi kỹ sư phần mềm Riley Kilgore đã tóm tắt thiết kế trong một câu: "Bằng cách kết hợp định dạng hợp đồng thông minh tuần tự (Untyped Plutus Core – UPLC), một kiến trúc thông dịch thông minh (CEK machine), và một kiến trúc tập lệnh giảm rộng rãi hỗ trợ mã nguồn mở (RISC-V), IO đang biến ý tưởng đó thành hiện thực." Bởi vì mã RISC-V là xác định và dấu vết thực thi của nó có thể được chứng minh - hoặc tranh cãi - bên trong Bitcoin Script, không cần phải có soft-fork. Bitcoin vẫn không thay đổi; tính biểu cảm được chuyển giao cho một CPU ảo bổ sung mà hành vi của nó có thể bị thách thức từng bước.
Mỏ neo an ninh cho những thách thức đó là BitVMX, một hậu duệ của đề xuất BitVM 2023 của Robin Linus cho "tính toán có thể tranh cãi" trên Bitcoin. Tuyên bố của phòng tin tức IO gọi BitVMX là một "giao thức đổi mới, giảm thiểu niềm tin" mà "hoạt động theo mô hình 1-trong-số-n người điều hành trung thực" và cho phép các nhà phát triển "trả phí giao dịch bằng BTC trực tiếp từ ví mà họ ưa thích." BitVMX kế thừa phong cách tổng hợp lạc quan của BitVM—thực thi ngoài chuỗi, bằng chứng gian lận trên chuỗi—nhưng thay thế các mạch tùy chỉnh của BitVM bằng một lõi RISC-V đầy đủ, cho phép các nhị phân không sửa đổi được biên dịch bởi các công cụ tiêu chuẩn.
Lời hứa là mang hệ sinh thái hợp đồng thông minh dựa trên eUTxO của Cardano—Marlowe, Aiken và những cái khác—vào bể thanh khoản rộng lớn của Bitcoin. Về mặt thực tiễn, điều đó có thể có nghĩa là cho vay, hoán đổi, và thậm chí là các khoản vay được hỗ trợ bởi NFT được đảm bảo bằng tài sản thế chấp BTC, tất cả đều không cần giao quyền kiểm soát cho một sidechain.
Đọc thêm: Cardano bị chỉ trích: Cuộc kiểm toán IOG 600 triệu USD dự kiến vào tháng 8, theo lời HoskinsonĐối với những người thuần túy Bitcoin, động thái này vừa quen thuộc vừa gây tranh cãi. Taproot vào năm 2021 đã mở rộng Script với chữ ký Schnorr và chi tiêu theo đường khóa, mang lại cho mạng lưới trải nghiệm đầu tiên về logic hợp đồng thông minh phức tạp, trong khi BitVM vào năm 2023 cho thấy rằng tính toán tùy ý có thể được xác minh thay vì được thực thi bởi các nút Bitcoin. Dòng sản phẩm của IO đẩy những ý tưởng đó xa hơn, nhưng nó làm điều đó theo cách giữ cho lớp cơ sở không bị thay đổi—một tiêu chí thiết kế mà các tác giả của BitVM gọi là không thể thương lượng cho hợp đồng xã hội của Bitcoin.
Luồng biên dịch vẫn đang trong quá trình phát triển tích cực; IO chưa cam kết về ngày ra mắt main-net, cũng như chưa công bố các tiêu chuẩn chi phí gas cho các hợp đồng điển hình. Những gì họ đã làm là chứng minh một cây cầu lý thuyết hoàn chỉnh giữa hai blockchain có triết lý khác nhau. Nếu các rào cản kỹ thuật - kích thước giao dịch, độ trễ tranh chấp và những trở ngại trong trải nghiệm người dùng - có thể được kiểm soát, thì bộ phần mềm của Cardano có thể sớm trở thành một công dân hạng nhất trên Bitcoin.
Tại thời điểm báo chí, ADA được giao dịch ở mức 0,87 đô la.
ADA dừng lại dưới mức 0.236 Fib, biểu đồ 1 tuần | Nguồn: ADAUSDT trên TradingView.comHình ảnh nổi bật được tạo bằng DALL.E, biểu đồ từ TradingView.com
Quá trình biên tập cho bitcoinist tập trung vào việc cung cấp nội dung được nghiên cứu kỹ lưỡng, chính xác và không thiên lệch. Chúng tôi duy trì các tiêu chuẩn nguồn gốc nghiêm ngặt, và mỗi trang đều trải qua sự xem xét cẩn thận từ đội ngũ các chuyên gia công nghệ hàng đầu và các biên tập viên dày dạn kinh nghiệm của chúng tôi. Quá trình này đảm bảo tính toàn vẹn, sự liên quan và giá trị của nội dung đối với độc giả của chúng tôi.
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 Vượt Qua Bitcoin: Hợp đồng thông minh Không Có Một Thay Đổi Nào
"Một quy trình biên dịch mới đang được phát triển tại Input | Output sử dụng hợp đồng thông minh Cardano, được viết bằng một ngôn ngữ hiện đại như Python, TypeScript hoặc Scala, và chạy nó trên Bitcoin mà không cần sửa đổi Bitcoin bản thân," công ty đã viết trên X vào tối thứ Ba, đính kèm một chuỗi kỹ thuật sáu bài đăng giải thích chi tiết quy trình.
Bitcoin Nhận Hợp Đồng Thông Minh Cardano
Bài viết mô tả một chuỗi đại diện bắt đầu từ mã nguồn cấp cao và kết thúc bên trong Bitcoin Script. Đầu tiên, chuỗi công cụ của Cardano hạ hợp đồng xuống Untyped Plutus Core (UPLC), một mã byte chức năng đã được giản lược. UPLC sau đó được tuần tự hóa và chuyển cho một trình thông dịch mini được gọi là máy Control–Environment–Continuation (CEK). Thay vì yêu cầu Bitcoin diễn giải UPLC trực tiếp, IO biên dịch chính máy CEK thành RISC‑V, "một tập hợp lệnh CPU đơn giản, thực tế". Chương trình RISC‑V kết quả trở thành tải trọng mà Bitcoin cuối cùng xác minh, với UPLC đã tuần tự hóa được truyền cho nó tại thời gian chạy.
Đọc thêm: Cuộc đấu Cardano: Hoskinson bảo vệ IOG giữa phản ứng của các cá voiMột bài viết kèm theo được ký bởi kỹ sư phần mềm Riley Kilgore đã tóm tắt thiết kế trong một câu: "Bằng cách kết hợp định dạng hợp đồng thông minh tuần tự (Untyped Plutus Core – UPLC), một kiến trúc thông dịch thông minh (CEK machine), và một kiến trúc tập lệnh giảm rộng rãi hỗ trợ mã nguồn mở (RISC-V), IO đang biến ý tưởng đó thành hiện thực." Bởi vì mã RISC-V là xác định và dấu vết thực thi của nó có thể được chứng minh - hoặc tranh cãi - bên trong Bitcoin Script, không cần phải có soft-fork. Bitcoin vẫn không thay đổi; tính biểu cảm được chuyển giao cho một CPU ảo bổ sung mà hành vi của nó có thể bị thách thức từng bước.
Mỏ neo an ninh cho những thách thức đó là BitVMX, một hậu duệ của đề xuất BitVM 2023 của Robin Linus cho "tính toán có thể tranh cãi" trên Bitcoin. Tuyên bố của phòng tin tức IO gọi BitVMX là một "giao thức đổi mới, giảm thiểu niềm tin" mà "hoạt động theo mô hình 1-trong-số-n người điều hành trung thực" và cho phép các nhà phát triển "trả phí giao dịch bằng BTC trực tiếp từ ví mà họ ưa thích." BitVMX kế thừa phong cách tổng hợp lạc quan của BitVM—thực thi ngoài chuỗi, bằng chứng gian lận trên chuỗi—nhưng thay thế các mạch tùy chỉnh của BitVM bằng một lõi RISC-V đầy đủ, cho phép các nhị phân không sửa đổi được biên dịch bởi các công cụ tiêu chuẩn.
Lời hứa là mang hệ sinh thái hợp đồng thông minh dựa trên eUTxO của Cardano—Marlowe, Aiken và những cái khác—vào bể thanh khoản rộng lớn của Bitcoin. Về mặt thực tiễn, điều đó có thể có nghĩa là cho vay, hoán đổi, và thậm chí là các khoản vay được hỗ trợ bởi NFT được đảm bảo bằng tài sản thế chấp BTC, tất cả đều không cần giao quyền kiểm soát cho một sidechain.
Đọc thêm: Cardano bị chỉ trích: Cuộc kiểm toán IOG 600 triệu USD dự kiến vào tháng 8, theo lời HoskinsonĐối với những người thuần túy Bitcoin, động thái này vừa quen thuộc vừa gây tranh cãi. Taproot vào năm 2021 đã mở rộng Script với chữ ký Schnorr và chi tiêu theo đường khóa, mang lại cho mạng lưới trải nghiệm đầu tiên về logic hợp đồng thông minh phức tạp, trong khi BitVM vào năm 2023 cho thấy rằng tính toán tùy ý có thể được xác minh thay vì được thực thi bởi các nút Bitcoin. Dòng sản phẩm của IO đẩy những ý tưởng đó xa hơn, nhưng nó làm điều đó theo cách giữ cho lớp cơ sở không bị thay đổi—một tiêu chí thiết kế mà các tác giả của BitVM gọi là không thể thương lượng cho hợp đồng xã hội của Bitcoin.
Luồng biên dịch vẫn đang trong quá trình phát triển tích cực; IO chưa cam kết về ngày ra mắt main-net, cũng như chưa công bố các tiêu chuẩn chi phí gas cho các hợp đồng điển hình. Những gì họ đã làm là chứng minh một cây cầu lý thuyết hoàn chỉnh giữa hai blockchain có triết lý khác nhau. Nếu các rào cản kỹ thuật - kích thước giao dịch, độ trễ tranh chấp và những trở ngại trong trải nghiệm người dùng - có thể được kiểm soát, thì bộ phần mềm của Cardano có thể sớm trở thành một công dân hạng nhất trên Bitcoin.
Tại thời điểm báo chí, ADA được giao dịch ở mức 0,87 đô la.