Liam Eagen @liameagen
Austin, TX Joined June 2014-
Tweets14
-
Followers302
-
Following241
-
Likes131
We may have discovered a way for BitVM to do permissionless verification, effectively overcoming its primary limitation!🤯 If you're interested in helping us develop a Groth16 verifier using Bitcoin Script, please join the BitVM builders group t.me/bitVM_chat
Verified ML in the form of ZKML has captured significant interest. But it's too slow in practice, taking 6 hours to verify the Twitter recommendation model Enter TensorPlonk, a new ZKML proving system with >1,000x faster proving 📝Blog post: medium.com/@danieldkang/d… 🧵 1/9
Introducing Lasso, a new lookup argument that unlocks "lookup singularity" by building on Spartan's sparse polynomial commitment ("Spark"). Appearing on eprint shortly! Joint work with @SuccinctJT and Riad Wahby.
New work on folding, with @abhiramko! Full paper: eprint.iacr.org/2023/1192.pdf
Experimental implementation of ProtoGalaxy using arkworks: github.com/arnaucube/prot… ProtoGalaxy is a new folding scheme by @rel_zeta_tech and @liameagen which allows to fold k-to-1 instances
Experimental implementation of ProtoGalaxy using arkworks: github.com/arnaucube/prot… ProtoGalaxy is a new folding scheme by @rel_zeta_tech and @liameagen which allows to fold k-to-1 instances
1/ Lookups in snarks just got a lot easier! With @liameagen and @dariofiore0, we continue the recent sequence of works starting from Caulk, with a new protocol called cq (short for "cached quotients"). eprint.iacr.org/2022/1763
Tobias @tobiasrth
23 Followers 200 Following CS Student @TU_muenchen, Education @tbc_munich Topics of Interest: Formal Methods, CryptographyAnton Yezhov @yezhov_anton
53 Followers 227 FollowingKeags @ProofOfKeags
3K Followers 1K Following Protocol Engineer @lightning | Prev Cofounder @start9labs | Bitcoiner | Hobbyist Hip Hopper | Hacking on https://t.co/zHydxPpx9KADITYA ROLA @adityarola
761 Followers 532 Following Builder @CapxFi | Building token distribution infrastructure ex - @jpmorgan , @visa0xonurinanc @0xonurinanc
214 Followers 113 Following Cryptography and blockchain researcher, zk engineerJoushessh @JoushesshBfbZ5
0 Followers 34 Followinghalf spoonful of swee.. @1semi_sweet
374 Followers 24 Following We each work hard and meet at the highest levelTonya Baker @TonyaBaker31420
1 Followers 172 Following333satoru @333satoru
229 Followers 1K FollowingTohru Kohrita @TKohrita
69 Followers 29 FollowingDesindexa @desindexa
42 Followers 409 Followingmicahscopes @micahscopes
157 Followers 567 Following creative web hacker, musician, math and science lovergeoff.eth @glamperd
1K Followers 2K Following Ethereum Foundation Privacy & Scaling Explorations, zero-knowledge crypto, music, art, science, techHODLÉire @HODLEire
227 Followers 1K Following Learning everyday. 80IQ dev. #npub1wsqvnmcru08e2h6asmcj8m4nsjlkw6wgsqk6q8u52gr38yxc9t7qxjwxraDeFi Cheetah 🐆 ¤ .. @DeFi_Cheetah
33K Followers 3K Following First-Principles Thinker & Researcher|ex Hedge Fund|NEVER trust anyone mimicking me in social media accounts (eg TG) unless confirmed by my twitter ac here!!unnikuttan @pqckuttan
95 Followers 1K FollowingThe Bitcoin Breakdown.. @TheBTCBreakdown
1K Followers 2K Following Bitcoin is the Manhattan Project for Human Freedom113 ♖♖♖ @0x113d
15K Followers 4K Following Artist, co-creator of @Mathcastles https://t.co/i4eHxyoEZK (by @el__ranye)Zac Williamson @Zac_Aztec
10K Followers 575 Following CEO @aztecnetwork. Building a privacy-first L2 on Ethereum. Cryptographer, software engineer, ex-particle physicist. Plonk co-author. Huff inventor.Kabir Peshawaria @PeshawariaKabir
80 Followers 230 Following Interested in Cryptography (Proof Systems). Contributing to Binius @ Irreducible. Previously @ CMU, Two Sigma, and Proven.Teach @AbishekBa28756
0 Followers 609 Followingayushm.eth @ayush_modi_
624 Followers 3K Following 20. hacking at https://t.co/Vt1vX6wmnE Previously, Intern @nethermindeth, @epnsprojectJustin Martin @thefrozenfire
552 Followers 845 Following Cryptographic locksmith. Fashioning arithmetic keys and the locks they fit in. https://t.co/MqwXFunFVATrursmee @TrursmeefZPRUL
0 Followers 34 Followingrandom ⚛️ @isyiming
568 Followers 991 FollowingMark-Steven @msquevillon
202 Followers 5K Following Building Chaumian eCash on Nostr to help receive Bitcoin from anyone anywhere in the world - even when your phone is offline.Jeshli 🦇🔊💻�.. @Jeshli
757 Followers 3K Following Lead AI engineer at DecideAI Rust ML https://t.co/CnCp48Nl9u PyTorch AI to Canister https://t.co/z2xTviEu3hHireVibes - Bitcoin J.. @HireVibes
3K Followers 2K Following Earn $Vibes for referring and getting hired! Deploy a community job board in minutes. $VIBES DAO launching soon 🚀HostFat @HostFat
3K Followers 5K Following Passionate about revolutionary and futuristic technologies. https://t.co/Fg4KiJPF2A - Possibile futuro - Blog https://t.co/8Qx5EGcVxruJMBP4jQ3YvGwN @uJMBP4jQ3YvGwN
2K Followers 1K FollowingAmeya @0xameya
1K Followers 5K Following for the love of the game | currently @SeismicSys @bitspilaniindiafft.eth🦇🔊 @liquan_eth
2K Followers 1K Following Building @MegaETH_labs | ZK Learner | part-time DevRel in @dfinity Former: @MorphL2 @bitfinitynet @snzholding #rust #EVM #SNARK https://t.co/gsrKI4nKVWboyacaxa #Bitcoin CTV.. @boyacaxa
883 Followers 5K Following What's Bitcoin? https://t.co/eN8Tr6DCB5nikkolasg @nikkolasg1
478 Followers 2K Following worked on https://t.co/RgvWREzBm9 / https://t.co/OXslOabMl7 - work @lagrangedev . Opinions are my own and not the views of my employerJünger @Junger0x
872 Followers 1K Following Particle Physicist. Privacy Enthusiast. Average ZK Enjoyer. Part-time Drummer at @taikoxyzMarcin Kostrzewa @mmkostrzewa
238 Followers 399 FollowingAbishkar @abishkarrr
129 Followers 345 Following Expanding financial access globally @alpenlabs | CS@MITlight @lightcoin
14K Followers 348 Following peer to peer electronic cash enthusiast || 🏴🦔 @light__nh || ☿ he/theyMoneroKon @MoneroKon
3K Followers 164 Following #MoneroKon2024 | Dates: 7-9 June 2024 | Location: Prague, Czech Republic 🇨🇿 @Paralelni_Polis | 🎟️ Tickets now available: https://t.co/GKFmFZ55p1☬ 𝒮𝓊𝓃𝒾�.. @sunchakr
1K Followers 895 Following 𝔸𝕝𝕝 𝕥𝕙𝕚𝕟𝕘𝕤 🎥 @monerotalk💃🏽𝕄𝕖𝕖𝕥 𝕪𝕠𝕦 𝕚𝕟 @monerotopia 🏝 | https://t.co/EMov6F9xlkMeredith Whittaker @mer__edith
92K Followers 4K Following President of @signalapp, Chief Advisor to @ainowinstitute (Also on Mastodon @[email protected], also on bsky @meredithmeredith.bsky.social)Uma Roy @pumatheuma
5K Followers 573 Following Making ZKPs accessible to any developer @succinctlabs | Hiring https://t.co/MD9jXsNW0XCarman @benthecarman
21K Followers 1K Following building @MutinyWallet | ⚡ [email protected] | npub1u8lnhlw5usp3t9vmpz60ejpyt649z33hu82wc2hpv6m5xdqmuxhs46turzJohn Guibas @jtguibas
3K Followers 1K Following building next-generation software for programmable truth. co-founder @succinctlabs - we're hiring! prev @stanford @thielfellowship.Lukas @lucidLuckylee
482 Followers 121 Following Studying Computer Science at TU Berlin. Working on @ZeroSync_zksecurity.xyz @zksecurityXYZ
3K Followers 3 Following Security audits for zero-knowledge applications https://t.co/6b4Wq7NBk8gloria @glozow
15K Followers 221 Following working on Bitcoin Core supported by @bitcoinbrink hosting @BitcoinCorePRs and https://t.co/bcsUFAkv0y 6B002C6EA3F91B1B0DF0C9BC8F617F1200A6D25CCasey @rodarmor
129K Followers 296 Following 😻 A N A R C H O — C A T B U S 👁 https://t.co/Qy87VuaizA 🥵 https://t.co/2cPqL2xpuh 🤖 https://t.co/eG0CZL5IXH 🎨 https://t.co/1l9ekCAT6z 🏠 https://t.co/4MdA62CeUhGlow Foundation @GlowFND
523 Followers 11 Following Dedicated to the growth and adoption of Glow by supporting its community. Discord: https://t.co/kccQNvoA8EAdrian Brink @adrianbrink
12K Followers 1K Following Co-founder of @anoma & @namada! Building decentralized and permissionless software @heliaxdev!Maxim Orlovsky @dr_orlovsky
8K Followers 2K Following Ex Tenebrae sententia: sapiens dominabitur astris. Computer scientist, neuroscientist, cypherpunk. #AI #robotics #transhumanism. Creator of #RGBIrreducible @IrreducibleHW
4K Followers 7 Following Accelerating the zero-knowledge revolution with the world's fastest proof generation.Geometry Research @__geometrydev__
927 Followers 5 Following Geometry Research empowers protocols using cryptographyAlexis Roussel @alexis_roussel
5K Followers 968 Following Pirate and COO @nymproject npub158d7zqnl36ze3gmyv4kedezvla3z3rvgsfpap83drqrywswwvc8skw9kx0 Mastodon @[email protected]Peter Van Valkenburgh @valkenburgh
54K Followers 2K Following Director of Research @CoinCenter | Board Member @ZcashFoundation | JD @NYULaw | We broke the ruptured structure built of age. I'm "valkenburgh" most places.Patri Friedman 🌆�.. @patrissimo
16K Followers 544 Following Alleviating global poverty with startup cities @PronomosVC; previously founded @Seasteading @EphemerisleYiğit Kılıçoğlu @yigit_kilicoglu
58 Followers 45 Following Yale'24.5 CS + math. @0xvillage_org Mastodon: @[email protected]0xVillage @0xvillage_org
143 Followers 0 Following Research talks on crypto at the Nesin Math Village in Western Turkey. Like the Smurfs but with crypto and without Gargamel. 19-23 Nov (after Devconnect)Sara @SaraYPeoples
391 Followers 854 Following PR & marketing 💫 🍯 👩💻| @athena_dao_ | @She__Fi | prev. @YapGlobalTeamBen Diamond @benediamond
181 Followers 67 Following Mighty is geometry; joined with art, resistless.Bobbin Threadbare @bobbinth
4K Followers 126 Following zero-knowledge proofs, virtual machines, rollups. working on @0xPolygonMidenWei Dai @weidai11
7K Followers 82 Following wrote Crypto++, b-money, UDT. thinking about existential safety and metaphilosophy. blogging at https://t.co/mBVFhriJVfOrest Tarasiuk @OrestTa
2K Followers 523 Following Ideating towards co-founding a new startup | @zkWarsaw | Past: Engineer @Scroll_ZKP 📜 Founder-CTO @caracarehealth & @knit_worksDWeb // @dweb@social... @GETDWeb
3K Followers 332 Following DWeb connects the people, projects, and protocols essential to building a decentralized web. A web that is more private, reliable, secure and open.Danny Willems @dwillems42
812 Followers 2K Following _Try_ to make The Internet better. Currently @leak_ix & @o1_labs, @minaprotocol and @be_badaas / Ex Nomadic Labs and @tezos / Ex @B2C2group 🌱LambdaClass @class_lambda
9K Followers 290 Following LambdaClass is a venture studio that works on difficult problems related to distributed systems, ML, compilers and cryptography.penumbra 🌘 @penumbrazone
16K Followers 97 Following A fully private, cross-chain proof-of-stake network and decentralized exchange for the Cosmos and beyond. Coming Soon. Join our Discord: https://t.co/WqWr1DR4NRHadas Zeilberger @idocryptography
207 Followers 68 Following Cryptography PhD student @YaleACL, focused on scaling zero-knowledge proofs using error-correcting codes https://t.co/VWlg5udWLcGrant Sanderson @3blue1brown
365K Followers 362 Following Pi creature caretaker. Contact/faq: https://t.co/brZwdQfdifGreat work by @AndrijaNovakov6 and @liameagen improving SNARK verification with a very clever trick to remove the expensive "final exponentiation". @weikengchen has already implemented this optimization for the Fflonk verifier that we're building in Script for BitVM2. 💪🤓🧡
catch up on the new result from @AndrijaNovakov6 and @liameagen on how to optimize pairings in snarks and on-chain verifiers, by removing final exponentiation and more it's applicable almost everywhere :) reach out to @AndrijaNovakov6 or me on how to use it in your case
The US Gov alleges that FINCens MSB guidelines do not require control over funds as *checks notes* a frying pan transfers heat, but does not exercise „control“ over what is being transferred.
The Future of Verifiable Computation Is Coming We're launching R0 zkVM 1.0, the world's first production-ready general purpose zkVM, to enable a future where you can prove anything and verify everywhere. A future where zero knowledge is universal.
Today we learned there are animals called Horseshoe Crabs that produce the Water of Life that the Bene Gesserit use in their Reverend Mother succession rites of passage. They are very rare and you have to import them from Arrakis. They are said to be used in medicine as well.
W
Craig Wright has discontinued his claims against Bitcoin developers (incl me) in the TTL case (where he was asking for a fork of bitcoin that seized random coins and gave him free money)! old.reddit.com/r/bsv/comments…
@QuantumCatsXYZ an interesting idea and looking forward to seeing more details about it. but this isn't the "first permissionless bitcoin bridge", see e.g. the work presented by @simanta_gautam @btcplusplus last year: yewtu.be/watch?v=Nldg_t…
This is a pretty good argument. I might start dabbling in altcoins due to this. Does anyone still think fiat (specifically, dollar pegged stablecoins) are still inherently bad after reading this? Saving good businesses from market-imposed volatility seems like a public good
@super_testnet @JuanSGalt The counter argument that if you have a business that runs on tight margins & with a lot of value locked & with no fast way to react, then bitcoin volatility can wipe your whole business in one hour and so you need value stability to protect the business.
Covenants could take bitcoin to the next level But bitcoin devs haven't done an amazing job at explaining what covenants actually are. Here’s a simple breakdown of each new covenant proposal:
If this is legit it is both hilarious, but also underscores an important issue around quantum computing claims.
Can a quantum computer beat a ... Commodore 64?
Had a great week researching BitVM2 with @matteo_maffei, @zetavar1, and their group at @SecPrivTUWien. It's an honor to build, break and improve bridges with excellent academic Bitcoiners like Andrea Pelosi, @lukas_aumayr, Christos Stefo, and @alexeiZamyatin. Thank you! 🙏
Understanding the sequence of works on tri-linear maps by Huang has been on my todo list for years after @danboneh told me about it arxiv.org/abs/1803.10325. Does anyone have an understanding of it and intuitions about their security level? I can tl;dr what I do understand: The…
The talks I attended at ZK summit were mostly focused on Ethereum (and Bitcoin was only mentioned as outdated technology). So I was quite surprised when discussing with people that there is an enormous interest in Bitcoin, BitVM and OP_CAT (STARK verifier in script anyone?).
Met some really interesting folks at ZK summit and got more Bitcoin pilled at dinner last night. Proof of work is a beautiful mechanism with unmatched elegance. The work with OP_CAT and BitVM to optimistically (?) verify SNARKs/STARKs to scale Bitcoin seems like a huge unlock.…
Met some really interesting folks at ZK summit and got more Bitcoin pilled at dinner last night. Proof of work is a beautiful mechanism with unmatched elegance. The work with OP_CAT and BitVM to optimistically (?) verify SNARKs/STARKs to scale Bitcoin seems like a huge unlock.…
Hey everyone! Difficult days. Mental health is very difficult some days/months/years etc. Please keep working with the amazing team @RiscZero they are brilliant and passionate. And reach out and support them if you’re close. This had been hard on them too. Mostly keep building…
eprint.iacr.org/2024/504 new work with @jimpo_potamus is out. combines Binius with FRI, in just the right way—using an idea from BaseFold—and achieves much smaller proofs. in the process, we reveal a "hidden connection" between the Additive NTT and FRI. this work was a blast!
Concerned about Binius proof sizes? Our latest research paper shows we can use FRI to reduce proof size, while still working for all binary tower fields. ulvetanna.io/news/fri-binius
Gunna be hanging out at #RWC Toronto come say hi, here’s a picture of me, Sam Parker so you’ll know what I look like.