Ecstatic to announce our $6.3M Seed round today, co-led by @1kxnetwork & @variantfund ๐
With participation from prominent funds & angels, we're building Modulus: the ๐๐ฐ๐ฐ๐ผ๐๐ป๐๐ฎ๐ฏ๐น๐ฒ ๐ ๐ฎ๐ด๐ถ๐ฐ company๐ช
How does specialized ZK bring AI on-chain?
medium.com/@ModulusLabs/iโฆ
Modulus Labs
177 posts
- ๐๐ญ๐ก๐๐ซ๐๐ฎ๐ฆ ๐ก๐๐ฌ ๐ฌ๐ฉ๐จ๐ค๐๐ง ๐ข๐ญ๐ฌ ๐๐ข๐ซ๐ฌ๐ญ ๐ฐ๐จ๐ซ๐! That's right โ we have completed the world's 1st ZKP of a 1B+ param LLM inference, before verifying the proof on Ethereum mainnet (block 19427725) ๐คฏ What did Ethereum say? Learn more in ๐งต medium.com/@ModulusLabs/cโฆ
00:00 - We're excited to unveil ๐ ๐๐๐๐๐๐๐๐โthe world's most powerful ZKML prover Our first implementation achieved a mere 180x proof generation overhead vs. the same (non-verifiable) computation on an M2 Mac. Highlights below, read all about it here: medium.com/@ModulusLabs/cโฆ ๐
- ๐ Introducing the largest AI dApp ever built on Ethereum: @UpshotHQ's ZKML price feed Powered by the worldโs 1st specialized ZK prover for AI, Modulus is bringing thousands of AI results (each a forest of 2.5k+ trees!) on-chain โ EVERY HOUR ๐คฏ medium.com/@ModulusLabs/tโฆ ...(1/10)
- We are so thrilled to finally be releasing: โThe Cost of Intelligence: Proving Machine Learning Inference with Zero-Knowledgeโ๐ธ๐ค๐ธ A quick๐งตon our survey paper, supported via EF grant and a cohort of heroic cryptographers and builders (Medium blog: medium.com/@ModulusLabs/cโฆ)
- Hello Moodlers! Today, an introduction to "Remainder"โour upcoming specialized ZK-ML prover ๐งตed for your crash-course pleasure, a recap of our talk @ zkSummit10 TLDR: specialized provers (read: GKR) are especially powerful when used in specialized regimes (read: proving AI) ๐๏ธ
GIF - Excited to share that we're being supported by an Ethereum Foundation Grant for our upcoming paper: "The Cost of Intelligence: Proving Machine Learning Inference with Zero-Knowledge" Stay tuned, more to come๐
- โต Say hello to the Modulus โExplorer โต We're tackling the ZKML consumer story with our new AI verification dashboard โ the "Nutrition Facts" of โverified AI This human-friendly interface to the world of ZKML proving is live rn! Learn more: medium.com/@ModulusLabs/cโฆ
00:00 - Artists arenโt born. Theyโre built! ๐งโ๐จ = ๐๏ธ We are so thrilled for the zkMon reveal (today!) โ the world's 1st zkGAN NFTs w/ our friends at @polychainmon and @opensea ๐งต below on how we ZK proved an AI artist opensea.io/collection/zkmโฆ
- A year ago, we released Rockerfeller Bot: the first fully onchain AI trading bot, an experimental autonomous agent on Ethereum. In a future of increasingly complex autonomous agents & growing sums of money, without rock-solid cryptographic math, you will eventually get pwned.
- Our pleasure, ser! ๐ซกThe promise and challenges of crypto + AI applications: vitalik.eth.limo/general/2024/0โฆ
- *The Worldโs 1st On-Chain AI Trading Bot* is now LIVE at rockybot.app ๐ธ๐ค๐ธ Rocky's model inference is validated via StarkNet proofs with every trade! ๐ฑ Check out our latest Medium blog all about Rocky: medium.com/@ModulusLabs/cโฆ
- Welcome to the family, RoboNet! Check out AI-powered DeFi today๐
00:00 - Leela Ascends! ๐ฎ๐พ๐น๏ธThat's right, "Leela vs the World" is officially LIVE -- right now! Check out the world's 1st on-chain AI game ๐ฅณ where trustless AI puts the fate of the world, in the hands of the people... medium.com/@ModulusLabs/cโฆ
GIF







