链狗

Ambients

网址简介:未填写

更新时间:2年前

访问次数:50

详细介绍

Ambients 协议,旨在点对点的网络中创建和验证分布式应用。 协议的主要贡献是其纯功能、安全、可组合编程模型的过程代数规范。他们结合内容寻址和位置不可知的执行模型,提出了一种新的分布式计算协议。

基于环境演算的新颖,分布式重写系统保证了对环境程序的确定性评估。通过将程序的执行和控制流记录为基于 DAG 的 Merkle 树,部分排序、不可变的事件日志,确保了重写系统的确定性验证及其完整性、真实性。由于这些保证,Ambients 协议可以构建和组合真正去中心化应用、数据库和相关服务,从而在现有网络和平台中实现安全的互操作性与协作。

项目官网: https://ambients.org

特别声明:链狗仅提供网址信息导航,与此项目无任何关联。