Michael "Mo" Dong 是一位华裔美国计算机科学家、企业家和投资者，以联合创立 区块链 基础设施项目 Celer Network 和 Brevis 而闻名。凭借在分布式系统、网络协议和 零知识 密码学方面的背景，他的工作主要集中在解决区块链的可扩展性和计算限制。在进入 Web3 领域之前，Dong 是网络验证初创公司 Veriflow 的创始工程师，该公司已被 VMware 收购。^{[1] [2] [3]}​

教育背景

Dong 于 2008 年至 2012 年间在上海交通大学获得了电子工程学士学位。随后，他前往美国攻读博士学位，并于 2017 年在伊利诺伊大学厄巴纳-香槟分校（UIUC）获得了计算机科学博士学位。他的博士研究重点是高性能分布式系统、算法网络验证以及博弈论在网络协议设计中的应用。 ^{[1] [4]}

在学术生涯期间，Dong 的研究成果发表在包括 ACM SIGCOMM 和 IEEE INFOCOM 在内的顶级国际会议上。他的工作被引用了数千次，并被谷歌（Google）和 AT&T 等主要科技公司采用，用于网络协议的设计和验证。 ^[3] Dong 曾指出，他的博士研究工作如何直接转化为区块链行业的挑战，他表示：“我的博士研究方向是计算机网络，特别是网络系统的算法设计和博弈论应用，这实际上可以很好地转化到区块链领域，因为区块链是一个具有有趣经济层的大型分布式系统。” ^[5]

早期职业生涯

在联合创立 Celer Network 之前，董沫在硅谷担任工程师和产品经理。他是 Veriflow 的创始成员，该公司开发了用于计算机网络形式化验证的技术，旨在防止网络中断和安全漏洞。从 2014 年到 2018 年，他在 Veriflow 担任工程团队负责人和产品经理。该公司后来被 VMware 收购。^{[1] [3]}

除了在 Veriflow 的职位外，董沫还是 Barefoot Networks 的创始工程师，该公司专注于可编程网络硬件，随后被英特尔收购。他的早期职业生涯还包括在 Nicira、微软研究院（Microsoft Research）和谷歌（Google）等多家大型科技公司实习。^{[6] [2]}

职业生涯

Celer Network

2018 年，Dong 与他在 UIUC、麻省理工学院（MIT）和加州大学伯克利分校（UC Berkeley）等高校学术生涯中结识的博士同僚刘俊达（Junda Liu）、李小舟（Xiaozhou Li）和梁清凯（Qingkai Liang）共同创立了 Celer Network。该团队在分布式系统和网络协议方面的集体专业知识是该项目的核心驱动力。^{[1] [7]}​

Dong 将创立 Celer 的动机描述为对早期区块链性能问题的直接回应。他在 2018 年的一次采访中表示：“我们的核心专长在于设计和构建大规模、高性能的分布式系统……当我们在 2017 年审视当今的区块链时，我们看到了这种灾难性的可扩展性问题。” ^[1] 该项目的最初目标是通过创建一个 Layer 2 扩容平台，为“区块链带来互联网规模”。^[2]​

最初，Celer 专注于链下扩容解决方案，利用状态通道技术为支付和通用智能合约交互实现快速且低成本的交易。随着时间的推移，该项目将其重点转向了区块链互操作性。它因其 Celer 跨链消息（IM）框架和 cBridge 而闻名，cBridge 是一种跨链资产桥，旨在促进代币和任意数据在众多区块链之间的传输。^[7]​

Brevis

2023 年，Dong 联合创立了 Brevis，这是从 Celer Network 剥离出来的项目，他担任该公司的首席执行官。^{[1] [6]} Brevis 是一种零知识 (ZK) 协处理器，旨在克服智能合约在计算和数据访问方面的限制。该协议作为一个无须信任的计算层，允许去中心化应用 (dApps) 读取任何区块链的历史数据，在链下运行复杂且可定制的计算，并通过 ZK 证明在链上验证结果。这使得高级 DeFi、数据驱动的奖励系统和链上游戏等领域的应用场景成为可能，而这些场景此前由于链上 Gas 成本和技术限制而无法实现。^{[8] [9]}

Dong 是 Brevis 技术白皮书《Micar: A ZK Coprocessor for Universal Blockchain Data Attestation》的合著者，该书详细介绍了系统的架构。作为母实体 Brevis Network Ltd. 的董事，他监督了其核心技术的开发。^[10] 该项目的一个早期里程碑是被称为“Zirco”的组件。^[4] 2025 年 2 月 11 日，Brevis 推出了“Pico”，这是一个高性能、开源且等同于以太坊的 Type 1 零知识虚拟机 (ZKVM)。关于此次发布，Dong 表示：

“Pico 填补了 ZKVM 市场的关键空白，提供了我们认为社区许多人一直在等待的东西：一个完全开源、高性能且等同于以太坊的 ZKVM，它完全专注于去中心化证明者网络。” ^[7]

2024 年 11 月，Brevis 宣布在以未来代币简单协议 (SAFT) 形式进行的种子轮融资中筹集了 750 万美元。该轮融资由 Polychain Capital 和 Binance Labs 共同领投。在宣布融资时，该 ZK 协处理器正处于主网测试阶段，并已被包括 Kwenta、JoJo Exchange 和 Trusta 在内的合作伙伴使用。Dong 指出，这笔资金将用于扩大团队、加速产品开发以及启动去中心化证明者网络。^[9]

风险投资与投资

除了担任创始人外，Dong 还作为投资者活跃在更广泛的 web3 生态系统中。他担任加密原生风险投资公司 IOSG Ventures 的风险合伙人。他还对 web3 基础设施公司进行了多项天使投资。他的投资组合包括：^[5]

• OpenGradient： 参与了 2024 年 10 月的 850 万美元种子轮融资。
• ZkCloud： 参与了 2024 年 1 月的 600 万美元种子轮融资。
• Ingonyama： 参与了 2024 年 1 月的 2100 万美元种子轮融资。
• LI.FI： 参与了 2022 年 7 月的 550 万美元战略轮融资。 此信息基于与这些融资轮次相关的公开记录和公告。^[5]

出版物与技术贡献

在整个职业生涯中，董博士对学术研究和应用技术都做出了重大贡献。他的博士研究成果发表在计算机科学领域的知名刊物上，并被工业界广泛引用和实施。^[3] 作为 Celer 和 Brevis 的联合创始人，他是其技术愿景的核心架构师，应用分布式系统和形式化方法的原理来解决区块链的扩展性和互操作性挑战。^[1] 他还是 Brevis 白皮书《Micar：高性能且功能完备的 ZK 协处理器》的合著者，该白皮书概述了使智能合约能够对任意区块链数据进行去信任计算的技术基础。^[10]

访谈

Celer Network 的跨链互操作性 #01

在 2022 年 4 月 9 日 YouTube 频道 Crypto Coin Show 发布的一场采访中，Celer Network 联合创始人董沫博士讨论了区块链系统互操作性相关的挑战，并概述了该项目采取的方法。

董博士将区块链网络的扩张描述为产生了多个相互独立且缺乏直接连接的系统。根据他的解释，这种结构导致了跨链应用和流动性的重复，同时也增加了用户在不同网络间转移资产或与协议交互时的操作步骤。

他指出，Celer Network 被设计为一个旨在连接独立区块链的通信层。其中提到的一个组件是 cBridge，这是一种资产转移机制，支持在受支持的网络之间移动代币。该功能被呈现为更广泛架构的一部分，而非完整的解决方案。

采访还涉及了该项目开发的跨链消息传递框架。据董博士介绍，该系统允许应用程序进行跨链交互，而无需用户手动在网络间转移资产。在这种模式下，用户可以从一条区块链发起交互，同时访问另一条链上的资源或服务。

董博士进一步描述了这种方法支持的潜在用例，包括跨链代币交换、跨越多个网络的治理流程，以及借贷等去中心化金融操作。这些功能被作为应用程序如何跨越多个区块链运行的示例。

安全性考量也在讨论之列。所描述的模型结合了基于 Cosmos 基础设施的权益证明（PoS）系统，以及受乐观回滚（Optimistic Rollup）设计启发的额外延迟机制。其他操作措施，如交易限制和多步骤验证流程，也被提及作为系统设计的一部分。

关于网络代币，董博士表示，它用于底层区块链内的质押、参与治理流程，以及分配与网络活动相关的费用。

采访最后提到了生态系统中开发者、验证者和用户的持续开发与参与。^[11]

Brevis 与可验证链下计算 #02

在 YouTube 频道 Web3Privacy Now 于 2025 年 12 月 12 日发布的一段采访中（录制于 2025 年布宜诺斯艾利斯举行的以太坊赛博朋克大会 ECC#2），Brevis 的联合创始人兼首席执行官 Michael Dong 描述了当前区块链架构的相关局限性，并概述了 Brevis 的设计方法，该方法被称为 Web3 的“无限计算层”。

Dong 指出，现有的区块链系统，特别是 Layer 1 网络，依赖于在多个节点上重复执行相同的计算以达成共识。根据他的解释，这种结构增加了运营成本，并限制了可以直接在链上实现的应用程序范围，包括那些需要大规模处理历史数据的功能，例如去中心化交易所中的交易活动分析。

他将基于零知识 (ZK) 证明的可验证计算描述为一种替代方案。在这种模型中，单个实体执行计算并生成一份证明，其他人无需重新执行过程即可验证该证明。这实现了计算与验证的分离，且无论原始任务多么复杂，验证过程在计算上都保持低成本。

在此框架内，Dong 解释说 Brevis 允许在链下环境中执行计算，同时将证明提交给区块链进行验证。他将这种方法定性为一种处理计算任务的手段，而这些任务由于成本或资源限制，在链上执行是不切实际的。

Dong 表示，Brevis 已集成到包括 MetaMask、PancakeSwap、Uniswap 和 Beefy 在内的去中心化应用程序中。在这些场景中，该系统被描述为支持诸如链下计算交易相关指标、在不披露底层数据的情况下生成证明，以及根据可验证的活动分发奖励等功能。他还提到了用户可以证明交易量以获得费用调整，或在不透露钱包细节的情况下证明代币持有量的实现案例。

他进一步提到了 Brevis 在代币激励系统和现实世界资产 (RWA) 场景中的应用，包括基于用户与协议的可验证交互来分发奖励的机制。这些系统被描述为在没有中心化验证的情况下运行，而是依赖于加密证明。

从技术角度来看，Dong 介绍了 Pickle ZKVM，这是一种基于 RISC-V 的零知识虚拟机，旨在支持通用计算。该系统允许开发人员使用高级语言编写程序，并将其编译为可验证的证明。他指出，这种方法可以扩展到更广泛的区块链流程，包括区块执行的验证，即由单个节点执行计算，其他节点通过证明验证结果。

该演示还包括对拟议的 Brevis 证明者网络的描述，旨在协调分布式参与者之间的证明生成。根据 Dong 的说法，该网络使用一种基于拍卖的机制（称为真实在线双向拍卖），在不同类型的工作负载中分配计算任务。

演示从 Dong 的角度将 Brevis 描述为一种通过链下计算结合链上验证来扩展区块链功能的方法，其应用涵盖去中心化金融、隐私保护系统以及协议级激励设计。^[12]