现在Chainlink所提的不是跨链，而是多链合作的机制，多BC、多SC、多OM合作的应用系统。比如说每个应用都需要有“区块链家”（Homebase blockchain），这就是它的主要区块链系统。这种应用可以使用许多BC或OM的数据，而这些BC和OM都必须签名以保证提供数据的正确性，这样区块链网络系统就变成了一种复杂的、可信任的网络系统，而不是传统的跨链网络系统。

6.基于区块链的新型软件工程出现：新型数字金融出现

传统软件工程工具包括编译器、数据库系统、操作系统、云、容器等，但不是可信软件工程机制，而是属于系统或应用；现在，BC（自带不可篡改性）、SC、OM，都自带可信机制，加上动态STRISA、LSO工具，新型软件工程架构出现。

传统软件可信的评判标准包括可靠性（Reliability）、安全性（Safety）、保密性（Security）、容错性（Fault Tolerance）、时效性（Real Time），这在新型软件工程中仍然成立，但是会出现更多的工具。以后，这些新工具都可以是软件工程标配，和操作系统、数据库一样，和设计模式（Design Patterns）、框架（Frameworks）一样是标配；和互联网的网络一样也是基础设施。

深度学习的发展可以帮助我们理解这一点。因为有好的深度学习软件工具出现，开展深度学习实验和应用的门槛降低，许多本科生或是高中生都可以从事深度学习实验和应用。

而按照现在美联储等的布局，以后必定会出现区块链网络，相关的软件工具也会出现。这些软件工具可以助力SC的建模、开发和验证，并且运行在区块链网络上。这就是可编程的数字金融，也是新型货币战争的第三阶段。那时，由于大量工具出现，本科生或是高中生，都可以使用网上（更正确一点是链上）的软件工具，开发可编程的数字金融。建立一个新区块链应用系统，以后可能只需要几天，而不是像现在这样需要许多人年才能完成。

最近SC上的工作已经出现软件工程思想，例如国际掉期交易协会（International Swaps and Derivatives Association, ISDA）竟然在没有使用任何代码的情况下提出SC标准，这表示大量的SC工作和代码没有任何关系，而是和法律、金融交易相关，这符合软件工程的原则——软件需求不同于软件代码；美国和英国合作的雅阁项目（Accord Project），也是从法律出发，且又使用形式化语言，属于法律和高科技结盟的SC产品；而中国的比格犬模型(Beagle Model)，也是结合法律、金融和软件工程的方法，例如领域工程；美国斯坦福大学的CodeX计划中的可计算的合同（Computable contracts）项目也是大量使用逻辑学和机器学习方法。

形式化方法对可信软件工程的发展与推进起到至关重要的作用，它以一种标准化的模式对可信软件进行规范化，提供一个高效、统一的结构框架能够同时支持多种可信性质，能够将关键性质进行有机集成。这就是皋陶模型的精神（参见《智能合约：重构社会契约》第19章）。 (责任编辑：admin)