Modulus Labs

Been looking at AI x Crypto project all day - and have to admit, whoever wrote this on @ModulusLabs's landing page deserves a raise and some more. Couple bars above their peers.

🪐 We are taking "Proof Day" to SF on April 17 with @ModulusLabs & @nascentxyz & @EdgeAGI! Dive into an evening of insights with speakers @shumochu, @dysfunctorial, @Zac_Aztec, @pumatheuma, @realDanielShorr, @nayr_oac, Junda and others. Plus, enjoy a complimentary dinner. 🍽️ 🪐

In the meantime, check out our blog for what it took to prove a real LLM, why specialization is the future, & the endgame for AI x crypto! Medium blog: @ModulusLabs/chapter-14-the-worlds-1st-on-chain-llm-7e389189f85e" target="_blank" rel="nofollow noopener">medium.com/@ModulusLabs/c… Eth block: etherscan.io/tx/0x7a629cf5b… Follow @ModulusLabs for the latest in ZKML, AI x Crypto, & more 🤖

So it's possible — nice! But the proving overhead is far from acceptable...for now 😉 As we demonstrate in our latest paper, specialization offer 1,000-10,000x speed-ups for ZKML! In fact, we already have some exciting new updates cooking at the bleeding edge 🏎️

𝐄𝐭𝐡𝐞𝐫𝐞𝐮𝐦 𝐡𝐚𝐬 𝐬𝐩𝐨𝐤𝐞𝐧 𝐢𝐭𝐬 𝐟𝐢𝐫𝐬𝐭 𝐰𝐨𝐫𝐝! 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 🧵 @ModulusLabs/chapter-14-the-worlds-1st-on-chain-llm-7e389189f85e" target="_blank" rel="nofollow noopener">medium.com/@ModulusLabs/c…

For a while now, I’ve said that AI is the EVERYTHING narrative. These days, AI headlines and tokens are dominating our timelines. With so much happening, it feels like we're living in an accelerating time chamber. How do we make sense of it all? Introducing Generalized. A collaboration between @aiarena_ and @ModulusLabs hosted by yours truly alongside @sihing_guppy and @realDanielShorr. This new weekly X Spaces series features engaging discussions with innovators at the forefront of the AI x Web3 ecosystem. Whether you're new to the scene or a seasoned pro, you’ll want to tune in to hear the latest insights, debates, and conversations. While many shows are focused on NFTs and gaming, the intersection of AI x Web3 remains largely unexplored. Generalized aims to fill this gap. Our mission is to simplify AI and help you become more informed while navigating this dynamic ecosystem. We aim to inspire you to explore and embrace the coming changes, and we promise to do this in a way that's informative but not dense, educational but not pretentious. I want to also give a special shout out and thank you to @SamSteffanina for inspiring us with his incredibly successful Gamified series, and for giving me a peek into his creative process. The work that he and his team put into every show cannot be understated, and it will be a benchmark that we set for Generalized. Join us for the first show next Tuesday, Mar 12th at 12PM ET, 9 am PT. It's time to level up.

Gen-er-al-ized | verb | To derive or induce (a general conception or principle) from particulars. Coming Soon. 🔊On

YOURE REALLY GONNA BET AGAINST THIS TEAM? @ModulusLabs @ende_sh

Not to spoil the next paper but... it works even better for deep neural nets 👀

In other words, Modulus’s remainder works for random forest, which I believe can also be implemented in R0 (just compile the trees into RISC-V). It seems that Modulus also doesn’t think zkML for deep neutral network is practical enough.

Excited for the future of specialized ZK? Eager to get your hands dirty? We're launching the Modulus Early Access Program (MEAP1) later this year for builders just like you, eager to explore 𝑅𝑒𝑚𝑎𝑖𝑛𝑑𝑒𝑟 Sign up for your chance here: itrrvgq8qar.typeform.com/to/RUAc0iTc!! 🖐️😁

A heartfelt thanks to the brilliant minds and advisors who've guided us. Special shoutouts to @zhenfei_zhang, Riad Wahby, @_weidai, @SuccinctJT, and @VitalikButerin for their invaluable insights and support 🙏🧠

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: @ModulusLabs/chapter-13-scaling-intelligence-637d4a374153" target="_blank" rel="nofollow noopener">medium.com/@ModulusLabs/c… 🚀