Modulus Labs

Bring powerful AI on-chain with specialized ZK

[Modulus Labs @ModulusLabs]

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?
https://t.co/QNYHKr3WsQ

[Joel John @joel_john95]

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.

[NEBRA @nebrazkp]

🪐

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. 🍽️

[Modulus Labs @ModulusLabs]

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: https://t.co/dnmCFr0EkM

Eth block: https://t.co/I3QkniJQsD

Follow @ModulusLabs for the latest in ZKML, AI x Crypto, & more 🤖

[Modulus Labs @ModulusLabs]

𝐄𝐭𝐡𝐞𝐫𝐞𝐮𝐦 𝐡𝐚𝐬 𝐬����𝐨𝐤𝐞𝐧 𝐢𝐭𝐬 𝐟𝐢𝐫𝐬𝐭 𝐰𝐨𝐫𝐝!

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 🧵
https://t.co/dnmCFr0EkM

[Modulus Labs @ModulusLabs]

𝐄𝐭𝐡𝐞𝐫𝐞𝐮𝐦 𝐡𝐚𝐬 𝐬𝐩𝐨𝐤𝐞𝐧 𝐢𝐭𝐬 𝐟𝐢𝐫𝐬𝐭 𝐰𝐨𝐫𝐝!

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 🧵
https://t.co/dnmCFr0EkM

[Modulus Labs @ModulusLabs]

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 🏎️

[Modulus Labs @ModulusLabs]

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: https://t.co/nPqvYQ3UNQ 🚀

[THE GWEI | ʌı @Eeazy_Weezy]

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

[AI ARENA | ʌı @aiarena_]

Gen-er-al-ized | verb |

To derive or induce (a general conception or principle) from particulars.

Coming Soon.

🔊On

[ms. thang 🧸 @camiinthisthang]

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

[Modulus Labs @ModulusLabs]

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

[Modulus Labs @ModulusLabs]

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: https://t.co/PqpiFyg4Ff!! 🖐️😁

[Modulus Labs @ModulusLabs]

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: https://t.co/nPqvYQ3UNQ 🚀

[Modulus Labs @ModulusLabs]

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 🙏🧠