protocol & cryptography engineering | ZK | web3 security
- Tweets 2,070
- Following 932
- Followers 2,190
- Likes 53,457
Miden guardian wallet is a really impressive and useful piece of technology.
1. It’s a private multisig
2. The guardian makes it easy to sync state of your private account across multiple devices.
3. If you lose your device, you can still recover your private account state from the guardian.
4. You can rotate the guardian signer at any time.
The guardian is really a big step towards mass adoption (of non crypto native folks): private, compliant, recoverable private state.
Ofc you don’t have to use the guardian if you don’t want to, you can use a private single sig account if you want, but the guardian is super convenient, and makes it hard for you to accidentally lose access to your account.
My social media guy @danielokey_ is pissed at me this week 'cause I didn't post any @joinbread vid 😭🥲
So here we go – talking through what actually happens underneath when you tap the "SEND" button in Bread
1
1
4
287
Alexander John Lee retweeted
My social media guy @danielokey_ is pissed at me this week 'cause I didn't post any @joinbread vid 😭🥲
So here we go – talking through what actually happens underneath when you tap the "SEND" button in Bread
8
7
36
865
Alexander John Lee retweeted
🚨 LATEST: SEC Commissioner Hester Peirce says zero-knowledge proofs could verify compliance without collecting users’ personal data.
She warns current KYC/AML practices create “data haystacks.”
166
294
2,003
211,566
Alexander John Lee retweeted
We co-designed Guardian alongside @0xMiden to solve private-state coordination and recovery without giving up custody.
Great to see it behind Bread, a wallet where sending, swapping, and receiving stay off the public chain by default.
4
10
41
2,900
🥳🥳🥳
Honey, I shrunk the fields! 🔬
Plonky3 v0.8.0 is out, and binary fields have joined the party! 🎉
github.com/Plonky3/Plonky3/r…
14
1,090
Alexander John Lee retweeted
Introducing Miden Foundry
@0xMiden devs can now preview transactions before they hit the chain.
Walnut is building Miden Foundry in partnership with Miden. The first tool, miden call, ships in midenup v1.0.1.
Thread time 🧵
2
10
27
1,735
Top #100 immunefi white hat calling out @Microsoft for not paying a bounty…
They triaged my finding and are currently fixing it—then called it out of scope for bounty rewards.
60k – yeah, sure!
6
841
Alexander John Lee retweeted
They triaged my finding and are currently fixing it—then called it out of scope for bounty rewards.
60k – yeah, sure!
Researchers can now earn up to $60,000 USD for qualifying critical vulnerabilities through the updated Microsoft Dynamics 365 and Power Platform Bug Bounty Program.
Key updates include:
➤ Up to $60,000 USD in awards for qualifying critical vulnerabilities
➤ New cross-tenant award multipliers for select scenarios
➤ More granular severity and impact-based award categories
We continue to evolve our bounty programs to reward impactful research and provide greater transparency into how submissions are evaluated.
Learn more: msft.it/6013ab10b
10
7
128
14,284
Lean4 mentioned. Learn the basics of Lean4 language here: leanlanguage.app
I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached.
TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt.
I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted.
Is formal verification the future of coding (or at least, bug finding)?
19
2,812
chillin at a cafe and looking at the ceiling and found a bug. a critical bug in code/spec. Sometimes marinating on a problem allows you to see the bigger picture and realize where things can go wrong in a system.
no ai, only caffeine.
3
27
979
I'm so excited 𝔹itℤ by @0xAlbertG et al. is now public!
It combines boolean and integer relations, free range checks and efficient binary field commitments. In short: your proof system is no longer tied to a particular finite field.
The performance exceeded our expectations. Despite being field agnostic, it performed better on real world tasks than systems fine-tuned for the task.
We completely changed the ProveKit roadmap for 𝔹itℤ, and I expect others will too!
eprint.iacr.org/2026/2141
2
14
81
3,303
Alexander John Lee retweeted
Ethereum has cast call: dry-run a contract call without sending a tx.
@0xMiden now has miden call from @walnut_dev.
Same job — run a procedure, see what it returns — plus the Miden-shaped extras: notes, storage maps, vault diffs. Runs on your laptop. Nothing hits the network.
First brick of Foundry-like tooling, not the whole toolkit. walnut.dev/blog/introducing-…
1
10
32
2,631
France completely withdrew all its gold from the US in January 2026, ~129 tons.
Netherlands moved ~85 tons of gold from the US to the UK in August.
The US moving Venezuelan gold to NY doesn't cover the delta.
🚨 31 TONNES OF VENEZUELAN GOLD IS LEAVING LONDON
Worth roughly $4 BILLION.
After sitting frozen inside the Bank of England for seven years, the Gold is heading to New York under U.S. oversight.
Venezuela can’t sell it.
Instead, it will back government borrowing as collateral.
$4 billion in physical Gold changing hands between two of the world’s biggest financial centres.
7
1,182
Alexander John Lee retweeted
it's funny how scrum masters completely disappeared
and no one really cared
645
675
14,807
1,728,721
