HackerLangs
トップ新着トレンドコメント過去質問紹介求人

rot256

no profile record

投稿

Show HN: zkGolf – 正式に検証されたサーキットの競争力のある最適化

zk.golf
69 ポイント·投稿者 rot256·9 日前·12 コメント

SlopTacker: The AI Streaming Drain

sloptracker.org
4 ポイント·投稿者 rot256·23 日前·0 コメント

Powers-of-Funbenius

blog.zksecurity.xyz
10 ポイント·投稿者 rot256·2 か月前·0 コメント

コメント

rot256
·3 か月前·議論
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 か月前·議論
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 か月前·議論
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...