Stylus 除了 EVM 等效性之外，还允许开发人员使用最流行的语言（如 C、C++ 和 Rust）编写和部署智能合约，这些语言可以编译成 WASM。这带来了明显的好处：1）对开发更友好；2）执行速度更快，成本可能更低；3）从而实现了智能合约功能扩展，如：自定义预编制合约。【原文为英文】

Stylus 是如何工作的？当交易调用 EVM 合约时，Geth 执行并返回结果。如果该 EVM 合约恰好对 WASM 程序进行了子调用，那么 Stylus 就会启动并计算这部分结果。Arbitrum 将证明与执行分开。代码通常被编译为本地执行，但当挑战发生和需要欺诈证明时，也会被编译为 WASM。【原文为英文】

如何解决争议？1）第一阶段，通过类似二分法的过程准确定位分歧。验证者必须分别为状态的开始、状态的中间阶段和最终状态提供哈希值。通过与自己的哈希值进行比较，挑战者需要指明哪一半与验证者不一致。通过反复迭代这个过程，两方最终会确定一个他们不同意的单步指令；2）第二阶段，主网合约将重新执行这条单一指令并决定哪一方是诚实的。Arbitrum 团队部署了一套合约来模拟一台 WASM 机器。这也解释了 Stylus WASM 代码将如何防欺诈。