Ryan Cao
@nayr_oac
Followers
537
Following
216
Media
0
Statuses
34
Pls educate our kids :') ty
Stanford, CA
Joined March 2013
๐ช.
๐๐ญ๐ก๐๐ซ๐๐ฎ๐ฆ ๐ก๐๐ฌ ๐ฌ๐ฉ๐จ๐ค๐๐ง ๐ข๐ญ๐ฌ ๐๐ข๐ซ๐ฌ๐ญ ๐ฐ๐จ๐ซ๐!. 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 ๐งต.
0
0
10
180x overhead!! ZKML โค๏ธ GKR.
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: ๐
0
0
4
GKR has its first "native" lookup argument!! The entire thing can be implemented as a structured (see [Tha13], Theorem 1) GKR circuit, and removes the need for a binary decomposition over the multiplicities within a multiset subset check. Look out non-linearities!!.
Just finished a deep-dive on the wonderful LogUp, an elegant GKR-based lookup from @PapiniShahar & @UHaboeck! Thanks everyone for the discussions and suggestions so far.
0
0
4
๐.
good conversation on distributed pre-training, finetuning & inference, and ZK verifiability with @nayr_oac from @ModulusLabs and @fenbielding from @gensynai . so much fun to moderate this panel; leaving more optimistic about this category
1
0
7
RT @ModulusLabs: Artists arenโt born. Theyโre built! ๐งโ๐จ = ๐๏ธ. We are so thrilled for the zkMon reveal (today!) โ the world's 1st zkGAN NFโฆ.
0
40
0
๐.
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?.
2
0
16
RT @topology_gg: 1/ Presenting #Shoshin, a Minimal Viable Reality with Asynchronous Onchain Strategies, this Saturday, July 22nd in Paris fโฆ.
0
55
0
RT @polychainmon: 1/8 ๐ ๐ฒ Get ready for a Fren-ergy surge! @polychainmon is teaming up with the tech wizards at @moduluslabs, and we're setโฆ.
0
27
0
RT @ModulusLabs: Excited to share a bit about the future we see for accountable AI with @FortuneCrypto (read: ZKML) ๐. Special thanks to @aโฆ.
0
17
0
RT @ModulusLabs: Leela Ascends! ๐ฎ๐พ๐น๏ธThat's right, "Leela vs the World" is officially LIVE -- right now! . Check out the world's 1st on-chaiโฆ.
0
18
0
RT @ModulusLabs: We are so thrilled to finally be releasing: โThe Cost of Intelligence: Proving Machine Learning Inference with Zero-Knowleโฆ.
medium.com
We are so psyched to be finally sharing our first paper with you, brought to you via grant support from the Ethereum Foundation: โTheโฆ
0
46
0
RT @ModulusLabs: Come hang with us this Friday 10am PST on @VsLeela ( โ we'll be covering the latest updates re: gaโฆ.
0
3
0
RT @ModulusLabs: Happy holidays everyone! ๐ฅณ As an end-of-year thank you, we're so psyched to open up playtest sign-ups for our upcoming gamโฆ.
0
11
0
RT @ModulusLabs: Blockchains that self-improve?!?! ๐คโ๏ธ๐ง. Our latest blog explores the end-state of chains with trustless AI, how we get theโฆ.
medium.com
Can we learn to forgive our robots?
0
10
0
RT @annimaniac: This summer I had the opportunity to spend a lot of time with student entrepreneurs in our office. I wanted to share aboutโฆ.
medium.com
Hometown: Beijing, China
0
5
0
RT @galronx: 1/ Presenting: THE FIRST EVER AI MODEL ON ETHEREUM (!!). by @ModulusLabs is an AI app that trades by iโฆ.
github.com
Contribute to Modulus-Labs/RockyBot development by creating an account on GitHub.
0
56
0