HackerTrans
TopNewTrendsCommentsPastAskShowJobs

rot256

no profile record

Submissions

Show HN: zkGolf – Competitive optimization of formally verified circuits

zk.golf
69 points·by rot256·9 giorni fa·12 comments

SlopTacker: The AI Streaming Drain

sloptracker.org
4 points·by rot256·23 giorni fa·0 comments

Powers-of-Funbenius

blog.zksecurity.xyz
10 points·by rot256·2 mesi fa·0 comments

comments

rot256
·3 mesi fa·discuss
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.
rot256
·3 mesi fa·discuss
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 just run BGP, but every AS proves that it ran it correctly. The proofs take constant time to verify, regardless of how large the network is, or how many hops the routing message has taken. Feasibility is helped by latency not being super critical in BGP and BGP being a pretty simple protocol; which makes computing these proofs plausible.

https://rot256.dev/post/bgp-pcd/

Proof-carrying data has come a long way in the last 10 years.

EDIT: you would still need RPKI, but not BGPSec
rot256
·4 mesi fa·discuss
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 uniquely soulless about teaching humans with AI slop passed off as a course; this is the stuff of "Amazon AI generated book spammers" and to be honest, I expected better from Microsoft.

If people wanted LLM output, they can generate it themselves...