Alexis Bed @solidityslayer
talent consultant / advisor x hacker house / event organizer @ethaly_io @wehack247 🛠🖤 everywhere but nowhere Joined December 2021-
Tweets1K
-
Followers2K
-
Following5K
-
Likes5K
Anyone want to go through some “basic” maths with me and try to prove as many missing theorems as we can for the Lean math lib? Things like abstract and linear algebra, topology, analysis, geometry, etc? I’d be down to stream it, just want to know who’d watch
privacy is important
We verified a Nova+CycleFold proof onchain!, we're very happy ^^ These past months we've been implementing Sonobe in a joint effort by @0xPARC and @PrivacyScaling. github.com/privacy-scalin… Verifying Nova proofs onchain in Ethereum is now a reality!
chads chadding @__zkhack__
the energy we need
well put
I’ve been working on this for over a year …and…he just…he built it out. Absolute madlad 🔥
100% PaulWifHat 🎩 Approved ✅ This week I have spent time with not only some of the smartest engineers, researchers and entrepreneurs of our space but also some of the kindest people I know. I have been glad to be learning more about prover networks like @taralli_labs or…
Absolute banger by @Jskybowen @AstriaOrg Just listened & genuinely my favorite pod I’ve heard in a very long time Best & most entertaining synthesis of competitive / market dynamics between shared sequencers, RaaS, rollup frameworks, etc No BS & holds no punches
Absolute banger by @Jskybowen @AstriaOrg Just listened & genuinely my favorite pod I’ve heard in a very long time Best & most entertaining synthesis of competitive / market dynamics between shared sequencers, RaaS, rollup frameworks, etc No BS & holds no punches
Goes to @ethaly_io once
even when it's rainy, @ethaly_io vibes ~
Great breakout session on decentralized proving at @ethaly_io with @aztecnetwork @taralli_labs @gevulot_network @SindriLabs and @0xPolygonMiden teams. Thanks to everyone that contributed to the discussion! (and to @joakimhi for moderating)
raw enthusiasm is contagious that's whats happening @ethaly_io
cheers to another incredible @ethaly_io 🥂
vibes truly unmatched @ethaly_io
nader dabit @dabit3
145K Followers 13K Following 🇵🇸 // devrel + dx @eigen_labs @eigenlayer // react, ai, & on-chain // prev @avara @celestiaorg @awscloud // contributing @lensprotocol // 🫂 @developer_daocami 🧸 @camiinthisthang
28K Followers 3K Following 🇨🇴 Developer evangelism @berachain | angeling in friendsDhai.sway 🌎✈️ @dhaiwat10
9K Followers 3K Following Building the Rollup OS for Ethereum @fuel_network ⚡️/ Traveling the World 🌍 and Capturing it in my Photographs 📸manny (🥚,🥚) @mannyornothing
3K Followers 3K Following Contributor @umaprotocol. Most importantly a #GirlDadDeveloper DAO (🧱, .. @developer_dao
87K Followers 3K Following Build web3 with friends 🤝 📆 → https://t.co/XWvb4x538o 📬 → https://t.co/4ASVZt6Noe 🤝🏻 → https://t.co/Y5AaBpNyAkEda @edatweets_
18K Followers 1K Following i write & code 🌸👩💻 // https://t.co/hC8Kgd9Ijj 🦄 @buidlguidlmeowy – oss/acc @me256ow
2K Followers 1K Following buidlooor @Consensys 🍃 web3 weeb @developer_dao 🌈 kb7 @KERNEL0x ✨️ | 🌙 n&w s2 alumni | 💫 @she__fi cohort 8 | she/theyNaruto11.eth @naruto11eth
9K Followers 5K Following Technical shitposter @AvailProject | Software Engineer | Blockchain Developer | did ML once upon a time... DeFi, ZK, and currently Rust-Pilled 🦀🦀Dawn Kelly 🏳️.. @run4pancakes
6K Followers 5K Following Builder mindset evangelist | member @NEARbuilders | @developer_DAO #4076 | buildspace N&W Gaudmire | Mother of Degens https://t.co/HNTbvHXfLLsteph.lens 🌊 ocean.. @0ceans404
8K Followers 4K Following building @NillionNetwork | 7+ hackathon wins, latest projects: gmReady & Wallet OTP ⤵️ prev polygon, aws, amazon, & startups. views are minekrinza.eth @kayprasla
5K Followers 1K Following head of devrel @fluentxyz — (stuff) @developer_dao / prev infra @ankr, ai @afinitiNazeeh @nazeeh21
2K Followers 2K Following Next.js, TS, GraphQL, Solidity | 3x hackathon winner | content creator | technical writer | OSS contributor | @developer_dao | @buidlguidl | @GitcoinDAOjoshcs.eth 🤳✨ @JoshCStein
4K Followers 3K Following learning, building, and documenting @CelestiaOrg 🟣✨ & 🗞️ @RollkitDev // art @ https://t.co/hCbAbsNNbh // hacking @developer_daopbillingsby @pbillingsby_
2K Followers 2K Following lurkin and building with @unboxedsoftware, @Lilypad_tech and @SizzleFiPaloma is your favori.. @palomasupremacy
3K Followers 2K Followingdcbuilder.eth ⚪️ @DCbuild3r
33K Followers 3K Following 22. 🇨🇿🇨🇺. math. Ethereum. ZKML. Rust. @worldcoinfnd. accelerating @worldcoin. angeling in friends. Hopeful about humanity.🦇🔊🦀🛡Ϗ @K4y1s
2K Followers 1K Following 🅿️ kay/kay 🎇 C̶̣̑h̵͖͋â̷̟ö̵̪́t̸͉̑i̴̪͝c̸͙͂ ̸͖̍G̵̠̈́ö̸̳́o̴̳̕d̶̨̐ 🔄 Writer+Dev 👨💻 @developer_dao Contributor 🐘 ⓐrweave Enthusiastmikedemarais.eth (on .. @mikedemarais
52K Followers 16K Following 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈 cofounder of @rainbowdotme follow me on fartcaster https://t.co/zWTvLoSAyZalec.eth (on Farcaste.. @Chipagosfinest
3K Followers 5K Following 👷 Building @interestedfyi (https://t.co/GajukECROn) to help people get /jobs on Farcaster 👔 🟪 #39 + 76 ⏪Prev. @ConsenSysMesh🦇🔊 Class of ’17 🤠kempsterrrr.eth | �.. @kempsterrrr
2K Followers 2K Following Dir, @developer_dao Foundation | Advisor @hashleapAlex Soong @asoong91
2K Followers 760 Following building @zkp2p, @southpkcommons, prev cf @SetProtocoledus @edusnahro
2K Followers 2K FollowingAlbin @shiinokimi54836
1 Followers 236 Following The team offers short-term investments in cryptocurrencies. With a rigorous plan, you can earn between $500 and $5,000. Click to join Telegram: https://t.co/AwpLDZlFK2Brett Bullard @Ones_Zeros
265 Followers 1K Following Current CTO @On3sports for @On3Elite, Former Engineering Manager @amazon. Previously @247Sports, @Comicbook, and @Popculture.oscar @oscar1319512930
65 Followers 357 Followingpluto @zkpluto
17 Followers 35 Following Pluto is on a mission to bring applied cryptography tooling to developers.decentralistdan🛡�.. @decentralistdan
2K Followers 5K Following | ᙇecosystem relations @ZcashFoundation |Ihor Diachenko 🇺�.. @ihor_diachenko
52 Followers 226 Following Privacy/ZK shill, opinionated dev 🔗 DevRel @rari_labs, @Rarimo_protocolEvangeline Lara @Evangeline73674
93 Followers 3K FollowingAlejandro 🗿 @alejandrocr_t
63 Followers 346 Following Viejo joven cafetero| Computer security analyst.99lc9tp06qry82 @0p1t37xqt
11 Followers 275 Following 【coinsrw . com 】User**me:Rom88 , P*****rd:R 66888 Bal:4,289,287,11 U.S.D.TMatt @mattes
521 Followers 2K Following co-founder of pluto, yc alum, working on zero knowledge dev toolsFrancesca @thefranceway
333 Followers 242 Following EU Market Lead at @zkPass— Inquiring Minds, Holistic Paths: Exploring the Human Condition through Innovative Tech. 🇮🇹Digitalia Coming Soon Sept 2024CJ (∀) @0xJ_C
402 Followers 3K Following (g^a mod p)^b mod p == (g^b mod p)^a mod p (m^e mod n)^d mod n == m mod n s=k^-1(h(m)+rd) s=k+h(R||m)d ZK Engineer @QEDProtocol ex-Core: @ParallelFi @ubuduSachin D Agrawal @sachindagrawal1
168 Followers 2K Following Rust and Blockchain Developer, Applied ZK and Cryptography Researcherrobik (∎, ∆) zk/a.. @robik
712 Followers 447 Following accelerating cryptography @the_matter_labs | @zksync | 🦇🔊 (∎, ∆)bankisan @0xbankisan
585 Followers 422 Following /// Building something new /// /// @PrivacyScaling, @OrangeDAOxyz, @zkshield_io /// math && econ && cryptographyjp4g @jp4g_
535 Followers 592 FollowingChandler @chandlerdkk
485 Followers 755 Following I have zero knowledge and can prove it @knoxlyzk | prev @UMAprotocol @LunoGlobal @AstariaXYZ @AcrossProtocolJohnds @TheBondsJames
2 Followers 68 FollowingTuran Vural 🇺🇦 @turanzv
361 Followers 469 Following Cybersecurity Engineer researching Web3.0 in China | @SchwarzmanOrg '22Dragan Pilipovic @gagadrupal
210 Followers 530 Following @ethereum fellow, grantee @starknet, contributor @onlydust_xyz, ex @nethermindeth intern, ex Drupal dev. Interested in applied cryptography in blockchainsRahul Ghangas @Rahul__Ghangas
481 Followers 999 Following Stressed Dictator @AeriusLabs Ex - @ethstatus , @CelestiaOrg , @renprotocolCesare Valitutto @0xczar0
100 Followers 541 Following software engineer & architect, web3 #BUIDLer, ex-@consensys. all opinions are my own.The Non-Economist @non_economist
55 Followers 961 Following What's everywhere and very human? | Craftsmanship Twitter is one of my notepads. Mutual info dumping is nice Whatever I erase/edit, it's a work in progress.octo @octotrades
2K Followers 210 Following Protocol lead specialized in deploying memetic viral loads Mythic Meganbats Accumulate fast. Dump Slow.Carnation (evm/agg) @0xcarnation
14K Followers 15K Following There is no chart, i long you. pfp by @kemonokaki.Law .NYAN🔫😼 @Tr4falgarDWLaw
66 Followers 555 Followinggeeny.eth @Geeny616
3K Followers 3K Following building @wen_defi ⚖️ | ambassadress @wasabi_protocol 🌶️ | prev. @phi_xyzsudolabel.eth @sudolabel
2K Followers 545 Following taking a break, occasionally angel | advisor, prev eng hire #1 @blowfishxyz𝚗𝚒𝚜𝚑𝚊�.. @nizhunt
178 Followers 773 Following Solidity, Liquidity & Gas | Creating challenges and other devrel stuff @ calyptus0xjsi.eth @0xjsieth
54 Followers 83 Following Blockchain dev. Shitcoin trader. e/acc. NixOs user. Smart contracts at @DeGaming_ioCL @CL207
193K Followers 9K Following shitposting, art, fashion 仙女資本@egirl_capital )))@echodotxyz captured by: @yueko__ no check dm sorry~nader dabit @dabit3
145K Followers 13K Following 🇵🇸 // devrel + dx @eigen_labs @eigenlayer // react, ai, & on-chain // prev @avara @celestiaorg @awscloud // contributing @lensprotocol // 🫂 @developer_daoalbert @thatguyintech
26K Followers 682 Following founding eng @deformapp, prev: @alchemyplatform @samsaraPatrick Collins @PatrickAlphaC
84K Followers 4K Following Co-founder of 🛡️@cyfrinaudits | 🟪 @soloditofficial | 🦅 @codehawks | 🎓 @cyfrinupdraft Building the Web3 we promised.cami 🧸 @camiinthisthang
28K Followers 3K Following 🇨🇴 Developer evangelism @berachain | angeling in friendsDhai.sway 🌎✈️ @dhaiwat10
9K Followers 3K Following Building the Rollup OS for Ethereum @fuel_network ⚡️/ Traveling the World 🌍 and Capturing it in my Photographs 📸manny (🥚,🥚) @mannyornothing
3K Followers 3K Following Contributor @umaprotocol. Most importantly a #GirlDadbuildspace @_buildspace
95K Followers 17 Following we're the place where people build cool shit -- backed by finc + a16z + yc.Developer DAO (🧱, .. @developer_dao
87K Followers 3K Following Build web3 with friends 🤝 📆 → https://t.co/XWvb4x538o 📬 → https://t.co/4ASVZt6Noe 🤝🏻 → https://t.co/Y5AaBpNyAkEda @edatweets_
18K Followers 1K Following i write & code 🌸👩💻 // https://t.co/hC8Kgd9Ijj 🦄 @buidlguidlcygaar @0xCygaar
86K Followers 437 Following I explain crypto topics in simple terms. contributing to @frame_xyz. advisor @MocaverseNFT.Manny (🧱,🚀) @codingwithmanny
15K Followers 1K Following 🏆 4x Hackathon Winner 🇨🇦🇪🇺🇹🇷 DevRel Engineer 🐻⛓️ @BeraChain ⟠ Prev @0xPolygonLabs + @ankr 👥 @developer_dao member since 09/21Georgios Konstantopou.. @gakonst
108K Followers 2K Following very greek accent. cto & research partner @paradigm. optimist and rustacean 🦀 // team lead of reth, foundry, alloy. join us.DavidHoffman.eth/acc�.. @TrustlessState
198K Followers 1K Following Optimistic storyteller of frontier technology. The chaotic side of @Banklesshq.meowy – oss/acc @me256ow
2K Followers 1K Following buidlooor @Consensys 🍃 web3 weeb @developer_dao 🌈 kb7 @KERNEL0x ✨️ | 🌙 n&w s2 alumni | 💫 @she__fi cohort 8 | she/theyrahat.eth @Rahatcodes
12K Followers 2K Following Muslim | Devrel @MorphL2 | Cofounder @protocolxplorer | Prev @biconomy @0xPolygon @rabbithole_gg |Sandeep AggLayer. pol.. @sandeepnailwal
281K Followers 4K Following Serving @0xPolygon Builders, Founder @0xPolygon & @cryptorelief_ . I freely retweet Polygon ecosystem projects. Retweets are not endorsements.ZKP2P @zkp2p
5K Followers 24 Following Building the first trustless P2P fiat onramp powered by zk proofs. Grantee @PrivacyScaling @ethereum. ZKP2P alpha is live - try it out at https://t.co/lmQAStvqsc!Alex Soong @asoong91
2K Followers 760 Following building @zkp2p, @southpkcommons, prev cf @SetProtocoledus @edusnahro
2K Followers 2K FollowingCheryl Douglass @cherdougie
4K Followers 3K Following building @seedclubhq 🌱 ~ the consumer crypto network // founder @primamateria__ // prev @consensys @infura_io @pleasrdao // @columbia alum ♔ ⛸️Vanishree Rao @vanishree_rao
3K Followers 277 Following Building towards world proven with Zero-knowledge Proofs. Previously, Cryptography @InputOutputHK, @MinaProtocol, Xerox PARC. UCLA PhD.GitRoll @gitroll_io
120 Followers 28 Following Empower companies to identify quality software engineers. ✨https://t.co/4C9a623gexProphetic @PropheticAI
17K Followers 12 Following We are a non-invasive (tFUS) neurotech company building a device to induce conscious experiences.Victor Sint Nicolaas @VicSintNic
276 Followers 305 Following Protocol engineer @aleoHQ | into security, cryptography, incentivesMoudy @Moudy0x
85 Followers 125 Following Zk Research Eng @vacp2p @Logos_network/@ethstatus - NescienceMatt @mattes
521 Followers 2K Following co-founder of pluto, yc alum, working on zero knowledge dev toolsJames Kirk @Jiminy_Kirket
2K Followers 1K Following AI/ML at Atlas, prev co-founded Meru, ML+Recs @ Spotify. A nervous little punk boy.Francesca @thefranceway
333 Followers 242 Following EU Market Lead at @zkPass— Inquiring Minds, Holistic Paths: Exploring the Human Condition through Innovative Tech. 🇮🇹Digitalia Coming Soon Sept 2024Steven Smith 🛡⚪�.. @reldev
2K Followers 1K Following Head of Protocol at @tfh_technology (@worldcoin). Formerly Head of Engineering at @ElectricCoinCo (@zcash). Previously @Salesforce and @Cisco.forty iq @fortyiq
1K Followers 4 Following a ghostwriting agency for late-stage crypto founders. find your voice, grow your brand, and connect directly with your audience.Sachin D Agrawal @sachindagrawal1
168 Followers 2K Following Rust and Blockchain Developer, Applied ZK and Cryptography ResearcherDan Dore @dorebell
120 Followers 462 Following Mathematician, mental traveler, advocate for academic labor. ACAB. Every module was born free, and so were you. Break your (co)chains. He/him.MrDzejkop @JakubTrad
34 Followers 303 Following A software dev, still on a honeymoon with Rust (4+ years and still going strong)_-makemake-_ @makemake_kbo
1K Followers 686 Following I'm good at making mistakes. Sometimes I improve, but I never make the same mistake twice. @[email protected]Daniel J. Bernstein @hashbreaker
22K Followers 23 Following Designing cryptography (deployed now: X25519, Ed25519, ChaCha20, NTRU Prime) to proactively reduce risks. Coined the phrase "post-quantum cryptography" in 2003.Grigore Rosu @RosuGrigore
4K Followers 396 Following Professor @cse_uiuc, founder of @Pi_Squared_Pi2 and @rv_inc. Programming languages, formal methods, software engineering, cryptography.Chandler @chandlerdkk
485 Followers 755 Following I have zero knowledge and can prove it @knoxlyzk | prev @UMAprotocol @LunoGlobal @AstariaXYZ @AcrossProtocolGeorgios Vlachos @yorgosv_
8K Followers 953 Following @axelarnetwork | previously @Algorand, @MIT Opinions are my own, not investment adviceBen Diamond @benediamond
173 Followers 64 Following Mighty is geometry; joined with art, resistless.Dionysis Zindros @dionyziz
6K Followers 798 Following Cryptography/Blockchains @CommonPrefix. Post-doc @stanford; PhD @uoaofficial; MEng @NTUA. Prev: @Google @Twitter @deviantART. Pilot (LGTT). ✈️⛵️🎹🇬🇷🌈Jim Posen @jimpo_potamus
2K Followers 406 Following Fast walker, slow talker. Accelerating zk-SNARKs @IrreducibleHW.Z Fellows @ZFellows_
13K Followers 3 Following studying the greats. | helping ambitious founders launch their startup at https://t.co/kc29ux5GVIBlockScience @block_science
6K Followers 236 Following BlockScience® is a complex systems engineering firm that combines research and engineering to design safe and resilient socio-technical systems.Turan Vural 🇺🇦 @turanzv
361 Followers 469 Following Cybersecurity Engineer researching Web3.0 in China | @SchwarzmanOrg '22Francisco Strambini �.. @fran_strambini
965 Followers 718 Following Amateur distributed system and cryptography engineer | Alea Iacta Est | @class_lambda @alignedlayerDragan Pilipovic @gagadrupal
210 Followers 530 Following @ethereum fellow, grantee @starknet, contributor @onlydust_xyz, ex @nethermindeth intern, ex Drupal dev. Interested in applied cryptography in blockchainsRahul Ghangas @Rahul__Ghangas
481 Followers 999 Following Stressed Dictator @AeriusLabs Ex - @ethstatus , @CelestiaOrg , @renprotocolAerius Labs @AeriusLabs
426 Followers 0 Following Aerius Labs is where cryptography, blockchain & Zk proofs converge to shape the future of secure systems.Payy @payy_link
1K Followers 2 Following 🎾 Payy globally. Fast, free & private. Like Venmo, but global. A non-custodial stablecoin wallet for https://t.co/kjuvsxfrfkKakarot zkEVM @KakarotZkEvm
40K Followers 16 Following Planting the seeds for the Ethereum of tomorrow: 🌱🧑🌾🥕👩🌾🥕🧑🌾🥕🌱 Prove, Scale, Innovate 🥕 Join us: https://t.co/0IjJGJOz1x@dferrersan if you can force a frontend language into the evm i'm game unless you mean the language formerly known as vyper-rs, but if that's the case i hope you don't need anything depending on erc-165 😭
setting up a blind date for my SUPER HOT single guy friend who also works in crypto him: - wants to run a designer custom tailoring brand you: - has dreams of marrying someone with a designer custom tailoring brand dm me cuz i’m being serious lol
setting up a blind date for my SUPER HOT single girl friend who also works in crypto you: -in crypto -ages 28-36 -rich -no kids -funny, chill her: - 26 - beautiful - latina - 26 - no kids - funny, athletic, accomplished dm me cuz i’m being serious lol
@fede_intern @0xRodney it’s true, I also don’t like most VCs but I like him :p
congrats to the most down to earth team ever!! @fede_intern there’s no other nerds I’d like to learn Zk from more, especially at 4am in a McDonalds :3
🟩 A Fully Aligned Round: $20M Series A Round🟩 Aligned Layer is pleased to announce a $20M fundraise led by Hack @hack_vc, with support from @daofive, @l2iterative, @NomadCapital_io, @FinalityCap, @symbolicvc, @theta_bv, @J17Crypto, @EVG_Ventures, @decimafund, GM Ventures,…
I’m doing research (asking Josh Bowen to explain things to me)
i will never recover from this nerdsnipe and it started almost 3 years ago
The only certainty I have right now is that the world needs more proofs. And I mean REAL proofs. Ones we cannot argue about. Ones that are transferable and usable. The more we can generate these, the more we don’t even have to trust another, but will by proxy.
Anyone want to go through some “basic” maths with me and try to prove as many missing theorems as we can for the Lean math lib? Things like abstract and linear algebra, topology, analysis, geometry, etc? I’d be down to stream it, just want to know who’d watch
if youre a programmer study Terry Davis study Jonathan Blow study Linus study Carmack study Stroustrup remilio