rot256

6 ms·

1.
by rot256 15d ago
Don't buy the argument, this stuff is simple enough that we can formally verify and audit it very carefully. Additionally, NIST had the foresight to derandomize all the algorithms, so we can now check e.g. what a correct implementation
2.
by rot256 15d ago
ML-KEM encaps/decaps is very fast, as fast/faster than EC. It's large, and adding EC does not meaningfully affect the size, but it meanfully affects encaps/decaps time.
3.
by rot256 16d ago
I write a lot of Rust and Lean, Fable 5 is in my experience better at both. Cost/performance is a different story.
4.
by rot256 16d ago
Spotify is, without doubt, the worst piece of software that I still use on a daily basis. It's incredibly buggy, incredibly slow, and the UI has so many "usability inconsistencies". I find the Android app particularly bad, ju
5.
Show HN: zkGolf – Competitive optimization of formally verified circuits(zk.golf)
69 points by rot256 3mo ago|12 comments
6.
SlopTacker: The AI Streaming Drain(sloptracker.org)
4 points by rot256 3mo ago|0 comments
7.
Powers-of-Funbenius(blog.zksecurity.xyz)
10 points by rot256 5mo ago|0 comments
8.
by rot256 6mo ago
For LetsEncrypt, routing is authentication: if packets routed to the IP in the A record end up at your place, you can get a cert for that domain.
9.
by rot256 6mo ago
I think that way to solve BGPs security problems might be to use a new cryptographic hammer, "Proof-Carraying Data", where messages come with cryptographic proofs that they were produced correctly. This allows you to basically jus
10.
by rot256 6mo ago
This seems useless and misguided? This training material contents is clearly AI generated, if people can't be assed to write a book, then why should people read it? Maybe it's my teaching background, but there is something uniquel
11.
by rot256 1y ago
PipePipe? https://pipepipe.dev/ EDIT: also skips sponsor segments.
12.
by rot256 3y ago
As pointed out by Mark Galeotti, both the sources are less than reliable... https://podcasts.apple.com/gb/podcast/in-moscows-shadows-120... Whether dead or not, it is frankly disappointing that western media lends