多虧了unwriter的Neon Planaria和Bitbus庫，比特幣開發者現在有了一種簡單的方法來將離線應用狀態和挖掘節點同步。我們不僅可以根據塊的高度進行排序，而且還可以對交易進行塊內索引！ 這就是我們在比特幣之上建立完全圖靈完整應用所需要的。

Planaria安全模型

1. 一致性/可用性：所有運行應用程序代碼的服務器都可能在一段任意的時間內停止運行，但稍后仍然可以通過從最后看到的塊中進行抓取來恢復。這意味著應用程序提供者可以優雅地退出并重新聯機，而不存在一致性風險。可用性取決于為用戶提供應用程序的經濟動機。

2. 驗證：任何人都可以啟動應用服務器并驗證當前狀態。驗證器首先獲取應用程序代碼，然后從第一個塊中抓取應用程序，直到當前塊的高度。這是一個線性時間驗證方案，等價于在核心網絡上挖掘節點，但是只有一個應用程序子集處于區塊鏈狀態。

3.法律：如果API提供者使用錯誤的合約狀態進行欺騙，那么捕獲它們并在必要時在法庭上提供證據就變得非常簡單。因為所有的東西都來自于鏈上的磁帶，所以沒有辦法“做假賬”而不受懲罰。

CPU /內存插件

目前基于Planaria的應用程序，如twetch和bicomedia，本質上是比特幣的硬盤擴展。這類應用程序能夠從op return事件中刮取數據庫或文件系統上的靜態內容并為其提供服務。

如果可以使用與存儲應用程序相同的屬性對數據進行復雜的驗證和任意操作，情況會怎樣？

虛擬機

虛擬機抽象在底層硬件上，允許計算在各種CPU架構上統一運行。這對于需要在許多不同機器上長時間運行的智能合約非常有用。你永遠不會知道，ARM服務器可能會在5年內成為必備品！

使用Web匯編虛擬機，我們可以將c++或Rust代碼編譯為WASM字節碼。然后為底層方法生成ABI和Javascript接口。

合約

您可以編寫基于狀態類的程序，就像可靠合約的對應程序一樣。這是一個ERC20ish端口的頭文件：

1. 編譯合約以生成字節碼和ABI。

我們可以利用諸如Emscripten之類的Web組裝工具來自動編譯和生成c++契約代碼的Javascript接口。類似的工具也可用于Rust.。

2. 在on chain op_return中部署合約字節碼。

與其他智能契合約平臺類似，通過將字節碼存儲在op_return輸出的鏈上部署合約。合約標識符由使用b://協議的交易哈希值確定。

OP_RETURN

19HxigV4QyBv3tHpQVcUEQyq1pzZVdoAut

［wasm_bytecode］

wasm

Binary

Token.cpp

寫入

所有寫入操作都是使用更高級的語義（指定op return中的約定、方法和輸入參數）對鏈式交易進行的。Planaria節點會刮掉事件日志，并在方法調用鏈上出現時簡單地按順序運行它們。

OP_RETURN

［deploy_transaction_hash］

［method_id］

［params_array］

json

UTF-8

可擴展性

開發人員可以很容易地使用云平臺上可用的普通硬件或虛擬cpu。

對于純粹基于WASM的合約，限制因素是內存。對于使用帶有34字節地址的c++ std：：map到32字節無符號整型的代幣合約，我們可以在16gb的機器上實現大約2億的余額。為了克服內存限制，我們可以將Web Assembly MemFS掛載到底層操作系統，并開始使用硬盤驅動器！

不像以太坊這樣的平臺，所有的合約都由一個VM運行，比特幣智能合約已經完全分割為每個合約一個VM。實際上，您可以在每個合約上運行無限數量的VM，從而繼續提高最終用戶的可用性。

結論

你不僅可以為比特幣編寫智能合約，因為這樣做更容易擴展。

已證明的用于合約的第一個用例是代幣。嚴格的op_return框架（比如代幣化的op_return框架）似乎過于死板，不適合代幣提供的各種用例。通過程序的靈活性，您可以指定歸屬時間表、荷蘭式拍賣、檢查批準等等。