Tim Carstens Ⓥ✨ is hacking zk @intoverflow
Pan computer science. Math and math accessories. Clean, efficient, reliable number systems sold daily. ✨ Be Boundless ✨ Retired Eng @ RISC Zero 🤫🥸 example.com Risc0|Meta|CITL|InvLim|LevSec Joined July 2008-
Tweets7K
-
Followers2K
-
Following2K
-
Likes23K
Lovely meeting today about possible upgrades to King County’s beautiful EasTrail The King County Council really loves parks 🥰
0
0
2
135
0
Happy Labor Day to everyone in labor
The heritage park is coming together! Earthwork is wrapping up, then on to landscaping
Tim Carstens Ⓥ✨ is hacking zk retweeted
The Boundless team ran the most intentional, useful, and successful Mainnet Beta campaign ever. Onward to full Mainnet production launch.
Tim Carstens Ⓥ✨ is hacking zk retweeted
We're excited to announce that Ethproofs is starting a countdown to October 26, 2025, the deadline for all zkVMs on our platform to have fully open-source verifiers! To ensure transparency and accessibility, we're also working hard to implement both server-side verification and…
The sound I went to investigate? Turns out it was a bear. A literal bear.
Tim Carstens Ⓥ✨ is hacking zk retweeted
everyone been drinking Diet ZK™ with 0% ZK for too long, they won't know what hit them when they taste the classic ZK
Tim Carstens Ⓥ✨ is hacking zk retweeted
Reminder that this is 2025 and you can basically just make anything that pops into your head with a snap of yo fingers. Act accordingly.
fuck yea
Tim Carstens Ⓥ✨ is hacking zk retweeted
ZK Mining (Brett's Version)
Tim Carstens Ⓥ✨ is hacking zk retweeted
What if proving costs could be turned into an open market? That’s the vision behind Boundless, presented by @hashcashier (Senior Engineer at @RiscZero & @boundless_xyz) in this SBC @WPReadingClub session. Instead of developers running their own proving infrastructure,…
Did you know: ChatGPT 5 is able to (easily!) pass all of the competency exams required for general contractors in Washington State
Tim Carstens Ⓥ✨ is hacking zk retweeted
Felt like poking around in @arbitrum Nitro. Looks like integration with Kailua is honestly pretty easy! github.com/boundless-xyz/…
Tim Carstens Ⓥ✨ is hacking zk retweeted
This was a unique opportunity for me to lay down some personal opinions on building a web3 business.. my DMs are always open to folks building real businesses on @boundless_xyz
This was a unique opportunity for me to lay down some personal opinions on building a web3 business.. my DMs are always open to folks building real businesses on @boundless_xyz
Tim Carstens Ⓥ✨ is hacking zk retweeted
WIP zkEVM book from EF’s zkEVM team for Ethereum engineers/researchers has been published recently: zkevm.fyi (repo: github.com/eth-act/zkevm-…). It explains what we’re building, why, and how. Feedback welcome, under active construction.
Now I know why it’s called stonecrop
Sum-check is often presented as follows: Given: B ⊆ F and g: F^N -> F, provably compute ∑ g(x) where the sum ranges over x ∈ B^N But I think it extends to the following: Given V a variety, g: V -> F, and D a formal linear combination of points in V, provably compute ∑ a_i…
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Halvar Flake @halvarflake
44K Followers 3K Following Choose disfavour where obedience does not bring honour. I do math. And was once asked by R. Morris Sr. : "For whom?" @[email protected]
Misha Davidov 🏳️... @sirus
3K Followers 2K Following
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
RISC Zero @RiscZero
49K Followers 362 Following Building high-performance ZK systems to power the next era of computing. Building @boundless_xyz
Mudge @dotMudge
63K Followers 337 Following Make a dent in the universe. Find something that needs improvement: go there and fix things. If not you, then who? {he/they}
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
Hot Fiendish Dr. Noid... @_noid_
6K Followers 1K Following @DEFCON Organizer (1993 - 2013), @Layer_One Founder, #DC206 Founder, Herder of Chickens, Keeper of Bees, Eater of Ice Cream. Follow me on OnlyFans
Richard Johnson @richinseattle
18K Followers 3K Following Computer Security, Reverse Engineering, and Fuzzing; Training & Publications @ https://t.co/mloVP6rPB7; hacking the planet since 1995; Undercurrents BOFH
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Travis Goodspeed @travisgoodspeed
26K Followers 4K Following Merchant of Dead Trees and Licensed Proselytizer of the Gospel of the Weird Machines with Pwnage, PoC, and Secular Rock.
Kobi Gurkan @kobigurk
16K Followers 2K Following applied crypto, security, experimental things - head of research @BainCapCrypto
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Julien Vanegue @jvanegue
6K Followers 958 Following CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
ριɳɠυιɳσ 🍕 @pinguino
5K Followers 2K Following vibrant pixelated penguin. creative director. historicalNFTs (she/her), ex #dogecoin philanthropist; elephant site. @[email protected]
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.
Criawa @Criawa1548553
27 Followers 2K Following
Ipouskoo @ipouskoo79053
1 Followers 32 Following
Nuoonu @Nuoonu246180
0 Followers 18 Following
Fabby 🔛 web @fabby_on_web
769 Followers 1K Following rising to something 🔛 wizard @anoma maxi @boundless_xyz
tenko | 🍓🦇 (❖... @tenkoghost1
921 Followers 4K Following ▶️Youtube https://t.co/jExM6XCjky @boundless_xyz / @storkoracle / @Glider_Fi / PowerPuff @ SocketSociety / (🧙♂️,🧙♂️) gnoma
Wolfgang Welz @welzwo
88 Followers 152 Following
Allen School @uwcse
11K Followers 3K Following The Paul G. Allen School of Computer Science & Engineering educates tomorrow's innovators while developing solutions to humanity's greatest challenges.
Srikanth @srik101
59 Followers 1K Following
FenceOut @DogeEVA
61 Followers 999 Following
Mr O’Moduluszk @MrOmodulus
25K Followers 2K Following You've got to put your bodies upon the gears & upon the wheels, upon the levers, upon all the apparatus, and you've got to make it stop!
pote.eth @willpote
563 Followers 552 Following @boundless_xyz / @risczero, prev: @Uniswap, team tstore
Oweearxea @Oweearxea36803
91 Followers 3K Following
Ingi Kim @codekim1214
2K Followers 5K Following Founder @narrativecap @codestates backed by @hashed_official | Investor @StoryProtocol @syndicateio @reclaimprotocol | Acquiring companies | Web3 | AI
Sebastian Fernandez @snfernandez
1K Followers 563 Following Ex-hacker. Mostly EVM these days. Security and optimization for fun and profit at @BitFinding. Previously at @Microsoft, @MarshallWace.
Irverroc @Irverroc1580
46 Followers 2K Following
Hang Yin @bgmshana
3K Followers 1K Following Co-founder at Phala Cloud. Bringing Zero Trust to Compute. Confidential AI. https://t.co/ByZPwzmrCO / @phalanetwork
Chris Williamson @caswilliamson
156 Followers 568 Following
_gabrielShapir0 @lex_node
74K Followers 4K Following cyberpunk lawyer & founder | MetaLeX 🖖😎 | Gorbagana 🗑⛓️ check my highlights tab
Markos @georghiades_
57 Followers 173 Following Building fast and accessible cryptography @a16zcrypto
Andrew Tretyakov @0xAndoroid
337 Followers 194 Following Engineering at @a16zcrypto — building Jolt zkVM; Math'26 @UWaterloo; Rustacean 🦀
VolatilityQuant🇺�... @Ipiorgeax976
38 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Tina Liu | RISC Zero @TinaLiu333
268 Followers 106 Following Crypto Enthusiast/ Crypto Marketing / Head of Global Marketing at RISC Zero
Maabwu @Maabwu770450
17 Followers 1K Following
chopper @chopper_ong_
3K Followers 2K Following jack of all trades, master of all || @boundless_xyz enjoyoor || 🏠 @goblinsblock
Roger Gerhold @roger_gerh25680
94 Followers 4K Following
James💙Talentverse ... @JW_JamesWu
733 Followers 3K Following Talentverse Co-Founder | Ex- Binance Recruitment Lead | Holder
Svetlana“PiNad” @svetoek863
416 Followers 1K Following I love sports, travel and horses. I'm studying cryptocurrency :)👽 -KK- crypto
Drained @X_Drained
5K Followers 1K Following colaborador: @boundless_xyz @Polymer_Labs || doing many things X doesn’t need to know
KimberleyPullman @kxlq26Dj0QpMKL1
2 Followers 64 Following
Kiel Veum @KielVeum95805
94 Followers 1K Following
Zrawvarm @Zrawvarm80792
23 Followers 2K Following
Rawtam @rawtam69867
110 Followers 1K Following
Alivia Schimmel-Spink... @ASpinka67375
92 Followers 3K Following
ghostcrypto @tired_crypto
882 Followers 1K Following Web3/degen @pretrillions maxi @lamumudotxyz and @commondotxyz believer
Abdulqudus🤠 @OloyedeOlolade4
2K Followers 4K Following •NFTs• DVM🩺 • @base Enjoyoor • life enjoyoor• Living in the ZK layer.
Reza @theycallmerxz
758 Followers 447 Following theycallmerXz | living onchain ⛓️ | yap? maybe | @enterthemythos @playmythical 🔥
BurningIce @BurningIce72
1K Followers 2K Following Small Web3 guy | What is Worth Doing is Worth Overdoing |
makingcolorblue @makingcolorblue
0 Followers 2K Following
Alberto Galán ⚡️ @InBestProgram
2K Followers 2K Following Building Web3 in Spanish - ALL IN @boundless_xyz
[email protected] @stathis565656
24 Followers 1K Following
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Matthew Green is on B... @matthew_d_green
150K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxZr2S.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Halvar Flake @halvarflake
44K Followers 3K Following Choose disfavour where obedience does not bring honour. I do math. And was once asked by R. Morris Sr. : "For whom?" @[email protected]
Misha Davidov 🏳️... @sirus
3K Followers 2K Following
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
RISC Zero @RiscZero
49K Followers 362 Following Building high-performance ZK systems to power the next era of computing. Building @boundless_xyz
Mudge @dotMudge
63K Followers 337 Following Make a dent in the universe. Find something that needs improvement: go there and fix things. If not you, then who? {he/they}
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
Greg Linares (Laughin... @Laughing_Mantis
37K Followers 2K Following 20+ yrs in Infosec. Malware Influencer. I turn Malware into Art and Music. Art @MalwareArt. 4x Pwnie Nominee. 𝕍𝕏. GameDev. Autistic.
Hot Fiendish Dr. Noid... @_noid_
6K Followers 1K Following @DEFCON Organizer (1993 - 2013), @Layer_One Founder, #DC206 Founder, Herder of Chickens, Keeper of Bees, Eater of Ice Cream. Follow me on OnlyFans
Richard Johnson @richinseattle
18K Followers 3K Following Computer Security, Reverse Engineering, and Fuzzing; Training & Publications @ https://t.co/mloVP6rPB7; hacking the planet since 1995; Undercurrents BOFH
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Travis Goodspeed @travisgoodspeed
26K Followers 4K Following Merchant of Dead Trees and Licensed Proselytizer of the Gospel of the Weird Machines with Pwnage, PoC, and Secular Rock.
Kobi Gurkan @kobigurk
16K Followers 2K Following applied crypto, security, experimental things - head of research @BainCapCrypto
shenetworks @shenetworks
72K Followers 844 Following a menace • hacker • shenetworks @ TikTok & YouTube & Twitch. Co-Host of @breakingthepod. New episodes biweekly.
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Catherine @whitequark
28K Followers 395 Following this account is no longer monitored i primarily post on whitequark at mastodon dot social, or elsewhere under the same username 2010-2024 bye!
trent.sol @trentdotsol
9K Followers 201 Following chief curmudgeon @anza_xyz. fmr head of curmudgeon ops @solanalabs that sounds like a nice idea. it'd be a shame if someone ruined it advice? ha!
Mr O’Moduluszk @MrOmodulus
25K Followers 2K Following You've got to put your bodies upon the gears & upon the wheels, upon the levers, upon all the apparatus, and you've got to make it stop!
pote.eth @willpote
563 Followers 552 Following @boundless_xyz / @risczero, prev: @Uniswap, team tstore
Will Corcoran @corcoranwill
3K Followers 1K Following ethereum protocol coordination @eth_proofs brah @leanethereum dawg
gera @gerasdf
715 Followers 19 Following
miles jennings @milesjennings
23K Followers 2K Following @a16zcrypto | Prev Partner @Lathamwatkins | Write about crypto policy, decentralization, tokens & more - https://t.co/HHs2dV36CB
Markos @georghiades_
57 Followers 173 Following Building fast and accessible cryptography @a16zcrypto
juless @e8SmuthManifold
11 Followers 10 Following PhD in systems. Prev @Stanford math & CS. I like to think about TCS, arithmetic geometry, and homotopy theory; sometimes they overlap.
Andrew Tretyakov @0xAndoroid
337 Followers 194 Following Engineering at @a16zcrypto — building Jolt zkVM; Math'26 @UWaterloo; Rustacean 🦀
chopper @chopper_ong_
3K Followers 2K Following jack of all trades, master of all || @boundless_xyz enjoyoor || 🏠 @goblinsblock
Coffeezilla @coffeebreak_YT
735K Followers 2K Following Internet Detective Exposing Scams. Follower of Jesus. Support Investigative Journalism: https://t.co/ATpU5zUzUY Signal Tipline: coffeezilla.01
Adam 'pi3' Zabrocki @Adam_pi3
3K Followers 334 Following Director of Offensive Security @NVIDIA, architecting @RISC_V, @LKRG_org Founder, @BlackHatEvents & @Defcon Speaker, #Phrack author, @PwnieAwards nominee
Drained @X_Drained
5K Followers 1K Following colaborador: @boundless_xyz @Polymer_Labs || doing many things X doesn’t need to know
Scott Kominers @skominers
29K Followers 11K Following Market Design/Entrepreneurship Professor @HarvardHBS & Faculty Affiliate @Harvard Economics; Research @a16zcrypto; Editor @restatjournal; Econ @Quora; … | #QED
choko🧗🏾☂️ @Ch0k07
3K Followers 2K Following i contribute to products/projects I fw it. - (iterating) - check highlights.
Ayo 🥷 @0xAyo6VS
2K Followers 1K Following I repost & post Alphas || DeFi || Airdrops|| Team @Azkaban_DAO | ヤンヤンイデオローグ
Koukyosyumei @Koukyosyumei
464 Followers 729 Following PhD student @Columbia | software security in Crypto and ZKP | previously worked on Federated Learning | FOS’24 | ex-intern @Apple @UT__Econ | UTokyo alum
Patricksartz.eth 🏵... @patricksartz_
2K Followers 2K Following Artist ♦︎ iMeme ♦︎ Adopted @Boundless_xyz ♦︎ Contributor @Layerzero_core ♦︎ Think Bigger, Be Boundless ✮ ✮
Diego Correa Tristain @DiegoTristain
26 Followers 174 Following
Laurisha @CryptoFilma
861 Followers 991 Following Content producer partnering with Innovators & Artists. Ex-@ConsenSys @CeloOrg. Cinephile with a keyboard.
clemlaflemme.stark �... @ClementWalter
3K Followers 778 Following Engineer & Scientist & Local Farmer 🥕 Co-founder @KakarotZkEvm 🥕 DM open
hjort @rikardhjort
2K Followers 1K Following 🥋consensual violence evangelist 🏗️ security guy by day 👾 ~bithex-topnym on Mars
𝑬𝒎𝒂𝒏𝒏 ... @astro_emann_
2K Followers 889 Following Less perfection, more authenticity | Contributor @SentientAGI @droseranetwork @boundless_xyz
Grachi @grachidefi
2K Followers 736 Following 專注的 || Ambassador|| space host 🎙️ https://t.co/5OaKrdRGHj
Mi1997 🍓 💢 @mizaza1997
2K Followers 2K Following Boundless is not just a project — it’s the only tab I keep open. All in, always bullish, forever berry. 🍓 @boundless_xyz
DeFiHub❄️ @mustiahno_
803 Followers 445 Following DeFi Analyst | Researcher | ZK Maxi | Ambassador @lanca.io | Network Operations Engineer (Telecom).
Cookie Connoisseur @browsercookies
2K Followers 93 Following Ex-Unit 350: Elite cookie ops. Perfect bake temp. No ties to Unit 8200.
Slurms @Crypto_Slurm
29K Followers 1K Following Highly addictive crypto slurm (may cause conviction) | 3x bear market thriver | Web3 advisor, angel investor | Follow before it’s consensus
Dilek @shela_tw
1K Followers 600 Following curious about interoperability & ai deeply reflective, occasionally impulsive
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.
Frannie @frannie_cs
2K Followers 1K Following God above all. LATAM Ambassador of @boundless_xyz , the universal ZK protocol created by @RiscZero / EA to @ssh_nkar, @writtenterribly & @LDC917.
Tim Pote @potetm
1K Followers 379 Following Consultant. Pragmatic, Idiot-Driven Solutions. It's a neighborly day in this beauty wood. Creator of Fusebox: https://t.co/jhwpvOxr0T ꙮ
Cynde @Cyndesama
436 Followers 463 Following
Astropulse @RealAstropulse
5K Followers 46 Following I teach rocks to solve massive differential equations. https://t.co/i7BO8vjpZB For B2B stuff reach out in DMs, Discord, or email
Ethereum @ethereum
4.0M Followers 0 Following The universal platform for crypto, blockchain apps, stablecoins & decentralized tech. An account about the Ethereum ecosystem maintained by @ethereumfndn.
Tina Liu | RISC Zero @TinaLiu333
268 Followers 106 Following Crypto Enthusiast/ Crypto Marketing / Head of Global Marketing at RISC Zero
Tolani @Tola_niii
6K Followers 1K Following ●Crypto since 2017 ● CM @Boundless_xyz ●Building @Web3_Frens
Ventali Tan @_ventali
215 Followers 51 Following founder @0xLita & @DelendumV, prev. @Redpoint @midreal_ai
Olivier @ODesenfans
2K Followers 530 Following Musician, Climber, Software Engineer. Research Engineer at @EclipseFND.
Type Theory Forall @ttforall
4K Followers 274 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHMTrends for United States
162 B posts
4.034 posts
48,4 B posts
38 B posts
4.026 posts
5.164 posts
8.705 posts
126 B posts
33,8 B posts
19,5 B posts
15,7 B posts
33,3 B posts
12,2 B posts
15,7 B posts
12,8 B posts
29,3 B posts
92,8 B posts
You might like
Misha Davidov 🏳️...
@sirus
3K Followers
Alex Kavvos
@lambdabetaeta
725 Followers
Paul Gafni
@Paul_Gafni
857 Followers
Andrew K. Hirsch
@andrewkhirsch
575 Followers
David Maynor
@Dave_Maynor
14K Followers
Parker Thompson
@m0thran
2K Followers
Aleksandra Sobieska
@combinatola
652 Followers
〚Dan R. Ghica〛
@danghica
1K Followers
vollmerm
@ma_vollmer
676 Followers