Automata Network

Automata Network 是一个模块化证明层，通过在机器性证明方法中利用乐观汇总和零知识证明，将机器级信任扩展到以太坊。特定于应用程序的汇总允许对协议外计算进行链上验证，从而创建一条不间断的信任链，向上延伸到整个 Web3 堆栈。