Joined August 2018
162 Photos and videos
How many Bitcoin holders would you guess there are?
4
6
728
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.
4
6
33
1,355
The definition everyone is wondering in Zcash right now is no inflation, which means - You can only spend a real note - You must own the note - No double spending - Total value is conserved in a transfer
3
10
385
Formal verification should change the dynamics of papers. There's not really an excuse to have papers with incorrect proofs now. Throw the theorem and its premises into Lean.
1
5
48
1,272
Block the models, but not my models
5
39
2,384
Imagine if OpenAI gets away with releasing a similar capability model tomorrow
1
11
834
Crypto bros will have to start VPN'ing into America now Who would've guessed
The US government, citing national security authorities, has issued an export control directive to suspend all access to Fable 5 and Mythos 5 by any foreign national, whether inside or outside the United States, including foreign national Anthropic employees. The net effect of this order is that we must abruptly disable Fable 5 and Mythos 5 for all our customers to ensure compliance. Access to all other Claude models is not affected. We apologize for this disruption to our customers. We believe this is a misunderstanding and are working to restore access as soon as possible. Read our full statement: anthropic.com/news/fable-myt…
5
2
64
4,559
Dev 🧪 retweeted
Anthropic gets what it wanted.
NEWS: The Trump administration is blocking foreign governments, companies and individuals from accessing Anthropic's most advanced AI models W/@m_ccuri axios.com/2026/06/12/anthrop…
25
48
756
46,805
RT @zooko: Thanks, Anthropic, for helping protect Zcash users. At Shielded Labs’s request, they ran a security audit of Zcash with Mythos.…
240
Dev 🧪 retweeted
Move $ZEC from Orchard to the Ironwood pool. Stay tuned 🛡️
Real migration flow against the Ironwood testnet state machine, using @KeystoneWallet on @vizorwallet ! You only scan one QR code, and it splits your note balances pre-signs migration txs. Then your wallet submits the migration txs in the background over time.
3
17
1,322
Real migration flow against the Ironwood testnet state machine, using @KeystoneWallet on @vizorwallet ! You only scan one QR code, and it splits your note balances pre-signs migration txs. Then your wallet submits the migration txs in the background over time.
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!
6
9
89
6,495
s/o @czarcas7ic , this was all him Notice for the migration txs, you don't have to do any scroll on your keystone.
8
532
Applies equally to Zcash. The chains must scale.
1
47
3,651
We really just rebranded "concurrent thread" to "agent" lol
4
41
1,771
Dev 🧪 retweeted
I'm writing an article about formal verification. Great to see others reach similar conclusions. "Formal verification is often spoken of as the ultimate form of security analysis, one that might even remove the need for other safeguards such as implementation diversity, testing, and auditing of source code. This makes it incredibly important that the verification efforts are done with great care, and that the communication of results is always precise."
3
4
48
4,451
People are sleeping on how cool automated proof checking is. Every proof in a paper? Every high level goal you want a protocol to satisfy? It can be proven* Your real circuit code. Your exact hashing rules for your ZKP verifier.
2
5
56
2,078
Still a bit aways wrt LLVM for proving your real rust verifier code meets the spec. But we can prove that a lean verifier for this exact proof format meets the spec. So then it'd be a bug difference between Lean and Rust. Which AI is precisely excellent at hunting for.
4
10
582
Mitigating 80% of the bridge risk from Arbitrum to HyperEVM is going to look like a very prescient move
The USDC supply on HyperEVM continues to grow, now accounting for approx 80% of the entire supply on @HyperliquidX
1
17
2,162
Dev 🧪 retweeted
Jun 9

63
43
523
158,712
Finally we will see market pressure for proper opsec, rate limits and a security posture better than paying a ton for audits
Jun 9
the ai scare in crypto is an IQ test I can not think of anything more bullish for crypto than finally being forced to treat security and privacy as the core properties of the entire industry I'm sure there'll be some rough battles, but the war will be won
4
4
88
7,912