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:00This post is unavailable. - 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







