Cơ chế ICO gốc đầu tiên trên chuỗi Bitcoin "PRECOP" đã ra mắt! Kết hợp hợp đồng Simplicity và hoán đổi nguyên tử (atomic swap), phát hành token trực tiếp mà không cần cầu nối cross-chain

Nhà phát triển laz1m0v đã giới thiệu cơ chế ICO gốc trên L1 của Bitcoin dựa trên hợp đồng thông minh Blockstream Simplicity, hoàn tất việc phát hành token trực tiếp trên mainnet thông qua atomic swap và tập lệnh covenant mà không cần cross-chain bridge, sidechain hay bên thứ ba lưu ký. Khung này có tên là PRECOP (Predictive Covenant Oracle Protocol), hiện tương thích nguyên bản với ba định dạng tài sản là BTC, BRC-20 và Runes, và vẫn đang trong giai đoạn thử nghiệm alpha. (Tiền đề: Adam Back phản hồi về BIP-361 "đóng băng BTC của Satoshi": Mối đe dọa còn xa nhưng cần chuẩn bị nâng cấp ngay bây giờ) (Bối cảnh bổ sung: Michael Saylor cảnh báo BIP-110 là mối đe dọa lớn nhất đối với Bitcoin; chu kỳ 4 năm đã chết, vốn tổ chức mới là nhân vật chính thực sự) Cơn sốt ICO năm 2017 đều diễn ra trên Ethereum, mainnet của Bitcoin chưa bao giờ tham gia vào cuộc chơi này. Nhưng hiện nay, một nhà phát triển đã đưa ngôn ngữ hợp đồng thông minh Simplicity của Blockstream lên L1 để lắp ghép, tạo ra cơ chế phát hành token gốc đầu tiên trên mainnet Bitcoin mà không cần bất kỳ plugin nào, toàn bộ quá trình vận hành dựa trên atomic swap và tập lệnh covenant, không cần đến cross-chain bridge hay sidechain. Kết hợp atomic swap với tập lệnh covenant, không có địa chỉ hợp đồng để "rug pull" Theo diễn đàn Delving Bitcoin, logic cốt lõi của toàn bộ cơ chế này không phức tạp, người dùng thanh toán một lượng BTC nhất định làm chip, hợp đồng sẽ tự động chuyển token tương ứng cho người dùng thông qua atomic swap trên chuỗi. Giao dịch có tính nguyên tử, nếu không thành công hoàn toàn thì sẽ hoàn tác toàn bộ, không tồn tại trạng thái trung gian. Tác giả cho biết cơ chế này được hỗ trợ bởi khung PRECOP (Predictive Covenant Oracle Protocol) và sử dụng công cụ phát triển tự chế precp_sdk. Hợp đồng tương thích nguyên bản với ba định dạng tài sản là BTC, BRC-20 và Runes, thiết lập các quy tắc giao dịch cứng thông qua tập lệnh covenant trong cấu trúc Taproot MAST, toàn bộ quá trình được ràng buộc chặt chẽ bởi tập lệnh UTXO của mainnet Bitcoin và có thể kiểm toán công khai. Sự khác biệt căn bản so với ICO trên Ethereum nằm ở chỗ, ICO của Ethereum là gửi tiền vào một địa chỉ hợp đồng thông minh, logic hợp đồng được thực thi bởi máy ảo EVM. Giải pháp này của Bitcoin tận dụng trực tiếp đặc tính atomic swap của mô hình UTXO, để tập lệnh covenant đóng vai trò là "quy tắc cứng", thậm chí không cần đến máy ảo. Simplicity từ ý tưởng năm 2012 đến khi bước lên L1 Simplicity là ngôn ngữ hợp đồng thông minh do kỹ sư Dr. Russell O’Connor của Blockstream hình thành vào năm 2012 và chính thức ra mắt trên Liquid Network vào tháng 7 năm 2025. Nó cố tình loại bỏ các đặc tính rủi ro cao thường thấy trên Solidity như đệ quy, vòng lặp vô hạn và biến toàn cục, thay vào đó sử dụng 9 nguyên thủy (combinator) để kết hợp thành bất kỳ phép tính hữu hạn nào. Tất cả các hợp đồng đều có thể được xác minh toán học thông qua Coq trước khi triển khai để đảm bảo tính chính xác. Hiện tại, Simplicity chỉ nhận được sự hỗ trợ ở cấp độ đồng thuận trên Liquid Network, sidechain Bitcoin này có TVL khoảng 3,27 tỷ USD. Cách tiếp cận của PRECOP là bỏ qua lớp đồng thuận, áp dụng client-side validation (xác thực phía máy khách), tương tự như tư duy của giao thức RGB, cho phép hợp đồng Simplicity vận hành trên mainnet theo cách "thực thi cục bộ, thanh toán trên chuỗi". Điều này có nghĩa là sự đảm bảo an toàn đến từ tính toán cục bộ thay vì đồng thuận toàn mạng, mainnet Bitcoin hiện tại không "nhận diện" logic của Simplicity, đây là một sự đánh đổi thiết kế có chủ đích. PRECOP đã hoàn tất xác minh trên mạng thử nghiệm Mutinynet của Bitcoin và cũng đã triển khai trustless covenant đầu tiên lên mainnet. Tuy nhiên, toàn bộ dự án vẫn đang ở giai đoạn v0.1.0-alpha, trên GitHub mới chỉ có 11 commit, còn một chặng đường dài để đạt đến cấp độ sản xuất. Bản thân laz1m0v cũng đặt câu hỏi trên X: "Chúng ta có nên gửi cơ chế này lên mainnet