Ventali Tan @_ventali
founder @0xLita & @DelendumV, prev. @Redpoint @midreal_ai ventali.xyz San Francisco Joined May 2025-
Tweets27
-
Followers216
-
Following51
-
Likes101
I'm hosting an AI & Science reading group at Mox SF on Wednesdays 7-9PM. Each week, we’ll dive into a different area where AI is reshaping scientific discovery and research. Topics we’ll explore include: • AI & Genomics • AI & Mathematics • AI & Physics • AI & Drug…
New fastest shortest-path algorithm in 41 years! Tsinghua researchers broke Dijkstra’s 1984 “sorting barrier,” achieving O(m log^(2/3) n) time. This means faster route planning, less traffic, cheaper deliveries, and more efficient networks - and a CS curriculum revamp =)
sudo is opening up 10 spots for early testers. you will receive 10% extra credits on LLM routing. DM me if interested!
Releasing Valida Plus — our biggest update yet to the Valida zkVM. From client-side proofs to Ethereum block proving, this release pushes the boundaries of ZK performance and usability. Highlights below 🧵
Valida is now open-source. We started Valida as an open project — and we’ll keep building it in the open. It’s hard to push forward a fundamentally different architecture in a world that rewards short-term wins. But this is who I am, and what this team stands for. So be it.…
Valida is now open-source. We started Valida as an open project — and we’ll keep building it in the open. It’s hard to push forward a fundamentally different architecture in a world that rewards short-term wins. But this is who I am, and what this team stands for. So be it.…
｡ﾟ+.ღ(ゝ◡ ⚈ღ)
Just dropped our thoughts on EVM 2.0 on Ethmagicians. We see 3 options: (1) execution optimized, (2) ZK optimized, (3) 2-step approach: HLL->blockchainVM->ZKVM. We suggest exploring all 3 (we took (3) with Cairo but Ethereum should look at all). ethereum-magicians.org/t/evm-2-0-prov…
AlphaEvolve is so cool! Is there anyone working on an end-to-end “scientist bot” that can define a problem, handle data prep, choose algorithms, run simulations, and then apply everything to real data? I’m prototyping a system like this on weekends (initially focused on physics)…
AlphaEvolve is so cool! Is there anyone working on an end-to-end “scientist bot” that can define a problem, handle data prep, choose algorithms, run simulations, and then apply everything to real data? I’m prototyping a system like this on weekends (initially focused on physics)…
Using this new account, I want to start sharing what I truly think is valuable, aesthetic, and inventive. - I studied physics and philosophy in college (and still actively studying both) - I did archeology excavation in Rome - I collect old etchings and antique books - I've…
32-bit architectures are back, baby! x.com/_ventali/statu…
After 3 years of design and engineering, we’ve stabilized the Valida architecture and published the first version of the ISA spec. This is our first step toward making Valida an open standard—like what RISC-V did for general-purpose computing. We’re deeply grateful to everyone…
After 3 years of design and engineering, we’ve stabilized the Valida architecture and published the first version of the ISA spec. This is our first step toward making Valida an open standard—like what RISC-V did for general-purpose computing. We’re deeply grateful to everyone…
ssaulgoodmann @ssaulgoodmann69
485 Followers 3K Following putting comp (sci) in companions | building @companionsdotgg
empowa @imempowa
2K Followers 789 Following artist + creative technologist ꩜ turning sf into the intersection of art & technology through https://t.co/hKbALy6lq9
venki @__venki__
581 Followers 828 Following rejoice, the streetlights burn brighter than stars. https://t.co/oleTsi3jDK
Alex Xiong @alex_xiong_
1K Followers 483 Following Another Look™ at cryptographic engineering made simple, revisited. @EspressoSys
moventsai.eth @moven0831
229 Followers 1K Following Programmable Cryptography, the key to the future of freedom | Always Strive And Prosper
Cryppto ⚜️ @Cryppt_o
2K Followers 2K Following Cryptocurrency Marketing Manager and Promoter btc Send me a DMM to promote #ETH #BNB #SOL #SHIB #PEPE #BONK #PEPENFT
Emerson S @Em_Nomadic
765 Followers 6K Following Investment Director/CMO @azen_protocol◽️Prev: @goldentides_gg @loa_labs, @sisunetwork, @psychedelic_gg, @SayferSecurity, @KupiaSecurity
Daniel Z. @punctured_LZ
526 Followers 2K Following Views my own | I invest ideas that I also want to implement | I invest, I repost | My posts doesn't mean my operations
Koukyosyumei @Koukyosyumei
463 Followers 728 Following PhD student @Columbia | software security in Crypto and ZKP | previously worked on Federated Learning | FOS’24 | ex-intern @Apple @UT__Econ | UTokyo alum
Alex Soong @asoong91
2K Followers 828 Following building something new, you can just do things. poker player, fmr: founder @zkp2p, @SetProtocol
Daniel Lugo @DanielLugo53494
0 Followers 5 Following
Bryan Hernandez @bryan1238764
51 Followers 1K Following
R.L. ₿ryer @rBryer23
13K Followers 5K Following #Bitcoin network since 2009. Founder @BryerMedia. No FA.
Kunal Gupta (self/acc... @djkgamc
2K Followers 6K Following Withfriends helps indie bookstores get community support @withfriends_co - YC19 // Founder @babycastles @thesilentbarn @loudobjects @285KENT // IG: djkgamc
𝐕𝐢𝐭𝐚𝐥�... @VitalyButsan
279 Followers 8K Following I help marketing to look & feel professional ⚛︎ Conservative, Family values first: 🀨 @saprotivlenie
Web3PulseMod @TheHubKeeper
1K Followers 984 Following We all have to die someday,live a good life | DM collabs! Lead Mod @SoundnessLabs Willing to learn,unlearn and relearn CR7 is the 🐐🐐||MUFC
Xalvoum @Xalvoum3471
15 Followers 984 Following
Manoj @ManojKGorle
858 Followers 3K Following figuring out | zk piled, co-president @0xblocsoc, undergrad @iitdelhi | prev engg @nodekitorg
Andrew Miller @socrates1024
23K Followers 5K Following junior product @ teleport studio https://t.co/GW5aptHrL7 🛡️ dstack integrations 🛡️ https://t.co/uT4qFVdtvl
Tony Glez @129400Tony
49 Followers 1K Following
yasemin @geeny616
3K Followers 4K Following bd partner @ ergodicgroup ∞ views are from my subconsciousness @notgeeny616
GMHK @guihlom
59 Followers 329 Following
Varun Doshi @Varunx10
1K Followers 2K Following 🦀 | Engg @chain_risk | Advocate @0xpolyadvocates | Scholar @OraProtocol | Mage @PolygonKolkata | prev @getkoinx @Macha0x
Shri Roshan Singh @_kalikho_
250 Followers 2K Following Visiting Researcher, CPL Madrid(Adjunct) | Research Engineer, Japan | CS @iitguwahati | All things ZK | Tweets are in personal capacity
Fathan @FatchulAnw5934
38 Followers 252 Following
PTR.NEAR @quadron3stat3
1K Followers 1K Following @NEARprotocol Ecosystem Connector @NEARWEEK 🌐 Previously @nearfoundation. DM always open. All views are my own. NFA.
Joshua Koo @joshuaykoo
493 Followers 372 Following head of growth @stanfordcrypto, cs + math @stanford, incoming @NEARProtocol, writing @PanteraCapital, organizer @buidl_asia, eco @SaharaLabsAI
Robert Drost, Ph.D. �... @rjdrost
2K Followers 592 Following CEO at @eigenlayer's Foundation, @eigenfoundation. Mission: merge Crypto + AI + Web3. User ownership, privacy and verifiability are the future.
Matt Sorg 🍨 @tamgros
4K Followers 2K Following VP of technology@Solana Foundation. Former @riotgames @unitygames. Founder Concha labs, KorroBox
Altwujoo @Altwujoo0914
28 Followers 2K Following
brother tekkac @tek_kac
626 Followers 880 Following Open to work, Prev @Carbonable_io, Prev @OnlyDust_com. Cairo Dev, Bitcoin coder, ZK & research, genART
Dan Iskandarov @0xOnit3ngu
108 Followers 4K Following
Cécile 🍊 @Cetrbt
1K Followers 1K Following speedrunning blockchain endgame @hyli_org. Prev. web3 VC @EarlybirdVC
zkMonk @zk_monk
742 Followers 264 Following Community-run platform fostering mass adoption of zero-knowledge technology, empowering a diverse range of individuals by educating and working on zk stack
Eliezer Yudkowsky ⏹... @ESYudkowsky
207K Followers 101 Following The original AI alignment person. Missing punctuation at the end of a sentence means it's humor. If you're not sure, it's also very likely humor.
Scott Sunarto @smsunarto
25K Followers 4K Following founder/ceo @ArgusLabs_, (traumatized by) distributed systems, prev @Berkeley_EECS
Ethproofs @eth_proofs
4K Followers 136 Following L2beat for zkVMs. Ethereum snarkification, accelerated
Leona Hioki priv/acc @HiokiLeona
2K Followers 431 Following Ethereum!! Co-founder of INTMAX(@intmaxIO) JP: @leo_hio
Matt Sorg 🍨 @tamgros
4K Followers 2K Following VP of technology@Solana Foundation. Former @riotgames @unitygames. Founder Concha labs, KorroBox
Robert Drost, Ph.D. �... @rjdrost
2K Followers 592 Following CEO at @eigenlayer's Foundation, @eigenfoundation. Mission: merge Crypto + AI + Web3. User ownership, privacy and verifiability are the future.
Josh Woodward @joshwoodward
29K Followers 753 Following VP, @Google @GoogleLabs @GeminiApp @GoogleAIStudio
Kevin Weil 🇺🇸 @kevinweil
110K Followers 3K Following CPO @OpenAI, BoD @Cisco @nature_org, LTC @USArmyReserve Prev: President @Planet, Head of Product @Instagram @Twitter ❤️ @elizabeth ultramarathons kids cats math
Benjamin Wandelt @bwandelt
1K Followers 768 Following Professor of Astrophysics at Sorbonne University, Paris. Cosmology, Physics, Astro, AI/ML, Stats, Computation, Maths belong to everyone. Opinions are my own.
Alexander Novikov @SashaVNovikov
5K Followers 179 Following Research scientist at Google DeepMind. Opinions are my own.
swen | lightprotocol.... @swen_sjn
6K Followers 758 Following co-founder @lightprotocol, https://t.co/CSzgGVcIOz. always be kind
Hactar @Hactar0
2K Followers 941 Following
Lisa Akselrod (at hom... @cryptobuilder_
6K Followers 549 Following Make machines accountable to humans | chasing waves and verifiable computations | ex @aztecnetwork @LondonU
Gregoireljda.eth 🍍 @gregoireljda
2K Followers 3K Following Artificia docuit fames l current: loading
Rand @randhindi
31K Followers 7K Following Founder (@zama_fhe), deeptech investor (https://t.co/3Bm60ghFkR) & competitive biohacker
Sylve @sylvechv
7K Followers 3K Following 🍊 speedrunning the blockchain endgame @hyli_org with @wraitii be kind
dcbuilder.eth ⚪️ @DCbuild3r
46K Followers 5K Following 🇪🇺🇨🇿. math. Ethereum. ZK. Rust. @worldcoinfnd. accelerating @worldcoin. World Chain⚪️. angeling in friends. Hopeful about humanity.🦀👽
Arnaud Schenk @_ArnaudS_
5K Followers 2K Following @aztecFND – stewarding @aztecnetwork and @NoirLang -- @graphprotocol council @crecimientoar advisory board
Jacob @0xEverly
4K Followers 913 Following Product Lead @boundless_xyz l Prev @risczero @avalabs @Cornell Cowboy l My own thoughts that will probably change
Ariel Gabizon @rel_zeta_tech
4K Followers 387 Following Chief Scientist at @aztecnetwork. I post papers on eprint and have petty disputes with other people posting similar papers. Personal views at @relgabizon.
bkase (httpz/🪶) @bkase_
10K Followers 1K Following Peripatetic. CEO at @o1_labs building @MinaProtocol + @untitled_zk . Former or current advisor for @gensynai , @MoonwellDeFi , @zksecurityXYZ
Jason Morton @jasonmorton
2K Followers 1K Following Founder @ezklxyz • Ex-Prof bringing trust to AI through cryptography • Harvard/UMich/Berkeley/Stanford/PSU • Programmable cryptography & verifiable analytics
Mamy Ratsimbazafy �... @m_ratsim
3K Followers 2K Following Engineer @lita_xyz zkVM | Cryptography | Scaling Ethereum | ex Chief Scientist @taikoxyz, Ethereum Core Dev @ethnimbus
gio @0xPhoenice
572 Followers 2K Following verifying reality @0xLita // trying to build a libertarian future with technology // @USC alumnus // 🇱🇧🇺🇸
Tom Schmidt ＞|＜ @tomhschmidt
39K Followers 3K Following Investing @dragonfly_xyz. Previously product @0xproject, ads product @facebook and @instagram. Vos debes periculum pro buccellatum.
claudia ! @letclaudiatweet
1K Followers 1K Following esoteric cofounder at @supplyco_ai (industrial AI), tall girl, love god, technical personality hire, @uchicago, cajun military brat, same as it ever was
Matthew Di Ferrante @matthewdif
5K Followers 357 Following software engineer, vuln finder // into physics, machine learning, formal methods, cryptography, pure maths, finance, game theory // engineering @primeintellect
David Wong @cryptodavidw
16K Followers 3K Following security @zksecurityXYZ & research @archetypeVC, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
Tim Carstens Ⓥ✨ i... @intoverflow
2K Followers 2K Following Pan computer science. Math and math accessories. Clean, efficient, reliable number systems sold daily. ✨ Be Boundless ✨ Retired Eng @ RISC Zero 🤫🥸
Leona priv/acc @leo_hio
15K Followers 1K Following A stateless guy. Scaling Ethereum with INTMAX (@intmaxIO) Eng: @HiokiLeona 極度妄想（しなさい）
harshbajpai.eth @bajpaiharsh244
4K Followers 1K Following accelerating @aztecnetwork ⚡️ | vibing @zk_bankai | prev: @fuel_network @KakarotZkEvm, @0xPolygon.
porter | ZKsync ∎ @portport255
14K Followers 4K Following I like math. Ethereum maxi. $ETH maxi. Intern @zksync @the_matter_labs
Chris Bender (locked ... @chrisliambender
2K Followers 2K Following founder @renegade_fi ← crypto crossing network || young will vickrey for usury abolition 🇺🇸
Lita @0xLita
3K Followers 19 Following We're building Valida - the most performant zkVM. Supporting Rust, C, WASM and client-side provingTrends for United States
You might like
