并行计算

本文档介绍了 Constantine's Threadpool 的设计，它受到了 Weave 和 nim-taskpools 的启发，旨在提供高性能、低开销、节能的多线程运行时环境，并着重考虑了高可靠性、可审计性和可维护性。设计关键包括分布式任务队列、减少内存分配、自适应工作窃取、数据并行中的惰性二分分割以及在等待 future 时的回退机制。

ZisK 团队在可验证计算领域取得了突破性进展，他们实现了 1.5 GHz 的 RISC-V 跟踪生成速度，比其他公开的 zkVM 快约 10 倍。该方案通过高效的代码翻译和内存解耦并行化策略实现了这一目标，解决了零知识证明中最顽固的瓶颈问题，为实时、按需的 ZK 证明铺平了道路。

PADO 和 AO 联合发起可验证的机密计算（VCC），通过zkFHE技术彻底改变了区块链的保密性和完整性。 zkFHE将完全同态加密（FHE）与零知识（ZK）证明结合在一起，确保隐私、计算完整性和通用计算。与 AO 和 Arweave 网络无缝集成，PADO 的 zkFHE 网络将确保 AO 生态

Arweave 最新提出的 AO 协议，在存储公链上实现超高性能运算甚至达成准Web2的体验。这与我们目前所熟知的扩容方式和架构设计似乎有着巨大的差别，那么 AO 究竟是什么？支持其性能的逻辑又从何而来？