**마이클 "모" 동(Michael "Mo" Dong)**은 블록체인 인프라 프로젝트인 셀러 네트워크(Celer Network)와 브레비스(Brevis)를 공동 창립한 것으로 알려진 중국계 미국인 컴퓨터 과학자, 기업가 및 투자자입니다. 분산 시스템, 네트워크 프로토콜 및 영지식 암호학 분야의 배경을 가진 그의 연구는 주로 블록체인의 확장성 및 계산적 한계를 해결하는 데 중점을 두고 있습니다. Web3 분야에 뛰어들기 전, 동(Dong)은 VMware에 인수된 네트워크 검증 스타트업 베리플로우(Veriflow)의 창립 엔지니어로 활동했습니다. ^{[1] [2] [3]}​

교육

Dong은 2008년부터 2012년까지 상하이 교통대학교에서 전자공학 학사 학위를 취득했습니다. 이후 미국에서 박사 과정을 밟아 2017년 일리노이 대학교 어바나-샴페인(UIUC)에서 컴퓨터 과학 박사(Ph.D.) 학위를 받았습니다. 그의 박사 연구는 고성능 분산 시스템, 알고리즘 네트워크 검증, 그리고 네트워크 프로토콜 설계에 대한 게임 이론의 적용에 초점을 맞추었습니다. ^{[1] [4]}​

학술 활동 기간 동안 Dong의 연구는 ACM SIGCOMM 및 IEEE INFOCOM을 포함한 세계 최고 수준의 국제 컨퍼런스에 발표되었습니다. 그의 연구는 수천 번 인용되었으며, 구글(Google) 및 AT&T와 같은 주요 기술 기업의 네트워크 프로토콜 설계 및 검증에 채택되었습니다. ^[3] Dong은 자신의 박사 연구가 블록체인 산업의 과제들과 어떻게 직결되는지에 대해 다음과 같이 언급했습니다. "저의 박사 전공은 컴퓨터 네트워킹이었으며, 특히 네트워크 시스템을 위한 알고리즘 설계와 게임 이론 응용 분야였습니다. 블록체인은 흥미로운 경제 계층을 가진 대규모 분산 시스템이기 때문에, 이 연구들은 실제로 블록체인 분야에 매우 잘 적용됩니다." ^[5]​

초기 경력

Celer Network를 공동 창립하기 전, Dong은 실리콘밸리에서 엔지니어 및 제품 관리자로 활동했습니다. 그는 정전 및 보안 침해를 방지하기 위해 컴퓨터 네트워크의 형식 검증 기술을 개발한 스타트업인 Veriflow의 창립 멤버였습니다. 그는 2014년부터 2018년까지 Veriflow에서 엔지니어링 팀 리드 및 제품 관리자로 근무했습니다. 이 회사는 이후 VMware에 인수되었습니다. ^{[1] [3]}

Veriflow에서의 역할 외에도, Dong은 프로그래밍 가능한 네트워킹 하드웨어 전문 기업이자 이후 Intel에 인수된 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는 오프체인 확장 솔루션에 집중하여, 상태 채널(state channel) 기술을 활용해 결제 및 일반적인 스마트 계약 상호작용을 위한 빠르고 저렴한 트랜잭션을 가능하게 했습니다. 시간이 흐르면서 프로젝트는 블록체인 상호운용성으로 초점을 진화시켰습니다. 이후 수많은 블록체인 간에 토큰과 임의의 데이터 전송을 용이하게 하는 크로스 체인 자산 브리지인 cBridge와 Celer Inter-chain Message (IM) 프레임워크로 널리 알려지게 되었습니다. ^[7]​

Brevis

2023년, 동(Dong)은 Celer Network에서 스핀오프된 Brevis를 공동 창립하고 회사의 CEO를 맡았습니다. ^{[1] [6]} Brevis는 스마트 컨트랙트의 연산 및 데이터 액세스 제한을 극복하기 위해 설계된 영지식(ZK) 코프로세서입니다. 이 프로토콜은 탈중앙화 애플리케이션(dApps)이 모든 블록체인에서 과거 데이터를 읽고, 오프체인에서 복잡하고 맞춤화된 연산을 실행하며, 그 결과를 ZK 증명을 통해 온체인에서 검증받을 수 있도록 하는 신뢰가 필요 없는(trust-free) 연산 레이어 역할을 합니다. 이를 통해 온체인 가스 비용과 기술적 제약으로 인해 불가능했던 고급 DeFi, 데이터 기반 보상 시스템, 온체인 게임 등의 분야에서 활용 사례를 가능하게 합니다. ^{[8] [9]}

동은 시스템 아키텍처를 상세히 설명하는 Brevis 기술 백서인 "Micar: A ZK Coprocessor for Universal Blockchain Data Attestation"의 공동 저자입니다. 모회사인 Brevis Network Ltd.의 이사로서 그는 핵심 기술 개발을 감독해 왔습니다. ^[10] 프로젝트의 초기 이정표 중 하나는 "Zirco"라고 불리는 구성 요소였습니다. ^[4] 2025년 2월 11일, Brevis는 고성능 오픈 소스이자 이더리움 호환 Type 1 ZK 가상 머신(ZKVM)인 "Pico"를 공개했습니다. 출시와 관련하여 동은 다음과 같이 언급했습니다:

"Pico는 커뮤니티의 많은 이들이 기다려온 것, 즉 탈중앙화된 증명자 네트워크에 전적으로 집중하는 완전한 오픈 소스이자 고성능의 이더리움 호환 ZKVM을 제공함으로써 ZKVM 시장의 중요한 공백을 메웁니다." ^[7]

2024년 11월, Brevis는 미래 토큰에 대한 단순 합의(SAFT) 구조로 진행된 시드 펀딩 라운드에서 750만 달러를 유치했다고 발표했습니다. 이 라운드는 Polychain Capital과 Binance Labs가 공동 주도했습니다. 발표 당시 ZK 코프로세서는 베타 메인넷 단계에 있었으며 Kwenta, JoJo Exchange, Trusta 등의 파트너들이 사용하고 있었습니다. 동은 이 자금이 팀 확장, 제품 개발 가속화 및 탈중앙화 증명자 네트워크 출시에 사용될 것이라고 밝혔습니다. ^[9]

벤처 캐피털 및 투자

창업자로서의 역할 외에도, Dong은 투자자로서 더 넓은 web3 생태계에서 활발하게 활동하고 있습니다. 그는 크립토 네이티브 벤처 캐피털 회사인 IOSG Ventures의 벤처 파트너(Venture Partner)로 재직 중입니다. 또한 그는 여러 웹3 인프라 기업에 엔젤 투자를 진행했습니다. 그의 투자 포트폴리오는 다음과 같습니다: ^[5]​

• OpenGradient: 2024년 10월, 850만 달러 규모의 시드 라운드에 참여.
• ZkCloud: 2024년 1월, 600만 달러 규모의 시드 라운드에 참여.
• Ingonyama: 2024년 1월, 2,100만 달러 규모의 시드 라운드에 참여.
• LI.FI: 2022년 7월, 550만 달러 규모의 전략적 라운드에 참여. 이 정보는 해당 자금 조달 라운드와 관련된 공개 기록 및 발표를 바탕으로 합니다. ^[5]

출판물 및 기술적 기여

경력 전반에 걸쳐 Dong은 학술 연구와 응용 기술 분야 모두에서 상당한 기여를 해왔습니다. 그의 박사 과정 연구는 저명한 컴퓨터 과학 학술지에 게재되었으며, 이는 업계에서 널리 인용되고 구현되었습니다. ^[3] Celer 및 Brevis의 공동 창립자로서 그는 분산 시스템 및 형식 기법(formal methods)의 원리를 적용하여 블록체인 확장성 및 상호 운용성 문제를 해결함으로써 기술적 비전의 핵심 설계자 역할을 수행했습니다. ^[1] 또한 그는 스마트 컨트랙트가 임의의 블록체인 데이터에 대해 신뢰 없이 계산할 수 있도록 하는 기술적 토대를 설명하는 Brevis 백서 "Micar: 고성능 및 풀기능 ZK 코프로세서"의 공동 저자이기도 합니다. ^[10]

인터뷰

Celer Network의 크로스체인 상호운용성 #01

2022년 4월 9일 유튜브 채널 Crypto Coin Show에 게시된 인터뷰에서 Celer Network의 공동 창립자인 Mo Dong 박사는 블록체인 시스템의 상호운용성과 관련된 과제를 논의하고 프로젝트의 접근 방식을 설명합니다.

Dong 박사는 블록체인 네트워크의 확장이 직접적인 연결성 없이 작동하는 다수의 독립적인 시스템을 초래했다고 설명합니다. 그의 설명에 따르면, 이러한 구조는 체인 간의 중복된 애플리케이션과 유동성을 발생시키며, 사용자가 자산을 전송하거나 다른 네트워크의 프로토콜과 상호작용할 때 추가적인 단계를 거치게 만듭니다.

그는 Celer Network가 서로 다른 블록체인을 연결하기 위한 통신 레이어로 설계되었다고 명시합니다. 언급된 구성 요소 중 하나인 cBridge는 지원되는 네트워크 간에 토큰 이동을 가능하게 하는 자산 전송 메커니즘입니다. 이 기능은 완전한 솔루션이라기보다는 더 넓은 아키텍처의 일부로 제시됩니다.

인터뷰에서는 프로젝트에서 개발한 메시지 전달 프레임워크도 다룹니다. Dong 박사에 따르면, 이 시스템은 사용자가 네트워크 간에 자산을 수동으로 전송할 필요 없이 애플리케이션이 체인 간에 상호작용할 수 있도록 합니다. 이 모델에서는 하나의 블록체인에서 상호작용을 시작하면서 다른 블록체인의 리소스나 서비스에 액세스할 수 있습니다.

Dong 박사는 크로스체인 토큰 스왑, 여러 네트워크에 걸친 거버넌스 프로세스, 대출과 같은 탈중앙화 금융(DeFi) 운영을 포함하여 이 접근 방식을 통해 가능해진 잠재적 사용 사례를 추가로 설명합니다. 이러한 기능들은 애플리케이션이 하나 이상의 블록체인에서 작동할 수 있는 방식의 예시로 제시됩니다.

보안 고려 사항도 논의됩니다. 설명된 모델은 Cosmos 인프라를 기반으로 한 지분 증명(PoS) 시스템과 옵티미스틱 롤업 설계의 영향을 받은 추가 지연 메커니즘을 결합합니다. 거래 한도 및 다단계 검증 프로세스와 같은 추가적인 운영 조치도 시스템 설계의 일부로 언급됩니다.

네트워크 토큰과 관련하여 Dong 박사는 이것이 기본 블록체인 내의 스테이킹, 거버넌스 프로세스 참여, 네트워크 활동과 관련된 수수료 분배에 사용된다고 설명합니다.

인터뷰는 Dong 박사가 설명한 대로 생태계 내 개발자, 검증인 및 사용자의 지속적인 개발 및 참여에 대한 언급으로 마무리됩니다. ^[11]

Brevis 및 검증 가능한 오프체인 컴퓨팅 #02

2025년 부에노스아이레스에서 열린 Ethereum Cypherpunk Congress(ECC#2) 중 녹화되어 2025년 12월 12일 YouTube 채널 Web3Privacy Now에 게시된 인터뷰에서, Brevis의 공동 창립자이자 CEO인 Michael Dong은 현재 블록체인 아키텍처와 관련된 한계를 설명하고, Web3를 위한 “무한 컴퓨팅 레이어”로 불리는 Brevis의 설계 접근 방식을 개설합니다.

Dong은 기존의 블록체인 시스템, 특히 레이어 1 네트워크가 합의에 도달하기 위해 여러 노드에서 동일한 연산을 반복적으로 실행하는 방식에 의존한다고 언급합니다. 그의 설명에 따르면, 이러한 구조는 운영 비용을 증가시키고 탈중앙화 거래소의 거래 활동 분석과 같이 대규모의 과거 데이터를 처리해야 하는 기능을 포함하여 온체인에서 직접 구현할 수 있는 애플리케이션의 범위를 제한합니다.

그는 영지식 증명(ZK proofs)에 기반한 검증 가능한 컴퓨팅을 대안적인 접근 방식으로 설명합니다. 이 모델에서는 단일 엔티티가 연산을 수행하고, 다른 이들이 프로세스를 재실행하지 않고도 검증할 수 있는 증명을 생성합니다. 이는 연산과 검증을 분리하며, 검증은 원래의 작업과 관계없이 계산 비용이 저렴하게 유지되도록 설계되었습니다.

이 프레임워크 내에서 Dong은 Brevis가 오프체인 환경에서 연산을 실행하는 동시에 검증을 위해 블록체인에 증명을 제출할 수 있게 한다고 설명합니다. 그는 이 접근 방식을 비용이나 리소스 제약으로 인해 온체인에서 수행하기 비실용적인 계산 작업을 처리하는 방법으로 규정합니다.

Dong은 Brevis가 MetaMask, PancakeSwap, Uniswap, Beefy를 포함한 탈중앙화 애플리케이션에 통합되었다고 명시합니다. 이러한 맥락에서 시스템은 오프체인에서 거래 관련 지표를 계산하고, 기본 데이터를 공개하지 않고 증명을 생성하며, 검증 가능한 활동을 기반으로 보상을 분배하는 등의 기능을 지원하는 것으로 설명됩니다. 그는 또한 사용자가 수수료 조정을 받기 위해 거래량을 증명하거나 지갑 세부 정보를 공개하지 않고 토큰 보유량을 증명할 수 있는 구현 사례를 언급합니다.

그는 나아가 토큰 인센티브 시스템 및 실물 자산(RWA) 맥락에서 Brevis의 사용을 언급하며, 프로토콜과의 검증 가능한 사용자 상호작용을 기반으로 보상을 분배하는 메커니즘을 포함합니다. 이러한 시스템은 중앙 집중식 검증 없이 암호화 증명에 의존하여 작동하는 것으로 설명됩니다.

기술적인 관점에서 Dong은 범용 컴퓨팅을 지원하기 위한 RISC-V 기반 영지식 가상 머신인 Pickle ZKVM을 소개합니다. 이 시스템을 통해 개발자는 고수준 언어로 프로그램을 작성할 수 있으며, 이는 검증 가능한 증명으로 컴파일됩니다. 그는 이 접근 방식이 단일 노드가 연산을 수행하고 다른 노드가 증명을 통해 결과를 검증하는 블록 실행 검증을 포함하여 더 넓은 블록체인 프로세스로 확장될 수 있다고 언급합니다.

이 발표에는 분산된 참여자들 간의 증명 생성을 조율하기 위해 제안된 Brevis 증명자 네트워크에 대한 설명이 포함되어 있습니다. Dong에 따르면, 이 네트워크는 '진실한 온라인 이중 경매(truthful online double auction)'라고 불리는 경매 기반 메커니즘을 사용하여 다양한 유형의 작업 부하에 걸쳐 계산 작업을 할당합니다.

발표에서 Dong의 관점으로 설명된 Brevis는 오프체인 계산과 온체인 검증을 결합하여 블록체인 기능을 확장하는 접근 방식이며, 탈중앙화 금융(DeFi), 개인정보 보호 시스템, 프로토콜 수준의 인센티브 설계 등에 응용될 수 있습니다. ^[12]