深入解析 Tycho 智能合约开发的关键改进

Threaded Solidity（T-Sol）是 Tycho 区块链协议中的智能合约语言，而 Locklift 则是构建、测试和管理该协议合约的核心工具链。在最近几个月里，Broxus 的开发人员对 T-Sol 和 Locklift 均推出了一系列重大更新，旨在引入新功能并解决重要的兼容性挑战。在本文中，我们将带您深入了解工程师所面临的技术难题、他们实施的解决方案，以及这些方案为 Tycho 智能合约开发带来的全新能力。

克服主要挑战

增强工作始于对 TVM Solidity 编译器（TVM Solidity Compiler）的更新。0.72.0 版本引入了新的核心组件“sold”工具，用于构建合约，它取代了之前的“solc”和“tvm_linker”工具集。不久之后，0.73.0 版本带来了一个新的 ABI（应用二进制接口）v2.4，其中包含许多重大破坏性变更。

这些破坏性变更带来了关键挑战，因为它们未得到 Locklift 和 Broxus SDK 的支持。这实际上阻止了开发者社区使用任何高于 0.72.0 的编译器版本（即 0.72.0 之后的版本），阻碍了他们获取后续功能和改进。

为解决此挑战，Broxus 发现自己面临多个潜在路径的十字路口：

基于较旧的、变更前的编译器版本维护一个替代分支。
迁移到相关 TON 区块链协议的工具链。
拥抱挑战，集成对这些破坏性变更的全面支持。

最终，工程师们选择了一种战略性的组合，采纳了第二种和第三种方案：他们承诺支持 ABI v2.4，同时构建一座通往并行生态的桥梁。该策略涉及利用 Tycho——一种高性能的、基于 DAG（有向无环图）的区块链协议，它同样源自最初的 TON 设计。为实现此目标，他们开发了 Tycho 的 TON Center 兼容 API 和 Tycho 模拟器（TON Sandbox 的 Tycho 执行器），使得能够在协议内部使用 TON 原生工具。这种双管齐下的方法，在不限制开发者工具选择的前提下，进一步推动了 Threaded Solidity 的改进。

Locklift 的新特性

更新后的 Locklift 包含了一系列强大的功能，旨在使 T-Sol 智能合约的构建和测试更高效、更直观：

全面支持最新的编译器版本。Locklift 现已完全兼容 TVM Solidity 编译器 0.72.0 及更高版本，并使用 “sold” 工具来实现现代合约构建。
与 Tycho 的集成。Locklift 现在使用 Tycho 虚拟机 (Tycho VM) 进行本地测试。这提供了一个与 Tycho 协议相一致的环境，使开发者能够提前体验到其核心所启用的功能。
增强的调试能力。通过对 tvm.log 的完全支持，调试变得更加容易，允许您在执行期间直接从智能合约中打印详细信息。
网络分叉 (Network Forking)。这是一项改变游戏规则的测试功能：现在可以创建任何一组智能合约及其状态的本地快照。这使得开发人员能够在逼真、隔离的环境中测试复杂的交互，而不会产生任何现实后果。
任意状态管理。为实现极致的测试灵活性，开发者现在可以为任何地址设置任意状态。这使用户能够模拟在真实网络上难以或不可能设置的边缘案例和复杂场景。