
load bearing @zksecurityXYZ & AI @zkaol, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
New York
Joined June 2011
- Tweets37K
- Following3.1K
- Followers18.1K
- Likes50.3K
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…
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
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.”
The API is English, the deterministic-agentic border is shifting cryptologie.net/posts/determ…
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!
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!
David Wong retweeted
for you leaners out there, if you want to share lean code beautifully, check this out
zksecurity.github.io/leanfor…
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
David Wong retweeted
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.
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!
David Wong retweeted
Replying to @spiroskaye @elonmusk
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.
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




















