신규 자금을 확보한 Modulus 개요: zk를 활용하여 "불투명한" AI 모델을 "신뢰 없는" 블록체인에 도입하는 방법

원문 제목：Introducing Modulus: Bring AI On-Chain

저자：Modulus Labs

편집：하이얼스만, ChainCatcher

어젯밤, Modulus Labs는 630만 달러의 시드 라운드 자금을 완료했다고 발표했으며, Variant와 1kx가 주도하고 Inflection, Bankless, Stanford 등이 참여했으며, 엔젤 투자자로는 이더리움 재단, Worldcoin, Polygon, Celestia 및 Solana 등이 있습니다.

Modulus Labs는 ZKML을 활용하고 AI 모델의 ZK 증명을 결합하여 인공지능 모델이 올바르게 실행되었음을 증명하는 dapp을 구축하고 있으며, 그 핵심은 사용자가 AI 쿼리가 변조되지 않도록 보장하는 데 도움을 주어 Web3 애플리케이션에 AI를 통합하는 길을 열어주는 것입니다. 서버에서 실행되는 기계 언어 모델의 불투명성과 블록체인의 투명성 간의 격차를 해소하고자 합니다.

이 글은 Modulus Labs의 최신 발표인 "자기 소개"로, 독자가 빠르게 이해할 수 있도록 ChainCatcher가 원문을 적절히 편집하고 삭제했습니다：

우리는 dApp 개발자들이 세계 유일의 AI 전용 ZK 증명기를 통해 방지 변조된 AI에 대규모로 접근할 수 있도록 돕고 있습니다. 이는 스마트 계약이 이제 신뢰를 깨지 않고도 강력한 인공지능 기능을 누릴 수 있음을 의미합니다.

앞으로 몇 달 동안 계속 주목해 주십시오. 우리는:

• Upshot, Worldcoin, Ion Protocol 등과 협력하여 이더리움에서 역사상 가장 큰 인공지능 애플리케이션을 최초로 구현했습니다;
• AI 전용으로 설계된 세계 유일의 전용 ZK 증명기인 "Remainder"를 오픈 소스화했습니다;
• 모든 dApp이 ZK 책임을 통해 강력하고 표현력이 풍부한 AI에 접근할 수 있도록 Modulus API를 출시했습니다;
• 사실, 우리는 오늘 "체인 상 인공지능" API의 대기자 명단을 열었습니다.

TL;DR

• 문제： 현재 dApp이 강력한 인공지능 기능을 얻으려면 분산화된 보안을 포기하고 중앙화된 위험을 감수해야 합니다;
• 해결책： Modulus는 제로 지식 증명을 사용하여 인공지능 제공자가 체인에서 알고리즘을 조작하지 않았음을 효과적으로 검사합니다;
• 통찰력： AI를 위해 특별히 설계된 전문 ZK 증명이 매우 낮은 비용으로 dApp에 극도로 강력한 AI 기능을 제공합니다;
• 결과： 방지 변조 AI로 강화된 dApp은 사용자 경험 면에서 동료들을 초월하며, 동시에 체인의 불신 원칙을 위반하지 않습니다;
• 비전： 고급 인공지능이 우리의 법률, 금융, 의료, 보안 및 교육 분야에 도입됨에 따라, 암호 책임은 우리의 계산 미래를 지키는 기둥이 될 것입니다.

인공지능은 사람들에게 " 파우스트식 거래 " 을 강요합니다

인공지능은 우리의 사회를 근본적으로 변화시킬 것입니다. 그러나 이 "슈퍼파워"는 블록체인 기술을 사용하는 거의 모든 사람에게는 쓸모가 없습니다. 그 이유는 간단합니다: 인공지능 작동의 계산 비용이 너무 높아 체인에서 직접 실행할 수 없습니다. 이는 인공지능 기능을 스마트 계약에 도입하려면 인공지능이 항상 조작 없이 모델을 실행할 수 있다는 신뢰가 필요하다는 것을 의미합니다.

하지만 신뢰를 기반으로 한 암호화 환경에서는 이를 달성하기가 어렵습니다. 로널드 레이건(Ronald Regan)의 유명한 말처럼: "доверяй, но проверяй（믿되, 검증하라）."

ZK는 중대한 역할을 할 수 있는 게임 체인저

분산화된 보안성을 포기하지 않고 인공지능의 마법을 블록체인에 가져오기 위해 우리는 ZK의 검증 가능성에 의존할 수 있습니다.

인공지능에 적용될 때, 제로 지식 암호학은 인공지능 모델이 "올바르게" 실행되었는지를 비밀을 드러내지 않고 검증할 수 있게 해줍니다. 다시 말해, 우리는 수학을 사용하여 인공지능 결과가 비밀리에 조작되었는지를 검사합니다. 체인에서 이러한 "정확성 증명"을 검증함으로써 우리는 블록체인과 동등한 보안을 얻기 위해 소량의 비용만 지출하면 됩니다.

수학 덕분에 우리는 이제 암호학적 결정성을 통해 당신의 인공지능 조수에게 비밀 변조 코드가 제공되지 않았음을 알 수 있으며, 당신의 신용 점수가 편향된 은행의 영향을 받지 않았음을 확인할 수 있습니다. 우리는 이러한 "결혼"을 "책임 있는 인공지능" (Accountable AI)이라고 부릅니다.

하지만 최첨단 ZK 암호학은 무료가 아닙니다. 사실, 블록체인 표준을 통해 비용을 절감했음에도 불구하고 일반적인 ZK 증명은 여전히 AI 계산에 1000배 이상의 비용을 추가합니다. 실제로 세계 최초의 ZKML 애플리케이션을 구축하는 지난 1년 동안 우리는 동일한 비용 + 성능 한계에 지속적으로 직면했습니다. 이 문제를 해결할 방법은 전혀 없습니다: ZK + ML == 경제적 폭력.

즉, 현대 인공지능이 고도로 병렬 처리되는 프로세서(즉, GPU)의 발전에 전적으로 의존하고 있다는 점을 인식할 때까지는 말입니다. ZK 증명에서 동일한 변화를 주면 스마트 계약의 설계 공간을 크게 열 수 있습니다.

"Remainder"의 지원을 통해 우리는 차세대 인공지능 강화형 dApp의 개발자 및 파트너로 구성된 커뮤니티를 구축하기 시작했습니다. 그리고 강력한 인공지능 기능을 대규모로 구체적인 용례에 도입하기 위해 지속적으로 노력하고 있습니다.

이 비전을 실현하기 위해, 우리는 앞으로 몇 달 내에 여러 ZKML 애플리케이션을 출시할 것입니다. 예를 들어, 우리는 NFT 평가 리더인 Upshot과 먼저 협력할 것입니다.

Upshot은 AI를 사용하여 매우 정확하고 시기적절한 NFT 가격을 제공합니다(시간당 1억 회 이상의 평가, 평균 절대 백분율 오차 MAPE는 3-10%), 이는 긴 꼬리 자산에 대한 새로운 금융 시장을 열 수 있는 가능성을 제공합니다. 그러나 현재 Upshot을 사용하고 구독하는 것은 Upshot이 결코 변조하지 않을 것이라는 신뢰를 필요로 합니다.

우리의 궁극적인 목표는 블록체인 보안을 포기하지 않고 Upshot의 인공지능 가격을 체인에 전달하는 것입니다. 이것이 바로 우리가 그들의 머신 러닝 예측기를 Modulus API에 통합하여 제공하는 것입니다. 그 결과는 인공지능 초능력과 블록체인 보안이 결합된 NFT 가격으로, 이는 Modulus의 전문 ZK 증명에 의해 실현됩니다.

Modulus 팀

The Block에 따르면, Modulus는 스탠포드 대학교에서 탄생했습니다. 공동 창립자 Daniel Shorr는 팬데믹 기간 동안 많은 20대 젊은이들처럼 암호화의 유혹을 뿌리치지 못해 Modulus를 창립하게 되었습니다.

RootData 페이지에 따르면, Modulus Labs의 공동 창립자이자 CEO인 Daniel Shorr는 스탠포드 대학교에서 학사 및 석사 학위를 보유하고 있으며; Nicholas Cosby는 Modulus Labs의 공동 창립자입니다. 그는 이전에 Coding Dojo에서 프로그래밍을 배웠습니다; Ryan Cao는 Modulus Labs의 CFO/CTO입니다. 그는 스탠포드 대학교에서 학사 및 석사 학위를 보유하고 있습니다.

Daniel Shorr는 이렇게 썼습니다: "Ryan, Nick과 제가 1년 넘게 전에 Modulus를 창립했을 때, 우리는 매우 매우 어려운 것을 만드는 천재적인 계획을 가지고 있었습니다. 우리의 전략 복잡성은 정말 놀라웠습니다! 하지만 우리의 미친 짓은 방법이 있었습니다. 사람들이 거의 불가능하다고 생각하는 일을 절대적인 성실함과 진지함으로 수행하면------우리는 세계에서 가장 재능 있고 친절한 사람들을 함께 일하도록 끌어들일 수 있습니다."