基于意图的Layer1 Saline Network是什么？

Saline 是一个 L1，能够利用意图和链上验证来验证用户设置的任何结果。

在约束规划中，您可以指定解决方案所希望的属性。例如，我有 10,000 个集装箱，分别有 50 个出发地和 50 个目的地，我希望每个集装箱从出发地移动到目的地，总成本低于 X。

有人可以提出解决方案（在航运示例中，这将在内部完成）。然后系统将验证解决方案是否满足所需的属性：成本低于 X、所有 10,000 个集装箱都已移动、所有出发地和目的地等。

该系统可以是中心化的（就像当今大多数链下用例一样），或者，如果您需要弹性、实体之间的合作以及链所擅长的其他属性，则可以采用去中心化系统。区块链是目前将此类系统去中心化的最佳解决方案。因此，应使用验证网络而不是验证系统。

至关重要的是，系统/网络仅执行验证。不进行任何计算 – 因此没有智能合约，也没有代码执行。