Ambients 简介
Ambients 协议，旨在点对点的网络中创建和验证分布式应用。 协议的主要贡献是其纯功能、安全、可组合编程模型的过程代数规范。他们结合内容寻址和位置不可知的执行模型，提出了一种新的分布式计算协议。基于环境演算的新颖，分布式重写系统保证了对环境程序的确定性评估。通过将程序的执行和控制流记录为基于 DAG 的 Merkle 树，部分排序、不可变的事件日志，确保了重写系统的确定性验证及其完整性、真实性。由于这些保证，Ambients 协议可以构建和组合真正去中心化应用、数据库和相关服务，从而在现有网络和平台中实现安全的互操作性与协作。
