Sabitlenmiş Tweet
David Wong
35.4K posts
David Wong
@cryptodavidw
security @zksecurityXYZ & advisor @archetypeVC, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
New York Katılım Haziran 2011
2.9K Takip Edilen17.7K Takipçiler
David Wong retweetledi
7 years in Poseidon: Survey of (algebraic) attacks on Poseidon & Poseidon2 by @asanso
youtu.be/5_hkfEWX2Bc?si…
YouTube
English
@paulg I thought it was people on the right that were being NIMBYs
English
It's so weird how difficult it is for the left to understand that all you have to do to decrease housing costs is to let people build more housing.
M. Nolan Gray 🥑@mnolangray
For 45 years, Berkeley built virtually no new housing. By the mid-2010s, it was the most expensive college town in America. Shortly thereafter, YIMBYs took over and kicked off a building boom. Today, nominal rents are below 2018 rates—remarkable progress on affordability.
English
in the mean time we'll verify its circuit soundness :D blog.zksecurity.xyz/posts/poseidon…
Zero Knowledge Podcast@zeroknowledgefm
Why can we just formally verify Poseidon?
English
After 12 years of absence during the Orban rule, the Hungarian parliament raised the EU flag again.
It is the latest sign that you should never surrender to populism or any other form of radicalism, even when the odds are against you.
This is a decisive European victory.
English
(this is how my brain interpreted it when @nico_mnbl explained it to me)
English
ok so there's a million $$ to win in that code conjecture prize. Here's my understanding:
if you take a radius of 2m and count the number of people around you, it's easy, there's only one.
if you take a radius between 2m and 500m and count the number of people around you, there's now a lot, we're past the unique decoding regime, but it's still manageable.
with a 1km radius, we know that we still have a manageable amount of people around us, but above that we're not sure anymore. That's the Johnson bound.
At 50km, we know for sure that we're past the point of no return, we know we just can't count people reliably, that's the Elias bound.
Now, would be good to know where, in between the Johnson bound and the Elias bound, do things go crazy
English
David Wong retweetledi
Can we speedrun FRI and its security proof in 20 minutes? This is what I tried to do for my talk at @zkproof, explaining the intuition behind our recent simplified proof. Did we make it?
youtube.com/watch?v=fzc3WM…
Links to the paper, the slides and a blog post version below
YouTube
English
David Wong retweetledi
Getting increasingly bullish on just vibe-coding the important things in Lean.
eg. see:
github.com/Verified-zkEVM…
blog.zksecurity.xyz/posts/end-codi…
English
@cryptodavidw A nice read, but it is slightly outdated though :). There were some important modifications to the schemes.
English
I hear hash-based signatures are cool now and people are using XMSS and SPHINCS like it's 2015. If that's what you're into, you should read my series on hash-based signatures, here's the link on XMSS and SPHINCS from it: cryptologie.net/posts/hash-bas…
English
@Acyn that's a good speech. On the other hand it's obvious that Kamara just wants to become president, but not too obvious what she stand for.
English
Axelrod: There are a lot of people who would like you to run for president in 2028. And there are others who would like you to run for the senate.
AOC: In this op-ed that Bezos paid for in The Washington Post, there was a veiled threat—it was the elite saying if you want this job, you just stepped out of line. What’s funny about that is they assume my ambition is positional. They assume my ambition is a title or a seat. My ambition is way bigger than that. My ambition is to change this country. Presidents come and go, elected officials come and go, single payer healthcare is forever.
English
"only in the hush", still can't believe how good this song is youtube.com/watch?v=IkNU4q…
YouTube
English
David Wong retweetledi
Sharing a small note with @mschofnegger on how to construct MDS matrices which are efficiently evaluable via symmetry (essentially circulant):
@sKYgEqCsSZW5mqQfCGUHvA/SkUsv8qAZg" target="_blank" rel="nofollow noopener">hackmd.io/@sKYgEqCsSZW5m…
We had this writeup since a long time ago, and after years of repeated pushes to make it public (thanks @tomerafek @Khovr and in particular @asanso), here we go!
English
David Wong retweetledi
Today we announce: AADP WE Open Challenges.
Recently we proposed a new witness encryption scheme based on Arithmetic Affine Determinant Programs which we intend to use in Bitcoin PIPEs v2, unlocking a wide range of applications and eliminating the need for trusted parties.
Now we invite anyone to break small instances of our new scheme or to discover structural properties that were unknown before.
Details here:
allocinit.notion.site/challenges
Special thanks to @zeroknowledgefm @zkproof @IACReurocrypt for organizing the conference week in Rome that we're announcing these at in person.
English
David Wong retweetledi
If you're not in the hallways of zkproof talking to us between talks, maybe listen to some Lo-Fi!
English
David Wong retweetledi
Encrypted Mempools: Security Beyond Encryption
blog.zksecurity.xyz/posts/encrypte…
English
David Wong retweetledi
Our team is very grateful for @zksecurityXYZ’s research and tooling for building secure cryptographic software, including formal verification, fuzzing, and extensive auditing expertise.
English