Top all-time · #8777
Jonathan Heusser
Personal blog · jheusser.github.iosecurityprogramming
Jonathan Heusser's personal blog at jheusser.github.io covers security and programming. Since 2013, 9 different Hacker News readers have linked it 10 times, most often “SAT solving - An alternative to brute force bitcoin mining”. The last post was in 2014, but the archive is still widely read.
Too few sampled comments (6) to say how often HN recommends it.?
Why HN links it
HN readers link Heusser's satcoin posts on using SAT solvers instead of brute force for Bitcoin mining, plus a follow-up with proof-of-concept code. Commenters mostly cite them as support.
Summarised by Claude from a sample of 6 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- SAT solving - An alternative to brute force bitcoin mining4 people · 4 mentions · first linked 2013-06-26
- SAT solving – An alternative to brute force Bitcoin mining (2013)4 people · 4 mentions · first linked 2014-10-02
- Proof of concept code for SAT-based Bitcoin mining2 people · 2 mentions · first linked 2014-10-02
What Hacker News says?
You can also mine Bitcoin with SAT solvers. And if the difficulty is high enough, it will be more efficient than the current brute force methods methods https://jheusser.github.io/2013/02/03/satcoin.html > Bitcoin Difficulty and Assumptions > A very intriguing, and perhaps unintuitive property of the algorithm proposed is that with increasing bitcoin difficulty, or equally lower target, the search could become more…
Comment linking /2013/02/03/satcoin.html
on “The image in this post displays its own MD5 hash”Submitted SAT solving – An alternative to brute force Bitcoin mining (2013) as a story · 74 points
HN discussionIt is, some people also tried SAT solvers for mining: http://jheusser.github.io/2013/02/03/satcoin.html
Comment linking /2013/02/03/satcoin.html
on “Graph Isomorphism update: quasipolynomial claim restored”Submitted SAT solving - An alternative to brute force bitcoin mining as a story · 3 points
HN discussionAt some point this problem of finding a hash with a number of heading zeros flips from being increasing hard to brute force to being increasingly easier to search: http://jheusser.github.io/2013/02/03/satcoin.html https://github.com/jheusser/satcoin
Comment linking /2013/02/03/satcoin.html
on “Show HN: SHAllenge – Compete to get the lowest hash”Submitted Proof of concept code for SAT-based Bitcoin mining as a story · 2 points
HN discussionThis is an old article. This one is also very interesting by the same author: https://jheusser.github.io/2013/12/30/satcoin-code.html Proof of concept of the SAT solving idea.
Comment linking /2013/12/30/satcoin-code.html
on “SAT solving – An alternative to brute force Bitcoin mining (2013)”Submitted Sat solving – An alternative to brute force Bitcoin mining (2013) as a story · 2 points
HN discussionThis doesn't need AI. It just needs a SAT solver. See https://jheusser.github.io/2013/02/03/satcoin.html
Comment linking /2013/02/03/satcoin.html
on “Ask HN: Couldn't AI be used to do hash function inversion?”http://jheusser.github.io/2013/02/03/satcoin.html is an article giving an example of using this approach (using a SAT solver) to bitcoin mining- how you would specify the problem etc.
Comment linking /2013/02/03/satcoin.html
on a deleted thread