log☇︎
31 entries in 0.44s
asciilifeform: and for thread-completeness i gotta point out that 'Until the day Bitcoin mining uses up 50%+1 of all electricity generated on planet Earth, this theoretical avenue remains open, if very theoretical' isn't necessarily guaranteed : there always remains ( because Hashing Is Voodoo (tm) ! ) the possibility of discovering shortcut to the mining process ( we had the 'satcoin' thread; possibly other variations on the theme also )
Apocalyptic: asciilifeform: actually reading the satcoin link you provided I don't think it's a worthy endeavour to explore anymore
Apocalyptic: from the satcoin pape: "The implementation of the above program generates a large CNF formula with about 250'000 variables and 850'000 clauses." I wonder how much lower these numbers would be for a single iteration of sha256
a111: Logged on 2013-11-04 16:00 asciilifeform: satcoin: http://jheusser.github.io/2013/02/03/satcoin.html
a111: 19 results for "satcoin", http://btcbase.org/log-search?q=satcoin
asciilifeform: $s satcoin
asciilifeform: Apocalyptic: i assume you read the original 'satcoin' paper ?
asciilifeform: ben_vulpes: i'ma guess it was some variant of satcoin
assbot: 14 results for 'satcoin' : http://s.b-a.link/?q=satcoin
ascii_butugychag: !s satcoin
asciilifeform: (if that seems like a 'martian' concept, look up 'satcoin')
assbot: 11 results for 'satcoin' : http://search.bitcoin-assets.com/?q=satcoin
asciilifeform: !s satcoin
assbot: 8 results for 'satcoin' : http://search.bitcoin-assets.com/?q=satcoin
asciilifeform: !s satcoin
asciilifeform: as to how an enemy might proceed to put this hypothesis to actual use, see example of 'satcoin'.
gribble: SAT solving - An alternative to brute force bitcoin mining: <http://jheusser.github.io/2013/02/03/satcoin.html>; [ANN] Saturncoin [SAT] - One of the most fast and secure coins ...: <https://bitcointalk.org/index.php?topic=441760.0>; jheusser/satcoin · GitHub: <https://github.com/jheusser/satcoin>
asciilifeform: ;;google satcoin
gribble: SAT solving - An alternative to brute force bitcoin mining: <http://jheusser.github.io/2013/02/03/satcoin.html>; Proof of concept code for SAT-based bitcoin mining: <http://jheusser.github.io/2013/12/30/satcoin-code.html>; jheusser/satcoin · GitHub: <https://github.com/jheusser/satcoin>
asciilifeform: ;;google heusser satcoin
asciilifeform: nothing earth-shaking. if anyone was hoping for a working 'satcoin', you'll be disappointed.
asciilifeform: satcoin: http://jheusser.github.io/2013/02/03/satcoin.html ☟︎
mircea_popescu: what's satcoin ?
asciilifeform: now would be the perfect time for an 'asteroid' event (e.g. somebody gets SATCOIN hasher working.)
asciilifeform: (http://jheusser.github.io/2013/02/03/satcoin.html)
kakobrekla: start here http://jheusser.github.io/2013/02/03/satcoin.html
asciilifeform: Insaneatyou: one example: http://jheusser.github.com/2013/02/03/satcoin.html
asciilifeform: unrelated: anyone have thoughts re: "satcoin" (http://jheusser.github.com/2013/02/03/satcoin.html) ?
mircea_popescu: http://jheusser.github.com/2013/02/03/satcoin.html
gesell: http://jheusser.github.com/2013/02/03/satcoin.html
gesell: has anyone really looked at the satcoin (SAT Solver for mining) writeup? could this actually extend GPU life a little for mining?