Giải quyết vấn đề gas của Bitcoin (mà không cần hard fork) | Ý kiến

Mỗi nền tảng hợp đồng thông minh đều có một tài sản phí tích hợp sẵn. Ví dụ, Ethereum (ETH) có ETH, Solana (SOL) có SOL, nhưng với Bitcoin (BTC), mọi chuyện trở nên phức tạp hơn. Nếu bạn muốn các ứng dụng thể hiện rõ ràng, bạn thường phải chấp nhận kinh tế của mạng lưới thứ hai.

Tóm tắt

• Bitcoin không định giá tính toán, chỉ định giá không gian khối. Khác với Ethereum hoặc Solana, thị trường phí của BTC dựa trên sat/vB cho việc đưa giao dịch vào khối, không phải đo lường thực thi hợp đồng thông minh.
• Việc thực thi có thể diễn ra ngoài chuỗi trong khi việc thanh toán vẫn giữ trên Bitcoin. Các hệ thống như OpNet chạy logic hợp đồng trong một VM Wasm trong khi cố định thanh toán và các thay đổi trạng thái cuối cùng qua các giao dịch BTC bình thường.
• BTC có thể hoạt động như tài sản phí mà không cần token mới. Bằng cách định giá chi phí thực thi bằng satoshi và thanh toán các tương tác qua các giao dịch Bitcoin, các ứng dụng tránh việc tạo ra một nền kinh tế phí thứ hai.

Ví dụ, trên Stacks, bạn trả phí bằng STX. Trên các lớp Bitcoin kiểu EVM, bạn có thể được nói rằng BTC là token phí, nhưng thường đó là biểu diễn bản địa của Layer 2 với các quy ước giống EVM (bao gồm 18 thập phân), và bạn vẫn hoạt động trong môi trường Layer 2 đó. Trong khi đó, Bitcoin đã có một thị trường phí rõ ràng, nơi người dùng đấu giá không gian khối theo sat/vB, và thợ đào ưu tiên các mức phí cao hơn.

Với suy nghĩ này, điều gì sẽ xảy ra nếu một tương tác hợp đồng thông minh có thể được khởi tạo và thanh toán như một giao dịch Bitcoin bình thường, với phí tính bằng BTC (không cần token gas hoặc fork bổ sung) trong khi phần hợp đồng chạy ở nơi khác và vẫn có thể chứng minh liên kết trở lại Bitcoin? OpNet đang cố gắng cung cấp câu trả lời.

Bitcoin không đo lường tính toán (đây là vấn đề)

Thị trường phí của Bitcoin rất tốt trong một việc: định giá không gian khối. Bạn cạnh tranh theo sat/vB, thợ đào chọn các mức phí cao nhất, và mạng lưới giữ cho mọi thứ đơn giản và chống lại các tấn công. Điều Bitcoin không làm là chạy một môi trường thực thi đa mục đích, nơi chuỗi có thể đo lường và tính phí cho các phép tính tùy ý. Bitcoin Script cố ý không trạng thái và không Turing-complete, đặc biệt thiếu vòng lặp hoặc goto, để mỗi nút có thể xác thực script một cách dự đoán được mà không mở ra khả năng tính toán không giới hạn.

Đó là lý do hầu hết các phương pháp hợp đồng thông minh của Bitcoin đều đặt thực thi ở hệ thống riêng biệt có thể đo lường tính toán và có thị trường phí riêng. Khi bạn có lớp thực thi riêng đó, nó thường đi kèm với một tài sản phí riêng (ví dụ, Stacks tính phí bằng STX).

Điều này không lý tưởng, và một hệ thống mà bạn có thể giữ thanh toán trong thị trường phí bản địa của Bitcoin trong khi di chuyển thực thi ra nơi khác sẽ tốt hơn.

Thực thi không phải là điều Bitcoin cần làm

Khi bạn chấp nhận rằng Bitcoin Script cố ý bị giới hạn (không trạng thái và không thiết kế cho tính toán không giới hạn), bạn bắt đầu nghĩ về cách để Bitcoin thanh toán kết quả và các khoản thanh toán.

Thật vậy, việc thực thi có thể diễn ra trong một máy ảo chuyên dụng được xây dựng để chạy logic hợp đồng thông minh một cách xác định, trong khi Bitcoin vẫn là lớp nền để đánh dấu thời gian, sắp xếp và định giá các tương tác qua thị trường phí hiện có của nó. Trong thiết kế của OpNet, logic hợp đồng được đánh giá bởi một VM hướng tới Wasm (OP-VM), trong khi toàn bộ hệ thống nút được xây dựng rõ ràng để quản lý và thực thi hợp đồng thông minh bằng cơ chế giao dịch và UTXO của Bitcoin.

Điều quan trọng là, điều này không đi kèm với một tài sản phí mới. Bitcoin không cần đo lường tính toán để trở thành tiền gas. Nó cần là lớp thanh toán cuối cùng mà mọi thứ cuối cùng đều thanh toán vào và dựa vào đó để định giá.

Một cuộc gọi hợp đồng trả phí bằng BTC trông như thế nào

Mô hình tương tác của chúng tôi theo kiểu mô phỏng rồi mới chi tiêu thay vì theo mẫu thực thi hợp đồng thông minh truyền thống, với bước thực thi cuối cùng diễn ra như một giao dịch Bitcoin thực sự. Đầu tiên, ứng dụng của bạn gọi một phương thức hợp đồng trong chế độ mô phỏng. Yêu cầu đó đi qua nhà cung cấp đến một nút OPNet, nơi thực thi hợp đồng trong VM của nó và trả về một CallResult (bao gồm ước lượng phí/gas) mà không phát broadcast gì lên Bitcoin.

Nếu cuộc gọi thay đổi trạng thái, bạn lấy CallResult đó và gửi nó như một lệnh thực thi. Lúc này, thư viện sẽ xây dựng một giao dịch Bitcoin, ký nó và phát broadcast lên mạng Bitcoin. Hai điểm cần nhớ:

• Phí thợ đào là bản địa của Bitcoin. Bạn chọn một mức phí theo sat/vB, có thể thêm phí ưu tiên bằng sats, và đặt giới hạn cứng về chi phí phí qua tham số maximumAllowedSatToSpend (tham số này tên là chính xác như vậy).
• Mục tiêu hợp đồng được thể hiện dưới dạng địa chỉ hợp đồng kiểu P2OP. Phiên bản hợp đồng của hợp đồng thể hiện định dạng địa chỉ p2op, và các giao dịch tham chiếu đến “địa chỉ hợp đồng p2op” như đích của hợp đồng.

Trong khi đó, việc đo lường tính toán của OpNet vẫn tồn tại. Nhưng nó được định giá bằng satoshi (ước lượng GAS SATS, hoàn tiền trong SATS, v.v.), vì vậy đơn vị này không bao giờ lệch vào nền kinh tế token riêng biệt.

Ít ma sát hơn, khuyến khích rõ ràng hơn

Người dùng không còn phải chấp nhận một nền kinh tế phí thứ hai chỉ để tương tác với các ứng dụng nữa. Trên Bitcoin, phí đã là một cuộc đấu giá cho không gian khối, định giá theo byte và trả cho thợ đào. Khi các cuộc gọi hợp đồng chỉ là các giao dịch Bitcoin, bạn trở lại với mặt đất quen thuộc (với phí sat/vB, hoạt động trong mempool, và các khuyến khích của thợ đào), mà không cần phải học một thị trường token gas riêng biệt.

Ngoài ra, các công cụ hỗ trợ phù hợp với quy trình làm việc tiêu chuẩn của Bitcoin như xử lý UTXO, kết nối nhà cung cấp, thậm chí ký offline/lạnh. Các hợp đồng sống trong môi trường chạy Wasm và được viết bằng AssemblyScript, hướng tới khả năng thể hiện như Solidity mà không giả vờ Bitcoin Script đột nhiên trở thành một VM.

Bitcoin như gas, không cần token thứ hai

Khẳng định rằng BTC không thể hoạt động như gas thường dựa trên giả định rằng lớp nền phải đo lường tính toán để định giá. Bitcoin không đo lường tính toán; nó đo lường không gian khối và định giá giá trị.

Giải pháp là để một máy ảo xử lý thực thi một cách xác định, rồi định tuyến mọi tương tác thay đổi trạng thái qua một giao dịch Bitcoin tiêu chuẩn, trong đó phí được thể hiện bằng các thuật ngữ quen thuộc như sat/vB và giới hạn trong satoshi. Trong trường hợp của chúng tôi, điều này được thực hiện ở cấp độ khách hàng thông qua các tham số như feeRate và maximumAllowedSatToSpend.

Vì vậy, có thể BTC-as-gas thực sự khả thi. Phí giữ nguyên bản địa của BTC từ đầu đến cuối, trong khi môi trường thực thi hợp đồng vẫn dựa trên WebAssembly (AssemblyScript → Wasm), giúp giữ cho logic thể hiện mà không cần thay đổi đơn vị phí.

Frederic Fosco

Frederic Fosco, còn gọi là Danny Plainview, là đồng sáng lập OP_NET và đã tham gia Bitcoin từ năm 2013. Ông đã ra mắt OP_NET nhằm làm cho Bitcoin có thể lập trình bản địa, mở khóa hợp đồng thông minh và các nguyên thủy DeFi trực tiếp trên layer-1. Mục tiêu của ông là xây dựng chức năng thực sự trên chuỗi mà không cần cầu nối, người giữ, wrapping hoặc Bitcoin tổng hợp, giữ quyền tự quản lý và phi tập trung là không thể thương lượng.