sipa changed the topic of #bitcoin-wizards to: This channel is for discussing theoretical ideas with regard to cryptocurrencies, not about short-term Bitcoin development | http://bitcoin.ninja/ | This channel is logged. | For logs and more information, visit http://bitcoin.ninja
<rodarmor> Has anyone done any work on how close to optimal current SHA-2 (or any other PoW function) ASICs are, by counting the number of operations needed to calculate SHA-2, calculating the minimal number of joules to perform these operations (according to the Landauer limit), and comparing to real chips?
<rodarmor> It might not be a useful number (as in, we might be so bad at making hardware that the lower limit is zillions of orders of magnitude below current miner efficiency) :P But it would still be interesting to know.
<nsh> in practice energy/power/thermal-dispersion optimality is a function to fabrication process details incorporating a whole bunch of things at a much higher abstraction / complexity level than the bit landauer floor
<nsh> there's probably little meaningful science because those operative details are highly proprietary
<nsh> may be a bunch of corp-confidential data at mining hw producing companies and their immediate up/downstream partners
<nsh> i haven't seen anything in scienceland though but then again i haven't especially looked
<nsh> profit is dictated by e.g. time-to-market and good relationships with fab plant peeps and making wise socioeconomic decisions that are again far removed from the hard computational technicalities and the answers you probably most want are in the minds of employees and some verilog files that are worth too much for us to be able to read
<nsh> (given current process i'd be surprised if the bitflip optimal circuit would result in maximal hashrate because thermal dispersion is probably more operative but i don't know anything about anything and i'm just guessing)
<sipa> ha, landauer limit... with 1273 W (S9 energy consumption) operating at 90 C, you could compute 950 exahash per second (considering that every hash operations destroys 384 bits going from 640 bits of input to 256 bits of output)
<sipa> that's 73 million more than reality
<sipa> *times
<nsh> so how many calories in a current bitcoin block? :)
<rodarmor> sipa: Okay, so not really a useful lower bound :P
<sipa> also, if you'd implement SHA256 using toffoli gates it's possible with 0 energy, right?
<sipa> :)
<nsh> scratch space would be pretty astronomical
<nsh> then you're paying some other way
<rodarmor> If you were using toffoli gates, wouldn't you have all the extra bits to store in order to keep it reversible?
<sipa> eh right
<nsh> this looks interesting: https://arxiv.org/pdf/1510.00377.pdf
<rodarmor> Hmm, although that treats SHA-2 as a black box. Unless there's some way to skip lots of SHA-2 operations, then you could likely get a better bound by counting all the bits destroyed in the individual operations (adds, xors, etc)
<nsh> they kinda unroll/whatever SHA2 into reversible circuit with a view to space constraint
<nsh> you end up doing some kinda weird garbage collection
<nsh> there's probably a 0.5th rule of thermodynamics or something here. you gotta manage entropy somehow
<nsh> s/rule/law/
<nsh> someone proposed some kinda reversible computing PoW replacement also, but it was a bit harebrained i think: http://webcache.googleusercontent.com/search?client=ubuntu&channel=fs&q=cache%3Ahttps%3A%2F%2Fthebitcointalk.net%2Findex.php%3Ftopic%3D1985289.0&ie=utf-8&oe=utf-8
AaronvanW has joined #bitcoin-wizards
rh0nj has quit [Remote host closed the connection]
rh0nj has joined #bitcoin-wizards
AaronvanW has quit [Remote host closed the connection]
spinza has quit [Quit: Coyote finally caught up with me...]
<gmaxwell> rodarmor: Landauer limit is mostly worthless. It isn't a precise limit.
<gmaxwell> it's a lower bound.
Krellan has joined #bitcoin-wizards
<gmaxwell> So there isn't any particular reason to think that just because a function looks more energy intensive under that limit than some other function that it will actually be more energy intensive under any realizable model of computation.
<gmaxwell> Also, if you admit reversable computation, and use general reversable gates and allow unbounded amounts of intermediate state, then all pow functions have equal and very low energy requirements according to that limit.
<gmaxwell> (because every attempt can uncompute itself to avoid destroying any bits, and so you'd only consume energy for outputing the solution(s))
spinza has joined #bitcoin-wizards
Belkaar has quit [Ping timeout: 244 seconds]
Krellan has quit [Remote host closed the connection]
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
Belkaar has joined #bitcoin-wizards
Murch has quit [Quit: Snoozing.]
Guest77252 has quit [Ping timeout: 252 seconds]
rusty has joined #bitcoin-wizards
dougsland has joined #bitcoin-wizards
stiell has joined #bitcoin-wizards
spinza has quit [Ping timeout: 252 seconds]
thomasan_ has joined #bitcoin-wizards
thomasan_ has quit [Remote host closed the connection]
dougsland has quit [Ping timeout: 252 seconds]
spinza has joined #bitcoin-wizards
mn3monic has quit [Excess Flood]
mn3monic has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 244 seconds]
wfbarksdale has joined #bitcoin-wizards
bitcoin-wizards3 has joined #bitcoin-wizards
son0p_ has quit [Quit: Lost terminal]
bitconner has quit [Ping timeout: 264 seconds]
bitcoin-wizards3 has quit [Ping timeout: 256 seconds]
AaronvanW has joined #bitcoin-wizards
rh0nj has quit [Remote host closed the connection]
rh0nj has joined #bitcoin-wizards
AaronvanW has quit [Remote host closed the connection]
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 268 seconds]
rusty has quit [Quit: Leaving.]
setpill has joined #bitcoin-wizards
rusty has joined #bitcoin-wizards
gribble has quit [Remote host closed the connection]
gribble has joined #bitcoin-wizards
rusty has quit [Ping timeout: 264 seconds]
enemabandit has joined #bitcoin-wizards
Krellan has joined #bitcoin-wizards
Krellan_ has joined #bitcoin-wizards
michaelfolkson has joined #bitcoin-wizards
enemabandit has quit []
enemabandit has joined #bitcoin-wizards
Krellan has quit [Ping timeout: 264 seconds]
AaronvanW has joined #bitcoin-wizards
wfbarksdale has quit [Remote host closed the connection]
AaronvanW has quit [Ping timeout: 240 seconds]
laurentmt has joined #bitcoin-wizards
laurentmt has quit [Client Quit]
yoleaux has quit [Ping timeout: 264 seconds]
bitjedi_ has quit [Read error: Connection reset by peer]
bitjedi_ has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
OzPac has joined #bitcoin-wizards
enemabandit has quit [Remote host closed the connection]
enemabandit has joined #bitcoin-wizards
enemabandit has quit [Remote host closed the connection]
enemabandit has joined #bitcoin-wizards
michaelfolkson has quit [Quit: Sleep mode]
rusty has joined #bitcoin-wizards
thrmo has joined #bitcoin-wizards
michaelfolkson has joined #bitcoin-wizards
laurentmt has joined #bitcoin-wizards
thrmo has quit [Ping timeout: 256 seconds]
spinza has quit [Quit: Coyote finally caught up with me...]
thrmo has joined #bitcoin-wizards
<musalbas> I came across this paper that proposes doing so using algebraic vector commitments that I think may be worth discussing.
<musalbas> The crux of the paper is that if you commit to the state using algebraic vector commitments, and you want to achieve stateless validation, then you can make it possible for Alice to send money to Bob, and only provide the proof of Alice’s balance. With a Merkle tree, you’d also need to provide proof of Bob’s balance. This may be nice, because that means everyone one needs to store their own state; Alice doesn’t need
<musalbas> to know Bob’s state. However, it appears to require a trusted setup.
<musalbas> proposing committing to state and doing stateless validation*
spinza has joined #bitcoin-wizards
bitconner has joined #bitcoin-wizards
laurentmt has quit [Quit: laurentmt]
bitconner has quit [Ping timeout: 252 seconds]
yoleaux has joined #bitcoin-wizards
thrmo has quit [Ping timeout: 256 seconds]
thrmo has joined #bitcoin-wizards
shesek has quit [Ping timeout: 240 seconds]
thrmo has quit [Ping timeout: 256 seconds]
thrmo has joined #bitcoin-wizards
rusty has quit [Quit: Leaving.]
Guyver2 has joined #bitcoin-wizards
michaelfolkson has quit [Quit: Sleep mode]
thrmo has quit [Ping timeout: 256 seconds]
mikalv has quit [Remote host closed the connection]
thrmo has joined #bitcoin-wizards
dougsland has joined #bitcoin-wizards
michaelfolkson has joined #bitcoin-wizards
Krellan_ has quit [Read error: Connection reset by peer]
Krellan has joined #bitcoin-wizards
intcat has quit [Ping timeout: 256 seconds]
intcat has joined #bitcoin-wizards
douglas_ has joined #bitcoin-wizards
michaelfolkson has quit [Quit: Sleep mode]
michaelfolkson has joined #bitcoin-wizards
michaelfolkson has quit [Quit: Sleep mode]
michaelfolkson has joined #bitcoin-wizards
_Sam-- has quit [Ping timeout: 244 seconds]
bitconner has joined #bitcoin-wizards
bitconner has quit [Ping timeout: 264 seconds]
IGHOR has quit [Quit: http://quassel-irc.org ? ??????????? ?????????. ????-??.]
douglas_ has quit [Ping timeout: 240 seconds]
dougsland has quit [Ping timeout: 245 seconds]
meeh has joined #bitcoin-wizards
<nsh> musalbas, bulletproofs uses vector commitments
<nsh> and algebraic properties thereof
<nsh> so maybe trusted setup can be obviated through pederson arithmetic properties but you have to find a way to boil it down to parity/equity/nonce-cancellation
<nsh> in mean isn't a putative bulletproofs coin kinda stateless in the same way they describe in that abstract as would be a MW chain
<nsh> UTXO is subsumed in the 'excesses' carried forward that ensure the parity can be validated after every block
<nsh> i'm possibly misrepresenting
ghost43 has quit [Remote host closed the connection]
ghost43 has joined #bitcoin-wizards
setpill has quit [Quit: o/]
unifiedh has joined #bitcoin-wizards
spinza has quit [Quit: Coyote finally caught up with me...]
spinza has joined #bitcoin-wizards
nuncanada has joined #bitcoin-wizards
michaelfolkson has quit [Quit: Sleep mode]
michaelfolkson has joined #bitcoin-wizards
Krellan has quit [Read error: Connection reset by peer]
michaelfolkson has quit [Quit: Sleep mode]
Krellan has joined #bitcoin-wizards
floam412_ has joined #bitcoin-wizards
floam412__ has joined #bitcoin-wizards
floam412__ is now known as floam412
bitconner has joined #bitcoin-wizards
floam412_ has quit [Ping timeout: 252 seconds]
bitconner has quit [Ping timeout: 264 seconds]
michaelsdunn1 has joined #bitcoin-wizards
thrmo has quit [Ping timeout: 256 seconds]
floam412 has quit [Ping timeout: 264 seconds]
IGHOR has joined #bitcoin-wizards
michaelfolkson has joined #bitcoin-wizards
unifiedh has quit [Quit: Leaving]
michaelfolkson has quit [Ping timeout: 246 seconds]
stoner19 has joined #bitcoin-wizards
floam412 has joined #bitcoin-wizards
enemabandit has quit [Remote host closed the connection]
enemabandit has joined #bitcoin-wizards
enemabandit has quit [Remote host closed the connection]
enemabandit has joined #bitcoin-wizards
douglas_ has joined #bitcoin-wizards
dougsland has joined #bitcoin-wizards
dougsland has quit [Quit: Leaving]
err0ne_ has joined #bitcoin-wizards
err0ne has quit [Disconnected by services]
err0ne_ is now known as err0ne
p0nziph0ne has joined #bitcoin-wizards
Krellan has quit [Ping timeout: 252 seconds]
Guest77252 has joined #bitcoin-wizards
laurentmt has joined #bitcoin-wizards
laurentmt has quit [Client Quit]
sipa has quit [Ping timeout: 256 seconds]
Krellan has joined #bitcoin-wizards
bitconner has joined #bitcoin-wizards
sipa has joined #bitcoin-wizards
nuncanada has quit [Quit: Leaving]
bitconner has quit [Ping timeout: 252 seconds]
enemabandit has quit [Remote host closed the connection]
enemabandit has joined #bitcoin-wizards
Murch has joined #bitcoin-wizards
Murch has quit [Client Quit]
Murch has joined #bitcoin-wizards
Guest77252 has quit [Quit: WeeChat 2.2]
bitconner has joined #bitcoin-wizards
bitconner has quit [Ping timeout: 252 seconds]
Murch has quit [Quit: Snoozing.]
Krellan has quit [Remote host closed the connection]
Murch has joined #bitcoin-wizards
bitconner has joined #bitcoin-wizards
bitconner has quit [Ping timeout: 264 seconds]
elroyjetson has joined #bitcoin-wizards
p0nziph0ne has quit [Quit: Leaving]
Aaronvan_ has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 240 seconds]
reallll has joined #bitcoin-wizards
belcher_ has quit [Ping timeout: 264 seconds]
reallll is now known as belcher_
elroyjetson has quit [Ping timeout: 256 seconds]
rusty has joined #bitcoin-wizards
OzPac has quit [Quit: OzPac]
Dyaheon has quit [Ping timeout: 246 seconds]
bitconner has joined #bitcoin-wizards
floam412 has quit [Ping timeout: 264 seconds]
bitconner has quit [Ping timeout: 264 seconds]
shesek has joined #bitcoin-wizards
Dyaheon has joined #bitcoin-wizards
<nsh> there's something especially weaselly btw about the phrasing "up to approximately two orders of magnitude"
<nsh> the point of orders of magnitude as a concept is to be sufficiently weaselly
floam412 has joined #bitcoin-wizards
<nsh> putting "approximately two" in front of it just wracks of notgreatness
<waxwing> in astrophysics OOM^2 (an oom of an oom) is considered pretty decent accuracy :)
<gmaxwell> iohk, presses close.
* gmaxwell doesn't waste time reading publications put out by outright scammers.
<nsh> which author(s), so i know in future?
<gmaxwell> anything with an IOHK email address, thats a org made by the protoshares guy, basically mills out ultrascammy altcoins.
<gmaxwell> After doing ethereum he even wrote a long bragging essay about what a rip off all these altcoins are.
<waxwing> gmaxwell, yeah but: it's just a paper :) it's not like a .. "whitepaper". also said person is not an author here. kinda silly to bring that in to it (even if i tend to agree)
<gmaxwell> I dunno, I don't think that we do the world any good to enable fraudsters by paying attention to their work, and they shouldn't be able to wash their way out of it by paying people to do their next scam.
<gmaxwell> But thats just my call. ::shrugs::
* nsh nods agreement
<gmaxwell> Perhaps my opinion would have been different if the first iohk publications I saw weren't also dishonest bullshit themselves. (fradulently claiming POS with equal security properties to POW)
<midnightmagic> never heard that one before
floam412 has quit [Ping timeout: 268 seconds]
intcat has quit [Ping timeout: 256 seconds]
intcat has joined #bitcoin-wizards
spinza has quit [Quit: Coyote finally caught up with me...]
Guyver2 has quit [Quit: Going offline, see ya! (www.adiirc.com)]
spinza has joined #bitcoin-wizards
michaelsdunn1 has quit [Remote host closed the connection]
deusexbeer has joined #bitcoin-wizards
thrmo has joined #bitcoin-wizards
Aaronvan_ has quit [Ping timeout: 252 seconds]
spinza has quit [Quit: Coyote finally caught up with me...]
Murch has quit [Quit: Snoozing.]
AaronvanW has joined #bitcoin-wizards
spinza has joined #bitcoin-wizards
intcat has quit [Ping timeout: 256 seconds]
intcat has joined #bitcoin-wizards
bitconner has joined #bitcoin-wizards
deusexbeer has quit [Quit: Konversation terminated!]
intcat has quit [Ping timeout: 256 seconds]
intcat has joined #bitcoin-wizards
Emcy_ has joined #bitcoin-wizards
Emcy has quit [Ping timeout: 260 seconds]
bitconner has quit [Ping timeout: 252 seconds]