Sean Bowe @eblull
Zcash developer and crypto researcher, Encrypted Money at Planetary Scale (https://t.co/AZi3ixX33F) tachyon.z.cash Joined April 2009-
Tweets104
-
Followers172
-
Following827
-
Likes269
Project Tachyon: Scaling Zcash with Oblivious Synchronization. seanbowe.com/blog/tachyon-s…
Zcash is hardened. No privacy breaches. ✅ No backdoors. ✅ 10 years fair distribution. ✅ Supply enforced. ✅ Mythos checked. ✅ World class dev teams. ✅ No compromises. No co-opt. No stop. Full send.
We're very grateful that OpenAI has provided our teams with assistance to protect Zcash users from these nasty bugs as well. (We also have no new issues to report!)
Thanks, Anthropic, for helping protect Zcash users. At Shielded Labs’s request, they ran a security audit of Zcash with Mythos. It did not find any more serious bugs in the Zcash protocol. Shielded Labs and others are continuing security hardening work. Stay tuned for updates.
Before, usage of ZKP's required trust in: - Cryptography assumptions (ECDLP is sound, hashes are collision resistant, etc) - Developers to make a sound design for what they want to prove. - Careful implementation of a circuit satisfying the design Now this should compress to: - Cryptography assumptions - A correct definition of the needed security properties. Automated proof checking will prove that your real ZKP verifier + circuit combo then satisfy the above two.
Quick update on the last ~48 hours of Zcash Ironwood! 1. Protocol devs from across all the orgs met twice to discuss specification and implementation progress. Agreement on a couple additional changes: disabling Orchard pool bundles in coinbases, anchors as auth data for migration UX with hardware wallets, and the order that ZIPs and specs will be handled. 2. Ironwood circuit and ZIP 2005 integration drafts are going through the review process. @ValarGroup has already spun up testnets and his team has done a wonderful job scoping out and implementing some of the wallet-facing changes. We are beginning an Ironwood upgrade book for eventual consumption by auditors, wallets, protocol developers, etc.. 3. Formal verification work on Ironwood continues. A collection of different individuals who either have or will continue to work on formalization efforts will be meeting tomorrow where we'll settle on the specific strategy for getting the Ironwood SNARK formally verified. I'm hosting this and will post minutes and details after. Efforts from teams will be ideally combined where useful, existing approaches and progress unified and we'll figure out the easiest path for the next couple weeks. I've paused my own work on this to do Ironwood circuit stuff, but I'll be resuming on that tomorrow. These are the big pieces, there are also some major security auditing tasks taking place in the background -- at least three major firms are auditing Orchard currently, and multiple new AI auditing suites are hammering the codebases to ensure nothing else critical is sitting around anywhere. So far so good! Really proud of how much progress is being made every hour on this by all five of our major teams/orgs and our supporters inside and outside the community. Also love the general wartime vibe shift. Let's go!
UPDATE: The various orgs and protocol developers mentioned have agreed on the specific consensus rule changes for Ironwood, after settling the finer details. Here's a summary: 1. Ironwood introduces a new pool using the Orchard protocol, just like the existing pool. 2. The
I got asked about Arc's "privacy" proposal: 1)its not private and I hope they don't say it is. A private zone is a TEE, ran by an admin, who sees and controls everything. 2) These ideas aren't knew, but a promising integration of them is great. 3) We can get better privacy.
Since we started the project, I’ve been telling the @circle team that this will be the last privacy solution in blockchain space. And we delivered. What we have built is not just privacy-preserving smart contracts. Instead, it's a paradigm shift in how blockchains,
UPDATE: The various orgs and protocol developers mentioned have agreed on the specific consensus rule changes for Ironwood, after settling the finer details. Here's a summary: 1. Ironwood introduces a new pool using the Orchard protocol, just like the existing pool. 2. The circuit for the Orchard protocol—which applies to both the existing Orchard pool and the new Ironwood pool—will have a flag that consensus rules can toggle. This flag disables payments to *other* users within that pool, while maintaining the ability to create change notes. (This enables a privacy safeguard.) 3. The old Orchard pool will have this flag enabled after the network upgrade, and payments to the old pool will also be disabled by constraining valueBalance. 4. Because payments are disabled on the old pool, wallets must send new payments to Orchard receivers (inside existing unified addresses) via the new pool, and they should also migrate funds away from the old pool. This combination enforces a bound on the circulating supply of ZEC through the use of the existing turnstile mechanism; the amount of ZEC that anyone can transact with is no more than the amount that is supposed to exist. Meanwhile, users' wallets can migrate funds to protect them from risk, which also gradually provides evidence that counterfeiting never took place. Now that we have this decided, we'll collectively move on to the implementations, specifications, and ecosystem support/outreach. (We also have many different auditing and formal verification efforts taking place behind the scenes to provide assurance about the circuit correctness. More on that soon!)
Together with @zodl_co, @ZcashFoundation, @ValarGroup and @ShieldedLabs, we're advocating for a network upgrade that would make ZEC's circulating supply auditable, providing additional reassurance that no counterfeiting occurred in the Orchard pool before this week's bugfix.
bug != exploit with that out of the way, the data around the shielded pool movements (or lack of movements) is extremely bullish long term invest in religious zealots working on revolutionary tech is a solid principle / see druck on why he changed his mind on bitcoin:
the activity around the $ZEC pool the exploit was found in is the wildest data i've seen for a situation like this the only thing that would explain this behavior is that the majority of the tokens in this pool is highly concentrated to a small set of users and they don't want
If you think you had a dizzying week as a Zcasher, imagine being a Bitcoiner: apparently, someone made an unusual UTXO that could technically be in violation of a future controversial BIP, so the forces of good and evil are debating the philosophy of softforks for the 68th time.
Fear of shielded ledgers due to complexity, despite breakthroughs in formal verification, is doomer / decel / techno-pessimist behavior.
@udiWertheimer @TachyonZcash @zodl_co @ZcashFoundation @ValarGroup @ShieldedLabs lol im afraid youve become possessed by an ai datacenter doomer / bernie sanders hybrid I told you three times now that tachyon pool will be *formally verified* and *mathematically sound*. Ai might help discover vulnerabilities in software but it turns out it ALSO helps you
Zcash will prove you can remove fatal inflation risk with formal verification and simplicity or panopticon is the future. Nothing in the laws of physics mandates soundness bugs. Place your bets ladies and gentlemen.
Where can a bug come from? - Circuit spec: Never happened before - Circuit impl error: Protected by FV. - FV specs not being correct. I don't believe in risk for missing circuit spec <> FV spec guarantees. - Fatal compilation error for FV. (I believe this is impossible for R1CS - Tachyon) - FV language is wrong: Its pretty machine checkable. Have AI just also fact check the proof. - ZKP Verifier has no bugs (We will just FV it too) So the end state risk becomes just the circuit spec. But its honestly quite high-level simple? We then FV each relevant property of the high-level functions as well. Then there is the cryptography itself. EC operations / Lattices / Hashes, what-not. There lindy-ness does a lot. EC's aren't getting broken until quantum computers. Hashes have stood the ~entire history of cryptography, they will remain secure. Lattices, I have less certainty on.
Circuit code can be written in a DSL or be a horrible mess, but usually it just reduces into some polynomials the verifier uses to check the SNARK. All circuit soundness bugs actually live *here* by definition, and formal verification at this boundary is a mechanical process.
We have some crazy formal verification engineering going on at zkSecurity and IMO it’s too little well known. Clean has been continuously worked on for almost 2 years now, and we have a big update here: blog.zksecurity.xyz/posts/clean-ve…
Excellent work from @ShieldedLabs and friends in identifying and coordinating a fix for the Orchard bug in record time. Now they're working on making sure the supply has 100% integrity, even though it's very unlikely there was an exploit. Turnstyling through different shielded pools is really cool. I personally wouldn't have my money in substantial amounts in any privacy protocol that didn't have this feature.
One thing that makes this work where the turnstiles only partially worked before: we're forcing the *circulating supply* of ZEC to exist only within safe pools. Any hypothetical counterfeiting is snuffed out, and Orchard transactions automatically redirect through the new pool.
Together with @zodl_co, @ZcashFoundation, @ValarGroup and @ShieldedLabs, we're advocating for a network upgrade that would make ZEC's circulating supply auditable, providing additional reassurance that no counterfeiting occurred in the Orchard pool before this week's bugfix.
Another thing that makes it work is having total, mathematical confidence in the correctness of the circuit. That's where formal verification and other auditing plays a role. More details about perfect shielded pools soon.
now when you tell the girls (or boys) you hold zcash, you can just say you have some ironwood instead incredible name
Together with @zodl_co, @ZcashFoundation, @ValarGroup and @ShieldedLabs, we're advocating for a network upgrade that would make ZEC's circulating supply auditable, providing additional reassurance that no counterfeiting occurred in the Orchard pool before this week's bugfix. tachyon.z.cash/blog/auditing-…
Loralise @zdTZHkJpvzZiKkc
19 Followers 218 Following
Sarah ☀️ @sarah_wincrypto
161 Followers 474 Following Creative growth marketer leveraging data-driven insights; exploring the world of web3.Opinions expressed here are personal and not official statements of Flare
Blacksea @BlackSea3XRP
202 Followers 1K Following Self-Made Millionaire - Entrepreneur - Investor I Founder of @_cryptoreport YouTube Channel. Posting 5 DAILY news & theory videos.
CharuSan XRP @CharuSanXRP
209 Followers 2K Following Ripple | Computer Engineer | Banking Systems My posts are for informational and educational purposes Not a Financial Advice DYOR 🇯🇵🇰🇷🇹🇷🇹🇼🇸🇬🇦🇿NO DM
Wakisoba @wakisoba74
247 Followers 995 Following
𝙹𝚊𝚗𝚎𝚎�... @Jn27iw
1K Followers 1K Following
ALTAF @fanez0786
13K Followers 14K Following Look into my eyz u ll find everything .subscribe my YouTube channel 👇
Nelson Hack @brtrmbks
111 Followers 302 Following HACKING SERVICE: Hmu for my discreet HACK! SPY/CLONE SERVICE INVESTIGA: https://t.co/5MrGItjvla
Courtney mckenzie @ieja_lieza
291 Followers 1K Following Am a certified massage therapist & helps clients by massaging various parts of the body to relieve stress or pain 💚💆♀️💆♂️❤️
NOMAN AKBAR WARRAICH @NomanAkbar18
56K Followers 6K Following I’m not a second option you either choose me are Lose me
Sansa @Sansa1_
1K Followers 1K Following
Cristina Silva @EISI12I1
1K Followers 2K Following Senior Software Engineer at @trustwallet support network. helping in solving Web3 related issues @trustwallet #Crypto #Web3
خـــان ᴬ ᴰ ... @adilkhan7th
7K Followers 7K Following
🏵️ @ya0000__
379 Followers 599 Following
𝐀𝐘_𝐋𝐀 @77Q66
151K Followers 130K Following https://t.co/vnpSPAsPBI عيني ع السَّما وقلبي كلو أمل🫰✨ طموحي ماله حدود.. وتفاؤلي هو قوتي💖🦋💪
فرز رودينا �... @HTP42HI
368 Followers 623 Following
شهد🔥🔥 @THI48JI
374 Followers 611 Following
𝐊𝐢𝐧𝐳𝐚|... @AiwithKinza
2K Followers 2K Following 💡 AI & Tech Explorer | Unlocking the future of AI, tools & digital innovation. 📩 [email protected]| Open for Collaborations via DM.
عزيزة @BdAmr62922
422 Followers 503 Following
BitNova Network @sandilai2
692 Followers 901 Following High-performance EVM Layer 1 | 100K+ TPS | Lightning-fast & Secure Building the future of decentralized applications. https://t.co/Lb9Bn1eUm3
رشاد العز @RhdAl75825
4K Followers 6K Following
🐣𝓐𝓱𝓶𝓮�... @jolicoeur0
636 Followers 631 Following
لبيب ك @KLbyb52229
4K Followers 7K Following
Jennifer Holiday @AlwaysMeTrinity
730 Followers 2K Following Lawyer, History Nerd, vintage Luxury curator, olive oil Enthusiast
noraa @macehood918
210 Followers 469 Following
Mr Musk @MrMuskbe
93 Followers 366 Following
Dr. SGarg 100% FB @Dr_SGarg
20K Followers 16K Following MCA, PhD Please Follow me only if you don't unfollow subsequently. My follow back is permanent.
Moon Manager @julikiann2
642 Followers 854 Following 🌙 To the Moon! | $MM Meme Coin Professional Moon Manager 🐕🚀 Join the pack → https://t.co/xVfT4d9Cyc #ToTheMoon #MoonManager
E.R.M ccc✪ @millargh
100 Followers 637 Following Elon Musk here — building the future one impossible idea at a time. From Earth to Mars, energy, I turn bold visions into reality. Stay close.👨🏻🚀🚀
꧁༺⚜️ 𝗞𝗶... @8B8B88
11K Followers 13K Following
ELON PRIME @ELONPRIME2370
245 Followers 989 Following
Katherine Mia @Katherine_M6
691 Followers 2K Following 30 🫶🏼 money over everything pt1🫦 God is good 😘
XRP QUEEN🤍_01 @lac19707
701 Followers 988 Following $XRP Enthusiast | Crypto Technical Analysis #XRP | #XRParmy | Covering financial markets, Current Events and the Greatness, My ThOUGHTS NOT FINANCIAL ADVICE
THE SPACE MAN @TSM_rocket
733 Followers 2K Following SPACE ENTHUSIAST 🪐🔭 Private Account For Investigation Purpose Only.
Brainliq Signal @brainliq
310 Followers 247 Following
Phil kwok @_phil_kwok
42 Followers 896 Following 🚀Co-founder @EasyA_App and @EasyA_Labs 👨⚖️Attorney 🗽Prev.@LinklatersLLP@sullcrom Ranked 1st + lecturer @cambridge_uni OS Web3 contributor
Matthew @GoodTxtre
158 Followers 1K Following quantum researcher, tech visionary, computer scientist
Corrado @Corrado895207
111 Followers 119 Following
Paul @PaulXRP29
133 Followers 875 Following
David Boucher @daveb1513
88 Followers 197 Following
Tim @milham_tim
109 Followers 152 Following
rahanad habashi @rahanad53098
20 Followers 29 Following
ramjam jamjam @RamJam3770
33 Followers 403 Following
Diamond Dynasty @DaniProvost
47 Followers 181 Following
Bill Procanik @BRay2371
622 Followers 958 Following
Halil Özkaya @gamerrr100
62 Followers 478 Following
Adrian @Adriankuys0313
99 Followers 284 Following
EG @EGsaxtly
707 Followers 460 Following
TimeToInvest23 @TimeToInvest23
160 Followers 278 Following
Roger Macie @RPM2030
73 Followers 515 Following
マダムの執事 @asymadamsbutler
6 Followers 16 Following 本業は執事。気づけば投資収入年3000万超。株式・仮想通貨・ゴールド・金融ニュースを資産運用目線で。芦屋マダム界隈の投資話をこっそり発信👨🏻🦳🔻仮想マダム芦屋会
I’m Your Huckleberr... @TombstoneFan76
65 Followers 112 Following
조남 곤 @speed10q
8 Followers 7 Following
Tiffany Zettler @Tzett11
71 Followers 304 Following
paulin Andriany @AndrianyPaulin
6 Followers 28 Following
GMack @GMack9476848754
65 Followers 56 Following
M @M750707645157
65 Followers 339 Following
XRPEAZY @louis_hartle
56 Followers 147 Following
Ger Martin @MartinGer82709
93 Followers 127 Following
Tony Patrutsu @tonypatrutsu
74 Followers 99 Following
Sal @Sal50964003
29 Followers 134 Following
J Lubke @JLubke1
36 Followers 100 Following
loulousham @loulousham2023
46 Followers 41 Following
Karaciger Volkan @KaracigerV
10 Followers 9 Following
Stefan Paul @StefanPaulof
11 Followers 85 Following
Kane Foster @bm169kf
36 Followers 83 Following
CHO CHUNJE @cjmsyj21
23 Followers 71 Following
승승승 @smje119
35 Followers 67 Following
Mike @DrXRP33
64 Followers 585 Following
Eryk Ziermann @ErykZ2311
22 Followers 25 Following
TreyDuch @trey_duch
85 Followers 166 Following
B.White @bcwhite615
174 Followers 264 Following
joe warner @joe_warner3392
47 Followers 52 Following
Divon Johnson @Divonhohnson1
6 Followers 3 Following
Tito Bronson @Udsubjt
121 Followers 199 Following
brett lippitt @BrettLippi52439
46 Followers 217 Following
James Beemer @BeemerJame77179
112 Followers 366 Following
Zdenaboy Rexsimba @rexsimba
50 Followers 214 Following
Micheal James @MichealJam49
48 Followers 92 Following
Archie Cooper @ArchieCoopgvk6
22 Followers 55 Following
shaun obrien @shaunpobrien
63 Followers 332 Following




























