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
I think about the woods, like, all the time
0
0
3
136
0
having a great day at Disneyland!
Tim Carstens Ⓥ✨ is hacking zk retweeted
This summer, as part of a project verifying the frontend of the Jolt zkVM, Galois intern Liza Pertseva and her team used an SMT solver to automate Lean proofs, saving over 6,800 lines of Lean code that would have been otherwise written by hand. Read on: galois.com/articles/autom…
After a multi-month break from the computer, yesterday I finally felt the urge to code again Lean brother, we coding in Lean
Tim Carstens Ⓥ✨ is hacking zk retweeted
Buddha whispered in my ears Uptober
Tim Carstens Ⓥ✨ is hacking zk retweeted
okay so we've been building valida 0.1 to 0.9 for 3 yrs. now it's finally 1.0!! forgive our (or my, or morgan's?) OCD!!!!! huge thanks to Ivan @imikushin and Hideaki Takahashi for contributing to valida. we will have more updates in the next release <3
okay so we've been building valida 0.1 to 0.9 for 3 yrs. now it's finally 1.0!! forgive our (or my, or morgan's?) OCD!!!!! huge thanks to Ivan @imikushin and Hideaki Takahashi for contributing to valida. we will have more updates in the next release <3
Tim Carstens Ⓥ✨ is hacking zk retweeted
Hello 25T, next up 50T
Hello 25T, next up 50T https://t.co/K65H0lFHLB
good stuff
Tim Carstens Ⓥ✨ is hacking zk retweeted
>logical argument >uses axiom of choice indeed, a religious fanatic.
>logical argument >uses axiom of choice indeed, a religious fanatic.
Nethermind = Applied comp sci
congrats to @boundless_xyz for mainnet launch! soil got the right pH, we boppin in the field 🤘
congrats to @boundless_xyz for mainnet launch! soil got the right pH, we boppin in the field 🤘
let’s get that money 💰
let’s get that money 💰
Tim Carstens Ⓥ✨ is hacking zk retweeted
This is your weekly reminder that we have a store with awesome Type Theory / PLT merch. Check it out at store.typetheoryforall.com
Tim Carstens Ⓥ✨ is hacking zk retweeted
"We can win a major battle in the arms race and gain a new territory of freedom for several years. Governments are good at cutting off centralized networks like Napster, but pure P2P networks seem to be holding their own." -Satoshi
Tim Carstens Ⓥ✨ is hacking zk retweeted
ZK Story time: What I heard from Shafi Goldwasser, co-inventor of ZK (and Turing award winner). It didn't start as "proofs". The ZK paper was rejected 4-5 times from peer reviewed conferences. Mathematicians strongly objected to calling these things "proofs". The details: She…
Tim Carstens Ⓥ✨ is hacking zk retweeted
2/ Lessons learned from 3 years in hardware: - Protocol innovation moved faster than hardware integration - FPGAs underperformed GPUs - ASIC economics don’t work yet - Privacy apps need fast local proving on laptops & phones
Tim Carstens Ⓥ✨ is hacking zk retweeted
Excited to share "Provable Cryptography for Bitcoin: An Introduction" - a comprehensive workbook that teaches formal security definitions and proofs through hands-on exercises. Solutions included!
Tim Carstens Ⓥ✨ is hacking zk retweeted
I love this industry. Today I got to send personal messages to over 50+ repos, to let contributors know they are eligible for the @boundless_xyz airdrop Thank you all for contributing to the early success of our project, I hope you appreciate this small token of appreciation for…
gm to this Douglas squirrel, and to everyone spending their morning cleaning and stashing maple seeds
How your email finds me
Talia Ringer 💚 @TaliaRinger
30K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
20K 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
48K Followers 361 Following Building high-performance ZK systems to power the next era of computing. Building @boundless_xyz
Mudge @dotMudge
63K Followers 336 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 822 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 962 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]
Sabina @sabinacamara04
41 Followers 5K Following I think about more than I forget but I don’t go around tired expecting not to sweat
Zkredit @ZKredit_
140 Followers 929 Following Trade your loans like tokens | Borrow cross-asset with 110% collateral | Cross-chain fungible loan protocol | ZK credit score | DeFi that actually makes sense🧠
KzD @KzD_xxx
89 Followers 1K Following
Crypto诸葛 @bcecil
71K Followers 8K Following Bybit为专业交易者而生：https://t.co/aB9TxszEVZ #OKX 交易平台，具备1:1储备金，方便安全，立即注册：https://t.co/ClVrHceFjw 🎰顶级游戏体验尽在 @bcgame 📩DM For Promo💌 TG：@crypto20112
崽崽 @loww0827
13 Followers 406 Following
Ouwitirt @Ouwitirt709
108 Followers 2K Following
Yronar @Yronar1898483
2 Followers 189 Following
aishangwo @Cavin_117
21 Followers 212 Following
Sonnet (❖,❖) @sonnet001
61 Followers 3K Following @GiveRep @RiverdotInc @River4FUN @MirraTerminal @cookiedotfun @sparkdotfi @nexchain_ai
老張1982 @cryptoresetlife
9K Followers 4K Following 1️⃣ Threadripper 3960x+5090x32️⃣9950x+4090x23️⃣i9 139004️⃣9950x3d 🏆 ambassador @Nexuslabs
錦智DW丨⌘ (✧�... @DwJinzhi001
283 Followers 1K Following 從1M到歸零，走過錯路彎路，經歷帶來挫敗感，現重新出發，期待美好未來！币安钱包返佣 : https://t.co/QRPWShd6MU
Bluitou @Bluitou834318
5 Followers 294 Following 愛する人と、運命の時に出会えますように。そして、運命の人とも出会えますように。お会いできるのを楽しみにしています！
Mia @Oudirvi6519738
11 Followers 1K Following
Brovin.hl @tuktuktatanka
423 Followers 6K Following
Juooqeem @Juooqeem384406
8 Followers 327 Following 愛する人と、運命の時に出会えますように。そして、運命の人とも出会えますように。お会いできるのを楽しみにしています！
Milton Goldner @GoldnerMil37269
63 Followers 2K Following
Mary Wilkinson @MaryWilkin58301
106 Followers 4K Following
GustaveMelville @F9dg6roLP92R2
15 Followers 499 Following
Criawa @Criawa1548553
58 Followers 2K Following
Ipouskoo @ipouskoo79053
7 Followers 158 Following
Nuoonu @Nuoonu246180
7 Followers 154 Following
Fabby 🔛 web @fabby_on_web
836 Followers 1K Following rising to something 🔛 Bullish on @SentientAGI maxi @boundless_xyz
tenko | 🍓🦇 (❖... @tenkoghost1
1K Followers 4K Following ▶️Youtube https://t.co/jExM6XCjky @boundless_xyz / @storkoracle / @Glider_Fi / PowerPuff @ SocketSociety
Wolfgang Welz @welzwo
87 Followers 154 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
68 Followers 1K Following
FenceOut @DogeEVA
60 Followers 1K 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
564 Followers 557 Following @boundless_xyz / @risczero, prev: @Uniswap, team tstore
Oweearxea @Oweearxea36803
110 Followers 3K Following
Ingi Kim @codekim1214
2K Followers 5K Following Founder @narrativecap @codestates backed by @hashed_official | Investor @StoryProtocol @boundless_xyz @syndicateio @reclaimprotocol
Sebastian Fernandez @snfernandez
1K Followers 574 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/nZA0e6DF9z / @phalanetwork
Chris Williamson @caswilliamson
156 Followers 579 Following
_gabrielShapir0 @lex_node
74K Followers 4K Following cyberpunk lawyer & founder | MetaLeX 🖖😎 | Gorbagana 🗑⛓️ check my highlights tab
Markos @georghiades_
66 Followers 210 Following Building fast and open source cryptography @a16zcrypto
Andrew Tretyakov @0xAndoroid
349 Followers 202 Following Engineering Partner at @a16zcrypto — building Jolt zkVM; @UWaterloo; Rustacean 🦀
VolatilityQuant🇺�... @Ipiorgeax976
51 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
219 Followers 107 Following Crypto Enthusiast/ Crypto Marketing / Head of Global Marketing at RISC Zero
Maabwu @Maabwu770450
16 Followers 1K Following
chopper @chopper_ong_
4K Followers 2K Following jack of all trades, master of all || @monad enjoyoor || 🏠 @goblinsblock
Talia Ringer 💚 @TaliaRinger
30K 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
20K 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.
D̒̕ᵈăᵃn̕ᶰ ... @Viss
44K Followers 736 Following @[email protected] Founder/CTO, Phobos Group :: spiceshop = https://t.co/h9ioG1Ykn7 :: quad flooper : scoville addict ::public speaker :: food pornographer
RISC Zero @RiscZero
48K Followers 361 Following Building high-performance ZK systems to power the next era of computing. Building @boundless_xyz
Mudge @dotMudge
63K Followers 336 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.
Stefanos Chaliasos @schaliasosvons
687 Followers 250 Following security & research @zksecurityXYZ - Exploring ZKPs, PhD @imperialcollege
Ben {chmark} Adams �... @ben_a_adams
13K Followers 1K Following Ethereum Core Dev, Co-founder of @Illyriad Games, 10x Microsoft MVP, contributor to @NethermindEth. Prev @dotnetfdn board member.
trent.sol @trentdotsol
9K Followers 203 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
564 Followers 557 Following @boundless_xyz / @risczero, prev: @Uniswap, team tstore
Will Corcoran @corcoranwill
4K Followers 1K Following ethereum protocol coordination @eth_proofs brah @leanethereum dawg
gera @gerasdf
713 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_
66 Followers 210 Following Building fast and open source 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
349 Followers 202 Following Engineering Partner at @a16zcrypto — building Jolt zkVM; @UWaterloo; Rustacean 🦀
chopper @chopper_ong_
4K Followers 2K Following jack of all trades, master of all || @monad enjoyoor || 🏠 @goblinsblock
Coffeezilla @coffeebreak_YT
733K 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 337 Following Director of Offensive Security @NVIDIA, architecting @RISC_V, @LKRG_org Founder, @BlackHatEvents & @Defcon Speaker, #Phrack author, @PwnieAwards nominee
Scott Kominers @skominers
29K Followers 11K Following Market Design/Entrepreneurship Professor @HarvardHBS & Faculty Affiliate @Harvard Economics; Research @a16zcrypto; Editor @restatjournal; Econ @Quora; … | #QED
Ayo 🥷 @0xAyo6VS
2K Followers 1K Following I repost & post Alphas || DeFi || Airdrops|| Team @Azkaban_DAO | ヤンヤンイデオローグ
Koukyosyumei @Koukyosyumei
499 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 177 Following
Laurisha @CryptoFilma
865 Followers 993 Following Content producer partnering with Innovators & Artists. Ex-@ConsenSys @CeloOrg. Cinephile with a keyboard.
clemlaflemme.stark �... @ClementWalter
3K Followers 803 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 1K Following Less perfection, more authenticity • Contributor @RialoHQ, @droseranetwork • Berry @boundless_xyz
Jay_say_22 @Jay_say_22
890 Followers 897 Following Certified yapper || XAU/USD trader || allow me dream
DeFiHub❄️ @mustiahno_
1K Followers 688 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 586 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 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 380 Following Consultant. Pragmatic, Idiot-Driven Solutions. It's a neighborly day in this beauty wood. Creator of Fusebox: https://t.co/jhwpvOxr0T ꙮ
Cynde @Cyndesama
434 Followers 466 Following
Astropulse @RealAstropulse
5K Followers 48 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
219 Followers 107 Following Crypto Enthusiast/ Crypto Marketing / Head of Global Marketing at RISC Zero
Tolani @Tola_niii
6K Followers 1K Following ●Crypto since 2017 ● Community stuffs @Boundless_xyz ●Building @Web3_Frens
Ventali Tan @_ventali
228 Followers 56 Following founder @0xLita, invest @DelendumV, prev. @Redpoint @midreal_aiTrends for United States
1,1 Mn posts
36,8 B posts
20,9 B posts
340 B posts
19,9 B posts
345 B posts
72,6 B posts
1.039 posts
2.847 posts
4.681 posts
3.665 posts
1.627 posts
3.298 posts
47,2 B posts
2.908 posts
51,1 B posts
109 B posts
16,4 B posts
1.734 posts
You might like
Misha Davidov 🏳️...
@sirus
3K Followers
Alex Kavvos
@lambdabetaeta
727 Followers
Paul Gafni
@Paul_Gafni
851 Followers
Andrew K. Hirsch
@andrewkhirsch
575 Followers
David Maynor
@Dave_Maynor
14K Followers
Parker Thompson
@m0thran
2K Followers
Aleksandra Sobieska
@combinatola
653 Followers
〚Dan R. Ghica〛
@danghica
1K Followers
vollmerm
@ma_vollmer
676 Followers