Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on The Ethereum merge is done. Parent comment
But the main issue in provable security is that you're trying to prove real world things with math, and so far we're quite bad at it. The more mathematical the thing you want to prove is, the better.
There are no comments on this comment yet.
But the main issue in provable security is that you're trying to prove real world things with math, and so far we're quite bad at it. The more mathematical the thing you want to prove is, the better.