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
shesek has joined #bitcoin-wizards
thrmo has quit [Remote host closed the connection]
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has joined #bitcoin-wizards
shesek has quit [Changing host]
bitconner has joined #bitcoin-wizards
bitconner has quit [Ping timeout: 240 seconds]
shesek has quit [Read error: No route to host]
shesek has joined #bitcoin-wizards
rusty has quit [Ping timeout: 240 seconds]
shesek has quit [Read error: No route to host]
shesek has joined #bitcoin-wizards
spinza has quit [Quit: Coyote finally caught up with me...]
spinza has joined #bitcoin-wizards
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
drexl has quit [Quit: drexl]
shesek has quit [Read error: Connection reset by peer]
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has quit [Changing host]
shesek has joined #bitcoin-wizards
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has quit [Changing host]
shesek has joined #bitcoin-wizards
nuncanada has joined #bitcoin-wizards
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
esotericnonsense has quit [Read error: Connection reset by peer]
esotericnonsense has joined #bitcoin-wizards
esotericnonsense has quit [Remote host closed the connection]
esotericnonsense has joined #bitcoin-wizards
Krellan has joined #bitcoin-wizards
shesek has quit [Read error: No route to host]
<nsh>
(i think this has been raised before but i can't remember the consensus) what difficulties would there be with nodes cryptographically attesting to their consensus logic somehow? [using NIZK proofs or maybe there's a simpler way?] at present there is signalling which is pretty much taken on faith, and then there are observed behavioural differentials when some edge-case block/network-event happens, but it's impossible to predict the latter in advance in
<nsh>
general
AaronvanW has quit [Remote host closed the connection]
esotericnonsense has quit [Remote host closed the connection]
shesek has joined #bitcoin-wizards
esotericnonsense has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 252 seconds]
shesek has quit [Read error: No route to host]
shesek has joined #bitcoin-wizards
thomasan_ has joined #bitcoin-wizards
thomasan_ has quit [Client Quit]
mn3monic has quit [Ping timeout: 250 seconds]
mn3monic has joined #bitcoin-wizards
shesek has quit [Read error: No route to host]
shesek has joined #bitcoin-wizards
mn3monic has quit [Changing host]
mn3monic has joined #bitcoin-wizards
thomasan_ has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
spinza has quit [Quit: Coyote finally caught up with me...]
mn3monic has quit [Remote host closed the connection]
mn3monic has joined #bitcoin-wizards
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has quit [Read error: No route to host]
shesek has joined #bitcoin-wizards
uiuc-slack has quit [Remote host closed the connection]
uiuc-slack has joined #bitcoin-wizards
spinza has joined #bitcoin-wizards
deusexbeer has quit [Ping timeout: 272 seconds]
deusexbeer has joined #bitcoin-wizards
shesek has quit [Read error: No route to host]
AaronvanW has quit [Remote host closed the connection]
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 245 seconds]
Krellan has quit [Ping timeout: 250 seconds]
<Taek>
you mean something like using starks to prove blocks are valid?
<Taek>
with that approach the problem is either you have trusted setup, or it takes wayyyyy too much work to make a proof, or more commonly both
<Taek>
I believe that there are groups right now working on a blockchain that can be feasible proven in starks though, which significantly improves bootstrapping time and cost
<Taek>
At this point, you can't do it with Bitcoin, you have to use consensus rules that are designed to be stark friendly
<sipa>
Taek: starks don't have trusted setup; snarks do
<Taek>
right
<sipa>
but they're huge
<Taek>
If I remember correctly, proving time with starks scales better than with snarks as well?
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 272 seconds]
AaronvanW has joined #bitcoin-wizards
xnaclay has joined #bitcoin-wizards
xnaclay has quit [Quit: Page closed]
AaronvanW has quit [Ping timeout: 252 seconds]
Krellan has joined #bitcoin-wizards
xnaclay has joined #bitcoin-wizards
shesek has joined #bitcoin-wizards
shesek has quit [Changing host]
shesek has joined #bitcoin-wizards
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has joined #bitcoin-wizards
shesek has quit [Changing host]
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Remote host closed the connection]
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 272 seconds]
sipa has quit [Remote host closed the connection]
sipa has joined #bitcoin-wizards
shesek has quit [Read error: No route to host]
shesek has joined #bitcoin-wizards
spinza has quit [Quit: Coyote finally caught up with me...]
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has joined #bitcoin-wizards
shesek has quit [Changing host]
spinza has joined #bitcoin-wizards
rh0nj has quit [Remote host closed the connection]
rh0nj has joined #bitcoin-wizards
shesek has quit [Read error: No route to host]
shesek has joined #bitcoin-wizards
shesek has joined #bitcoin-wizards
shesek has quit [Changing host]
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has quit [Read error: Connection reset by peer]
shesek has joined #bitcoin-wizards
shesek has quit [Read error: No route to host]
shesek has joined #bitcoin-wizards
bildramer1 has joined #bitcoin-wizards
bildramer has quit [Ping timeout: 264 seconds]
Guyver2 has quit [Quit: Going offline, see ya! (www.adiirc.com)]