含原子交易的草根平台：社交网络、加密货币与民主联邦

草根平台旨在提供全球平台的平等替代方案。与全球平台只能有单一实例不同，草根平台可以有多个实例，它们彼此独立运作且独立于任何全局资源（网络除外），并在互联后可互操作并合并为更大的实例。关键草根平台包括草根社交网络、草根加密货币和草根民主联邦。此前，草根平台通过一元分布式转移系统被形式化定义并证明为草根，其中每个转移由单个智能体执行。然而，草根平台支持更抽象的规范，即由多个智能体原子执行的事务，一元转移系统无法表达。因此，其原始规范与证明是不必要地繁琐且不透明的。我们增强了分布式转移系统的概念以包含原子交易，并在这一新基础上重新审视草根平台的概念；使用原子交易清晰规范了关键草根平台：草根社交网络中的添加好友与取消好友、草根加密货币中的币交换、以及草根民主联邦中的社区形成、加入与退出；证明了一个一般性定理，即由所谓交互式原子交易规范的平台是草根的；表明用于规范所有三个平台的原子交易是交互式的；从而得出这些平台确实是草根的。因此，我们为草根平台提供了清晰的数学基础，以及从其实现起步的坚实且明确的起点。