News for hackers. Stuff that matters.
Re:The 2-Maxsat Problem Can Be Solved in Polynomial Time by pcwalton on Thursday April 27, 2023 @11:21AM (#35729483)
A proof that P=NP doesn't necessarily mean that NP-hard problems are solvable in any practical sense. The time complexity claimed by the paper, O(n^2 * m^3), grows quickly, and the constant factors may be high. In fact, I'd go so far as to say it's very unlikely that a P=NP proof would make any difference in practice, since SAT solvers are so good for real-world problems.

(I'm leaving aside the fact that cryptocurrency theft is a crime that most people would be disinclined to commit, as well as the extraordinarily high likelihood that this proof is incorrect.)

Re:The 2-Maxsat Problem Can Be Solved in Polynomial Time by tromp on Thursday April 27, 2023 @11:49AM (#35729900)
> cryptocurrency theft is a crime

If you know the private key, then you own the coins.

At least that's the whole basis that crypto currency is founded on...

Re:The 2-Maxsat Problem Can Be Solved in Polynomial Time by remram on Thursday April 27, 2023 @12:21PM (#35730429)
That's just not how keys work. If someone finds the key to my house and uses it to open the door and take something, it's still theft.
Re:The 2-Maxsat Problem Can Be Solved in Polynomial Time by xorvoid on Thursday April 27, 2023 @12:03PM (#35730136)
Except most legal systems don’t see it that way. When you say this, they hear “if you have a copy of the key to a house/car/etc, then you also own it”. Cryptocurrency theft is a crime by the basic definitions of the legal system.
Re:The 2-Maxsat Problem Can Be Solved in Polynomial Time by bagels on Thursday April 27, 2023 @12:04PM (#35730163)
That is not how the law works. It's equivalent to knowing your bank account number and routing number and making an unauthorized transaction.