Hacker News new | ask | show | jobs
by mtalantikite 1949 days ago
Yeah, just last night I was curious about any blockchain approaches that might be out there that try and do something more useful and found people trying to use SAT solving as the base. This paper in particular seemed pretty interesting and I do hope we get to a place where we can at least be working on NP hard problems while transacting on a blockchain: https://dl.acm.org/doi/abs/10.1145/3297280.3297319