EVM, TinyGo, AssemblyScript, JavaScript, Python, Rust, FSMvm (finite state machine interpreter). host APIs: wasmx (our core API), wasmx crosschain, wasmx multichain ...
A formal specification language and static verifier for OP_NET AssemblyScript smart contracts. Write formal specs as structured annotations directly in your contract source files, and the verifier ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results