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

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 https://dl.acm.org/doi/abs/10.1145/3297280.3297319