load bearing @zksecurityXYZ & AI @zkaol, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup

New York
Joined June 2011
Just received this in the mail this morning
216
72
18
1,238
I feel like at this point I’ve been meme’ing for the last 10 years that the web pki doesn’t make sense since we know that we can replace it with a bft consensus protocol. I would be happy to create such a project but the hard part is to convince browsers to move to such a system. The current web pki really doesn’t make sense from a security point of view imo. I wrote about it here: cryptologie.net/posts/the-we…
Meme of the year. #CA
6
411
Im David your favorite immigrant
7
542
introducing, patch the web
1
5
622
I don't how you guys handled the php stuff, but I took this opportunity to just rewrite my stack in another language with agents, finally moved away from php after all these years, typed and memory-safe languages ftw
5
12
1,112
David Wong retweeted
Sydney Sweeney reveals in an interview that she doesn’t care about the PHP vulnerability because she moved everything to Rust in 2024. “They said the rewrite would take six months. We’re on month 30. We haven’t shipped a feature since, but I’m having a very normal Wednesday.”
168
953
74
16,018
338,773
The API is English, the deterministic-agentic border is shifting cryptologie.net/posts/determ…
4
445
good thing everyone's doing cert pinning right? right?
2
1
35
2,074
David Wong retweeted
check this episode to see how we've broken the record of how many @zksecurityXYZ can fit within one podcast episode
we packed the last zk podcast with zksecurity folks! mathias, giorgio, nico, and kobi talk about our lean framework (clean) to formally verify zk circuits and our competitive platform for degens to submit lean proofs zk.golf!
1
14
773
super proud of the team for pushing zk, formal verification with lean, and collaborative breakthroughs with zk.golf!
we packed the last zk podcast with zksecurity folks! mathias, giorgio, nico, and kobi talk about our lean framework (clean) to formally verify zk circuits and our competitive platform for degens to submit lean proofs zk.golf!
1
1
21
1,369
David Wong retweeted
blockchain cryptographers: "post-quantum this, post-AI that, ZK over here, TEEs over there, maybe sprinkle some MPC, maybe not, yada yada yada, we gonna be secure, yeeeehawww" meanwhile, HTTPS CAs: "the private shall be 4!"
8
18
1
193
4,435
This is so cool
I'm deleting this mod 😭
2
902
David Wong retweeted
for you leaners out there, if you want to share lean code beautifully, check this out zksecurity.github.io/leanfor…
2
1
22
1,059
Massive anti muslim and anti immigrant psyop on my feed besides me blocking tons of accounts in the past year :o can’t imagine what twitter looks like for a normie
4
27
1,797
There is absolutely a psyop on X to convince people that it’s Muslims and immigrants burning France, when all the available evidence says it’s far left revolutionary groups that are driving the protests. Be careful what information you consume. This world ia filled with people who care more about their political narrative than they do about the truth.
It's Antifa and communist revolutionaries in France, not Muslims or Immigrants. The conservative obsession with Muslims completely blinds them to actual communist revolutions. And no, it's not both. Antifa and the far left are driving it. Your feelings do not matter.
3,227
435
135
1,505
165,958
David Wong retweeted
I firmly believe we should embrace this take. Mamdani is the new political center, meaning anyone to his right is objectively a conservative—even The Atlantic agrees!
71
3,744
41
56,171
439,083
Do yourself a favor, block dhh on twitter, it’s easy and it makes your feed clean :o)
3
24
2,398
Please vote these people out
12
1,052
David Wong retweeted
I'm definitely not anti-achievement and never criticized real achievements, including by Elon. I even own two Teslas. I do expose marketing stunts that, while cool on the surface, are not the achievements they are claimed to be. Compressed air thrusters might give you acceleration boosts in any direction. They might even make your car hover for a couple of seconds if you accept replacing the passenger seat by a 400 liter high-pressure air tank. But they are not a path to actual flying cars. The same way Burt Rutan's SpaceshipOne was never going to be a path to orbital flights (just bunny hops out of the atmosphere). I am anti-Musk when it comes to politics. His political actions, the massive dissemination of disinformation through X and other channels, and his support for authoritarian regimes and racist ideas have the effect of weakening democracy and weakening human decency and social progress around the world.
289
840
70
7,991
643,938
David Wong retweeted
Buat yang ga ngikutin demo di Perancis. Tau trigger awal demo ini bisa jadi besar karena apa? > Ada murid SMA protes sekolah negeri toiletnya bocor dan banyak tikus. > Anak yang protes dipukul polisi sampe mulutnya berdarah bahkan ditembak depan muka. xitter.cf/melenchon4ever/status/… > Beberapa anak juga sampe dimutilasi tangannya sama polisi. xitter.cf/neruda57/status/210707… > Puncaknya ada anak ditenggelamin sama Polisi. xitter.cf/alertesinfos/status/21… > Police brutality ini bikin kesadaran kelas seluruh murid SMA Perancis terbangun. > Intel mulai menyusup. Beberapa manasin pake isu kalau demo ini penyebabnya imigran muslim buat kambing hitam kerusuhan. xitter.cf/abdoulafar76316/status… Njir brutal banget takut kayak di mana ya 😭😭😭
Des véhicules de police sont prises pour cible par la foule dans le secteur République à Paris. #Paris #17octobre
395
19,961
684
76,770
2,548,607
David Wong retweeted
🚨 BREAKING: Rep. Lieu: "The full Epstein files show that Trump raped children."
3,235
63,863
4,022
419,431
21,301,694