2016-08-22.log

--- Log opened Mon Aug 22 00:00:32 2016
-!- oleganza [~oleganza@c-73-241-70-96.hsd1.ca.comcast.net] has quit [Quit: oleganza]00:02
-!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has joined #bitcoin-wizards00:07
-!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has quit [Client Quit]00:09
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards00:09
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 250 seconds]00:10
-!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has joined #bitcoin-wizards00:13
-!- rubensayshi [~ruben@82.201.93.169] has joined #bitcoin-wizards00:14
-!- BashCo [~BashCo@unaffiliated/bashco] has joined #bitcoin-wizards00:16
-!- Ylbam [uid99779@gateway/web/irccloud.com/x-sqxyncmznvxhbkrt] has joined #bitcoin-wizards00:20
-!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has quit [Ping timeout: 244 seconds]00:23
-!- paveljanik [~paveljani@14.150.broadband14.iol.cz] has joined #bitcoin-wizards00:35
-!- paveljanik [~paveljani@14.150.broadband14.iol.cz] has quit [Changing host]00:35
-!- paveljanik [~paveljani@unaffiliated/paveljanik] has joined #bitcoin-wizards00:35
-!- chjj [~chjj@unaffiliated/chjj] has joined #bitcoin-wizards00:35
-!- laurentmt [~Thunderbi@80.215.210.217] has joined #bitcoin-wizards00:42
-!- laurentmt [~Thunderbi@80.215.210.217] has quit [Client Quit]00:43
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards00:46
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 260 seconds]00:59
-!- Giszmo [~leo@250.red-213-97-251.staticip.rima-tde.net] has joined #bitcoin-wizards01:17
-!- jannes [~jannes@178.132.211.90] has joined #bitcoin-wizards01:27
-!- BashCo [~BashCo@unaffiliated/bashco] has quit [Read error: Connection reset by peer]01:34
-!- BashCo_ [~BashCo@unaffiliated/bashco] has joined #bitcoin-wizards01:34
-!- paveljanik [~paveljani@unaffiliated/paveljanik] has quit [Quit: Leaving]01:40
-!- flower [~user@96.30.80.108] has joined #bitcoin-wizards01:47
-!- AaronvanW [~ewout@unaffiliated/aaronvanw] has quit [Remote host closed the connection]01:57
-!- AaronvanW [~ewout@198pc231.sshunet.nl] has joined #bitcoin-wizards02:06
-!- AaronvanW [~ewout@198pc231.sshunet.nl] has quit [Changing host]02:06
-!- AaronvanW [~ewout@unaffiliated/aaronvanw] has joined #bitcoin-wizards02:06
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards02:14
-!- Newyorkadam [~Newyorkad@wikipedia/Newyorkadam] has quit [Quit: Newyorkadam]02:17
-!- Giszmo [~leo@250.red-213-97-251.staticip.rima-tde.net] has quit [Quit: Leaving.]02:26
-!- Davasny [~quassel@78-11-193-195.static.ip.netia.com.pl] has joined #bitcoin-wizards02:43
-!- rubensayshi [~ruben@82.201.93.169] has quit [Remote host closed the connection]02:48
-!- rubensayshi [~ruben@82.201.93.169] has joined #bitcoin-wizards02:59
-!- Giszmo [~leo@190.red-88-12-21.staticip.rima-tde.net] has joined #bitcoin-wizards03:18
-!- proslogion [~proslogio@2.217.2.220] has joined #bitcoin-wizards03:21
-!- polyclef_ [~j@192.77.237.110] has joined #bitcoin-wizards03:22
-!- moli [~molly@unaffiliated/molly] has quit [Ping timeout: 244 seconds]03:26
-!- pro [~pro@unaffiliated/pro] has joined #bitcoin-wizards03:34
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has left #bitcoin-wizards ["Quitte"]03:51
-!- AbstractArtist [~AbstractA@91.186.71.2] has quit []03:51
-!- flower [~user@96.30.80.108] has quit [Quit: -]03:51
-!- NewLiberty [~NewLibert@2602:306:b8e0:8160:b8e2:1c9c:fe32:8ba2] has joined #bitcoin-wizards03:53
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards04:01
-!- NewLiberty [~NewLibert@2602:306:b8e0:8160:b8e2:1c9c:fe32:8ba2] has quit [Read error: Connection reset by peer]04:14
-!- hashtag_ [~hashtag@cpe-174-97-254-80.ma.res.rr.com] has quit [Read error: Connection reset by peer]04:14
-!- hashtag_ [~hashtag@cpe-174-97-254-80.ma.res.rr.com] has joined #bitcoin-wizards04:15
-!- Logicwax [~Logicwax@c-76-126-174-152.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds]04:16
-!- jl2012 [uid133844@gateway/web/irccloud.com/x-fbivtzmlncynrgqt] has quit [Read error: Connection reset by peer]04:17
-!- jl2012 [uid133844@gateway/web/irccloud.com/x-yogffxdycjxwvmhi] has joined #bitcoin-wizards04:17
-!- Logicwax [~Logicwax@c-76-126-174-152.hsd1.ca.comcast.net] has joined #bitcoin-wizards04:18
-!- otoburb [~otoburb@unaffiliated/otoburb] has quit [Ping timeout: 260 seconds]04:19
-!- otoburb [~otoburb@unaffiliated/otoburb] has joined #bitcoin-wizards04:19
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 240 seconds]04:23
-!- Davasny_ [~quassel@78-11-193-195.static.ip.netia.com.pl] has joined #bitcoin-wizards04:32
-!- Davasny [~quassel@78-11-193-195.static.ip.netia.com.pl] has quit [Ping timeout: 250 seconds]04:32
-!- Davasny [~quassel@78-11-193-195.static.ip.netia.com.pl] has joined #bitcoin-wizards04:46
-!- spinza [~spin@197.89.24.213] has quit [Ping timeout: 260 seconds]04:48
-!- Davasny_ [~quassel@78-11-193-195.static.ip.netia.com.pl] has quit [Ping timeout: 258 seconds]04:49
-!- moli [~molly@unaffiliated/molly] has joined #bitcoin-wizards04:52
-!- spinza [~spin@197.93.182.37] has joined #bitcoin-wizards05:09
-!- laurentmt [~Thunderbi@80.215.210.226] has joined #bitcoin-wizards05:13
-!- Davasny [~quassel@78-11-193-195.static.ip.netia.com.pl] has quit [Remote host closed the connection]05:19
-!- laurentmt [~Thunderbi@80.215.210.226] has quit [Quit: laurentmt]05:31
-!- livegnik_ is now known as livegnik06:11
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards06:21
-!- Mazz_ [~mazznilla@unaffiliated/mazznilla] has quit [Read error: Connection reset by peer]06:23
-!- ratoder [~ratoder@static.111.19.201.138.clients.your-server.de] has quit [Remote host closed the connection]06:26
-!- ratoder [~ratoder@static.111.19.201.138.clients.your-server.de] has joined #bitcoin-wizards06:26
-!- Mazz_ [~mazznilla@unaffiliated/mazznilla] has joined #bitcoin-wizards06:30
-!- Mazz_ [~mazznilla@unaffiliated/mazznilla] has quit [Read error: Connection reset by peer]06:36
-!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has joined #bitcoin-wizards06:40
-!- murch [~murch@p4FE3B03A.dip0.t-ipconnect.de] has joined #bitcoin-wizards06:41
-!- Chris_Stewart_5 [~Chris_Ste@unaffiliated/chris-stewart-5/x-3612383] has joined #bitcoin-wizards07:04
-!- polyclef_ [~j@192.77.237.110] has quit [Ping timeout: 264 seconds]07:05
-!- Mazz_ [~mazznilla@unaffiliated/mazznilla] has joined #bitcoin-wizards07:06
-!- Mazz_ [~mazznilla@unaffiliated/mazznilla] has quit [Read error: Connection reset by peer]07:06
-!- aar- [~aaron@9.149.197.104.bc.googleusercontent.com] has quit [Remote host closed the connection]07:11
-!- Mazz_ [~mazznilla@unaffiliated/mazznilla] has joined #bitcoin-wizards07:22
-!- Mazz_ [~mazznilla@unaffiliated/mazznilla] has quit [Read error: Connection reset by peer]07:22
-!- laurentmt [~Thunderbi@80.215.210.226] has joined #bitcoin-wizards07:29
-!- Mazz_ [~mazznilla@unaffiliated/mazznilla] has joined #bitcoin-wizards07:31
-!- aar- [~aaron@9.149.197.104.bc.googleusercontent.com] has joined #bitcoin-wizards07:32
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 252 seconds]07:32
-!- InsidiousPoet [~Insidious@unaffiliated/insidiouspoet] has joined #bitcoin-wizards07:43
-!- polyclef_ [~j@199-241-200-197.PUBLIC.monkeybrains.net] has joined #bitcoin-wizards07:47
-!- tucenaber [~tucenaber@unaffiliated/tucenaber] has quit [Ping timeout: 258 seconds]07:54
-!- Chris_Stewart_5 [~Chris_Ste@unaffiliated/chris-stewart-5/x-3612383] has quit [Ping timeout: 265 seconds]07:59
-!- laurentmt [~Thunderbi@80.215.210.226] has quit [Quit: laurentmt]08:06
-!- laurentmt [~Thunderbi@80.215.210.226] has joined #bitcoin-wizards08:09
-!- Yogh [~Yogh@f36186.upc-f.chello.nl] has quit [Ping timeout: 265 seconds]08:15
-!- Yogh [~Yogh@f36186.upc-f.chello.nl] has joined #bitcoin-wizards08:18
-!- BashCo_ [~BashCo@unaffiliated/bashco] has quit [Read error: Connection reset by peer]08:24
-!- BashCo [~BashCo@unaffiliated/bashco] has joined #bitcoin-wizards08:24
-!- tucenaber [~tucenaber@unaffiliated/tucenaber] has joined #bitcoin-wizards08:29
-!- Chris_Stewart_5 [~Chris_Ste@unaffiliated/chris-stewart-5/x-3612383] has joined #bitcoin-wizards08:31
-!- grubles [~grubles@unaffiliated/grubles] has quit [Quit: Leaving]08:33
-!- davec [~davec@cpe-24-243-251-52.hot.res.rr.com] has quit [Read error: Connection reset by peer]08:33
-!- NewLiberty [~NewLibert@2602:306:b8e0:8160:b8e2:1c9c:fe32:8ba2] has joined #bitcoin-wizards08:33
-!- davec [~davec@cpe-24-243-251-52.hot.res.rr.com] has joined #bitcoin-wizards08:33
-!- grubles [~grubles@unaffiliated/grubles] has joined #bitcoin-wizards08:43
-!- markus-k [~markus-k@p4FCCC771.dip0.t-ipconnect.de] has joined #bitcoin-wizards08:50
-!- droark [~droark@c-24-22-36-12.hsd1.or.comcast.net] has quit [Max SendQ exceeded]08:54
-!- TomMc [~tom@unaffiliated/tommc] has joined #bitcoin-wizards08:59
-!- aalex [~aalex@64.187.177.58] has quit [Ping timeout: 244 seconds]09:02
-!- Giszmo [~leo@190.red-88-12-21.staticip.rima-tde.net] has quit [Quit: Leaving.]09:02
-!- paveljanik [~paveljani@79.98.72.216] has joined #bitcoin-wizards09:02
-!- paveljanik [~paveljani@79.98.72.216] has quit [Changing host]09:02
-!- paveljanik [~paveljani@unaffiliated/paveljanik] has joined #bitcoin-wizards09:02
-!- aalex [~aalex@64.187.177.58] has joined #bitcoin-wizards09:03
-!- Cloudflare [~Cloudflar@unaffiliated/cloudflare] has quit [Ping timeout: 240 seconds]09:04
-!- berndj-blackout [~berndj@197.242.93.84] has joined #bitcoin-wizards09:04
-!- jouke_ [~jouke@a83-163-42-163.adsl.xs4all.nl] has quit [Ping timeout: 240 seconds]09:04
-!- berndj [~berndj@197.242.93.84] has quit [Ping timeout: 240 seconds]09:04
-!- xissburg [~xissburg@unaffiliated/xissburg] has quit [Excess Flood]09:05
-!- jouke [~jouke@a83-163-42-163.adsl.xs4all.nl] has joined #bitcoin-wizards09:06
-!- Cloudflare [~Cloudflar@45.32.191.82] has joined #bitcoin-wizards09:06
-!- Cloudflare [~Cloudflar@45.32.191.82] has quit [Changing host]09:06
-!- Cloudflare [~Cloudflar@unaffiliated/cloudflare] has joined #bitcoin-wizards09:06
-!- berndj-blackout is now known as berndj09:08
-!- byteflame [~byteflame@70-89-65-45-little-rock-ar.hfc.comcastbusiness.net] has joined #bitcoin-wizards09:15
-!- BashCo [~BashCo@unaffiliated/bashco] has quit [Remote host closed the connection]09:15
-!- grubles [~grubles@unaffiliated/grubles] has quit [Quit: Leaving]09:16
-!- byteflame [~byteflame@70-89-65-45-little-rock-ar.hfc.comcastbusiness.net] has quit [Remote host closed the connection]09:17
-!- grubles [~grubles@unaffiliated/grubles] has joined #bitcoin-wizards09:17
-!- mdavid613 [~Adium@cpe-172-251-161-231.socal.res.rr.com] has joined #bitcoin-wizards09:17
-!- oleganza [~oleganza@104.193.169-200.PUBLIC.monkeybrains.net] has joined #bitcoin-wizards09:17
-!- flower [~user@96.30.80.108] has joined #bitcoin-wizards09:20
-!- Ylbam [uid99779@gateway/web/irccloud.com/x-sqxyncmznvxhbkrt] has quit [Quit: Connection closed for inactivity]09:25
-!- whphhg_ [whphhg@gateway/vpn/mullvad/x-jgpugtgpgykfwwbp] has joined #bitcoin-wizards09:39
-!- whphhg [whphhg@gateway/vpn/mullvad/x-lsgjlzbjasiontno] has quit [Ping timeout: 265 seconds]09:43
-!- rubensayshi [~ruben@82.201.93.169] has quit [Remote host closed the connection]09:50
-!- fractex [~fractex@2602:306:cc08:25c0:bb7c:8a18:e13b:9c2d] has quit [Ping timeout: 260 seconds]09:53
-!- xissburg [~xissburg@unaffiliated/xissburg] has joined #bitcoin-wizards09:53
-!- c0rw1n- [~c0rw1n@223.100-136-217.adsl-dyn.isp.belgacom.be] has quit [Read error: Connection reset by peer]09:55
-!- c0rw1n [~c0rw1n@223.100-136-217.adsl-dyn.isp.belgacom.be] has joined #bitcoin-wizards09:55
-!- roughly27 [~quassel@c-76-119-238-92.hsd1.ma.comcast.net] has joined #bitcoin-wizards09:56
-!- fractex [~fractex@2602:306:cc08:25c0:bb7c:8a18:e13b:9c2d] has joined #bitcoin-wizards09:59
-!- laurentmt [~Thunderbi@80.215.210.226] has quit [Quit: laurentmt]10:03
-!- whphhg_ is now known as whphhg10:05
-!- fractex [~fractex@2602:306:cc08:25c0:bb7c:8a18:e13b:9c2d] has quit [Max SendQ exceeded]10:08
-!- fractex [~fractex@108-192-130-92.lightspeed.rlghnc.sbcglobal.net] has joined #bitcoin-wizards10:14
-!- licnep [uid4387@gateway/web/irccloud.com/x-dspmdmrdjvyxoigw] has joined #bitcoin-wizards10:17
-!- fiamhaa [uid179905@gateway/web/irccloud.com/x-joefjrsguetzyoxe] has quit [Quit: Connection closed for inactivity]10:26
-!- Ylbam [uid99779@gateway/web/irccloud.com/x-isbpjishccmmdkmx] has joined #bitcoin-wizards10:41
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards10:46
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 252 seconds]10:52
-!- BashCo [~BashCo@unaffiliated/bashco] has joined #bitcoin-wizards10:57
-!- laurentmt [~Thunderbi@176.158.157.202] has joined #bitcoin-wizards10:59
-!- markus-k [~markus-k@p4FCCC771.dip0.t-ipconnect.de] has quit [Quit: My Mac has gone to sleep. ZZZzzz…]11:17
-!- markus-k [~markus-k@p4FCCC771.dip0.t-ipconnect.de] has joined #bitcoin-wizards11:17
-!- markus-k [~markus-k@p4FCCC771.dip0.t-ipconnect.de] has quit [Client Quit]11:18
-!- MoALTz [~no@78-11-183-124.static.ip.netia.com.pl] has joined #bitcoin-wizards11:20
-!- Starduster [~guest@unaffiliated/starduster] has quit [Ping timeout: 244 seconds]11:20
-!- nuke_ [~nuke@46.198.198.151] has joined #bitcoin-wizards11:21
-!- nuke_ [~nuke@46.198.198.151] has quit [Client Quit]11:21
-!- NewLiberty [~NewLibert@2602:306:b8e0:8160:b8e2:1c9c:fe32:8ba2] has quit [Ping timeout: 258 seconds]11:39
-!- Starduster [~guest2@unaffiliated/starduster] has joined #bitcoin-wizards11:41
-!- NewLiberty [~NewLibert@2602:306:b8e0:8160:b8e2:1c9c:fe32:8ba2] has joined #bitcoin-wizards11:41
-!- NewLiberty [~NewLibert@2602:306:b8e0:8160:b8e2:1c9c:fe32:8ba2] has quit [Ping timeout: 258 seconds]11:54
-!- spinza [~spin@197.93.182.37] has quit [Read error: Connection reset by peer]11:55
-!- Emcy [~MC@unaffiliated/mc1984] has quit [Ping timeout: 276 seconds]12:14
-!- aalex [~aalex@64.187.177.58] has quit [Ping timeout: 244 seconds]12:19
-!- lextt [~lextt@95.215.44.99] has joined #bitcoin-wizards12:20
-!- nuke_ [~nuke@46.198.198.151] has joined #bitcoin-wizards12:23
-!- Tenhi_ [~tenhi@static.177.80.201.138.clients.your-server.de] has joined #bitcoin-wizards12:32
-!- Starduster [~guest2@unaffiliated/starduster] has quit [Ping timeout: 240 seconds]12:34
-!- Chris_Stewart_5 [~Chris_Ste@unaffiliated/chris-stewart-5/x-3612383] has quit [Ping timeout: 244 seconds]12:37
-!- Starduster [~guest2@unaffiliated/starduster] has joined #bitcoin-wizards12:41
-!- Tenhi_ [~tenhi@static.177.80.201.138.clients.your-server.de] has quit [K-Lined]12:43
-!- Emcy [~MC@cpc3-swan1-0-0-cust1003.7-3.cable.virginm.net] has joined #bitcoin-wizards12:46
-!- Emcy [~MC@cpc3-swan1-0-0-cust1003.7-3.cable.virginm.net] has quit [Changing host]12:46
-!- Emcy [~MC@unaffiliated/mc1984] has joined #bitcoin-wizards12:46
-!- spinza [~spin@197.93.182.37] has joined #bitcoin-wizards12:46
-!- aalex [~aalex@64.187.177.58] has joined #bitcoin-wizards12:50
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Quit: :)]12:54
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards12:55
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards12:56
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 265 seconds]12:59
-!- polyclef_ [~j@199-241-200-197.PUBLIC.monkeybrains.net] has quit [Ping timeout: 240 seconds]13:02
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards13:02
-!- jannes [~jannes@178.132.211.90] has quit [Quit: Leaving]13:05
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards13:13
-!- grubles [~grubles@unaffiliated/grubles] has quit [Quit: Leaving]13:16
-!- grubles [~grubles@unaffiliated/grubles] has joined #bitcoin-wizards13:17
-!- zooko [~user@c-73-14-173-69.hsd1.co.comcast.net] has joined #bitcoin-wizards13:36
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 240 seconds]13:40
-!- polyclef_ [~j@199-241-200-197.PUBLIC.monkeybrains.net] has joined #bitcoin-wizards13:44
-!- c0rw1n [~c0rw1n@223.100-136-217.adsl-dyn.isp.belgacom.be] has quit [Read error: Connection reset by peer]13:44
-!- c0rw1n [~c0rw1n@223.100-136-217.adsl-dyn.isp.belgacom.be] has joined #bitcoin-wizards13:45
-!- NewLiberty [~NewLibert@2602:306:b8e0:8160:b1e1:b505:61b0:bcca] has joined #bitcoin-wizards13:50
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 250 seconds]14:10
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 244 seconds]14:11
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards14:12
-!- PaulCapestany [~PaulCapes@204.28.124.82] has quit [Read error: Connection reset by peer]14:13
-!- flower [~user@96.30.80.108] has quit [Quit: -]14:13
-!- PaulCapestany [~PaulCapes@204.28.124.82] has joined #bitcoin-wizards14:14
-!- aalex_ [~aalex@64.187.177.58] has joined #bitcoin-wizards14:27
-!- aalex [~aalex@64.187.177.58] has quit [Ping timeout: 240 seconds]14:31
-!- asynk [~aknix@65.78.54.2] has quit [Read error: Connection reset by peer]14:42
-!- asynk [~aknix@65.78.54.2] has joined #bitcoin-wizards14:43
-!- TomMc [~tom@unaffiliated/tommc] has quit [Ping timeout: 250 seconds]14:49
-!- TomMc [~tom@unaffiliated/tommc] has joined #bitcoin-wizards14:54
-!- licnep [uid4387@gateway/web/irccloud.com/x-dspmdmrdjvyxoigw] has quit [Quit: Connection closed for inactivity]14:58
-!- asynk [~aknix@65.78.54.2] has quit [Ping timeout: 265 seconds]15:03
-!- AaronvanW [~ewout@unaffiliated/aaronvanw] has quit [Remote host closed the connection]15:05
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Read error: Connection reset by peer]15:14
-!- MoALTz [~no@78-11-183-124.static.ip.netia.com.pl] has quit [Quit: Leaving]15:19
-!- Emcy [~MC@unaffiliated/mc1984] has quit [Ping timeout: 250 seconds]15:20
nicolagrecoa bit of a random question, but is there a way to prove that a snapshot of a state comes from a log of operations (without involving consensus)?15:21
nicolagreco(I guess this is the proof of consistency that things like ethereum do)15:21
TaekNaively you could require the log and then process the whole  thing15:23
Taekthis is basically what Bitcoin validation does15:23
TaekIf the rules of your log are simple, you could use a zk-snark15:23
-!- laurentmt [~Thunderbi@176.158.157.202] has quit [Quit: laurentmt]15:24
Taekthen you don't need to process the whole log yourself. Someone does, but once you have the proof from the snark, it's a lot faster to verify15:24
-!- polyclef_ [~j@199-241-200-197.PUBLIC.monkeybrains.net] has quit [Ping timeout: 250 seconds]15:27
kanzureyou can also do probabilistically checkable proofs, which are essentially zk-snarks... so..15:28
kanzureyou can also do public auditing with secure multiparty computation, but this is essentially multisig stuff15:28
kanzureer... i don't know why i said auditing, i meant the audit log + verification stuff.15:30
* nsh muses15:30
nshat best you can only prove up to convergence if more than one way to end at a given state15:31
nshe.g. with a chess transcript there could be arbitrary numbers of moves elided15:32
nicolagreco(sorry all, I have forgot to say "efficient way to prove", meaning that it has to perform better than re-running the entire log)15:33
Taeksnarks can do that, but snarks require a lot of engineering15:33
-!- laurentmt [~Thunderbi@176.158.157.202] has joined #bitcoin-wizards15:34
nshcut and choose is probably as good as you get with moonmaths15:34
nsh*without15:34
-!- TomMc [~tom@unaffiliated/tommc] has quit [Ping timeout: 258 seconds]15:34
-!- laurentmt [~Thunderbi@176.158.157.202] has quit [Client Quit]15:36
proslogionthat should depend on the nature of the operations15:43
nicolagrecosay it adding removing keys from a key value store (so only get and put ops)15:56
-!- InsidiousPoet [~Insidious@unaffiliated/insidiouspoet] has quit [Quit: ||]16:06
-!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection]16:07
-!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards16:09
-!- johntramp [~john@175.111.102.145] has quit [Changing host]16:14
-!- johntramp [~john@unaffiliated/johntramp] has joined #bitcoin-wizards16:14
-!- TomMc [~tom@unaffiliated/tommc] has joined #bitcoin-wizards16:32
-!- belcher [~user@unaffiliated/belcher] has joined #bitcoin-wizards16:33
-!- r0ach [~r0ach@107-217-214-192.lightspeed.jcvlfl.sbcglobal.net] has joined #bitcoin-wizards16:38
-!- zooko [~user@c-73-14-173-69.hsd1.co.comcast.net] has quit [Remote host closed the connection]16:57
-!- asynk [~aknix@65.78.54.2] has joined #bitcoin-wizards17:08
maakunicolagreco: you can get SPV-level assurance with commitments to the current state17:13
maakualso mimblewimble is non-pairing way to get the same, for a limited set of problems17:13
-!- polyclef_ [~j@199-241-200-197.PUBLIC.monkeybrains.net] has joined #bitcoin-wizards17:15
amillerusing "cut-and-choose" directly over all the state updates is only good for showing that a large fraction of the steps are valid, not that the whole thing is valid17:15
-!- Ylbam [uid99779@gateway/web/irccloud.com/x-isbpjishccmmdkmx] has quit [Quit: Connection closed for inactivity]17:15
amillerthats a pretty cool list of all the approaches though! i really like this channel still :)17:18
-!- JackH_ [~Jack@2.102.201.0] has quit [Ping timeout: 260 seconds]17:24
-!- oleganza [~oleganza@104.193.169-200.PUBLIC.monkeybrains.net] has quit [Quit: oleganza]17:29
bsm1175321nicolagreco: does "log of operations" mean a sequential log?  If yes, then one can use any old hash function, combined with its "midstate".  This doesn't tell you how the midstate was arrived at, however.17:31
-!- murch [~murch@p4FE3B03A.dip0.t-ipconnect.de] has quit [Quit: Leaving.]17:31
nicolagrecoamiller: (hi!) where can I read more about cut-and-choose?17:35
-!- asynk [~aknix@65.78.54.2] has quit [Read error: Connection reset by peer]17:36
bsm1175321One can also use a single Merkle tree, where the hash state is a path to the most recently added element, which includes the Merkle root, and enough information to update the Merkle root by adding one element.  This allows one to retain Merkle proofs about any other elements that were added prior to the most recent update.17:36
-!- asynk [~aknix@65.78.54.2] has joined #bitcoin-wizards17:37
amillernicolagreco, here's a nice paper explaining how cut-and-choose works in the setting of multi-party computation17:39
amillerhttps://eprint.iacr.org/2008/049.pdf17:39
-!- xissburg [~xissburg@unaffiliated/xissburg] has quit [Ping timeout: 265 seconds]17:42
bsm1175321nicolagreco: A related idea is "incremental hash functions"  (google for more) https://eprint.iacr.org/2015/1028.pdf but after fooling with this paper for a while, I came to the conclusion that all their constructions are log(n) in the number of stored elements, and a Merkle tree (as described above) is simpler and has the same asymptotic scaling.17:42
-!- Emcy [~MC@unaffiliated/mc1984] has joined #bitcoin-wizards17:50
-!- Emcy [~MC@unaffiliated/mc1984] has quit [Ping timeout: 252 seconds]17:55
-!- moli [~molly@unaffiliated/molly] has quit [Ping timeout: 240 seconds]17:55
-!- proslogion [~proslogio@2.217.2.220] has quit [Ping timeout: 260 seconds]17:56
-!- belcher [~user@unaffiliated/belcher] has quit [Quit: Leaving]18:01
-!- xissburg [~xissburg@unaffiliated/xissburg] has joined #bitcoin-wizards18:10
-!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection]18:13
-!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards18:15
maakuincremental hash functions provide a different engineering tradeoff18:33
maakuas the size of the structure increases you tradeoff accuracy for constant-size state18:33
-!- mdavid613 [~Adium@cpe-172-251-161-231.socal.res.rr.com] has quit [Quit: Leaving.]18:33
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards18:40
-!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection]18:44
-!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards18:46
-!- btcdrak [uid165369@gateway/web/irccloud.com/x-azwjhillckqscrtb] has quit [Quit: Connection closed for inactivity]18:50
-!- rusty2 is now known as rusty18:50
-!- yorick_ [~yorick@oftn/oswg-member/yorick] has joined #bitcoin-wizards19:08
-!- yorick [~yorick@oftn/oswg-member/yorick] has quit [Ping timeout: 250 seconds]19:10
-!- pro [~pro@unaffiliated/pro] has quit [Quit: Leaving]19:26
-!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection]19:34
-!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards19:36
bsm1175321maaku: I think there's a very deep misunderstanding driven by Bloom filters.  What anyone actually cares about is false-positives.  Once you fix that, you end up with logarithmic scaling.  The additional parameter introduced is just confusing.19:37
bsm1175321constant size is only possible by increasing the false-positive rate...19:38
@gmaxwellthe functions maaku is talking about do not have false positives, or admit efficient membership tests.19:39
@gmaxwell(no false positives except in the cryptographic sense, which I assume you mean too when you say log scaling)19:40
@gmaxwellThey support efficient add and removal of members.19:40
@gmaxwelle.g. useful for keeping a hash of your whole database, while you insert/remove/update records.19:40
@gmaxwelland they have constant size state (state size depends on security, not number of elements)19:41
@gmaxwellthe 'dumb' and very very insecure simple version of those datastructure is a hash over items where the hash is the result of H(index_0||itemdata_0) ^ H(index_1||itemdata_1) ...19:42
-!- TomMc [~tom@unaffiliated/tommc] has quit [Ping timeout: 244 seconds]19:58
-!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection]20:04
-!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards20:06
-!- TomMc [~tom@unaffiliated/tommc] has joined #bitcoin-wizards20:25
-!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection]20:37
-!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards20:39
-!- cyphase [~cyphase@unaffiliated/cyphase] has quit [Ping timeout: 244 seconds]20:53
-!- cyphase [~cyphase@unaffiliated/cyphase] has joined #bitcoin-wizards20:55
-!- polyclef_ [~j@199-241-200-197.PUBLIC.monkeybrains.net] has quit [Ping timeout: 244 seconds]20:55
-!- TomMc [~tom@unaffiliated/tommc] has quit [Ping timeout: 250 seconds]20:56
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards21:24
-!- zooko [~user@c-73-181-114-81.hsd1.co.comcast.net] has joined #bitcoin-wizards21:36
-!- zooko [~user@c-73-181-114-81.hsd1.co.comcast.net] has quit [Client Quit]21:39
-!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection]22:13
-!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards22:15
-!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection]22:53
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 244 seconds]22:54
-!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards22:55
-!- Transisto2 [~Trans@modemcable017.144-178-173.mc.videotron.ca] has quit [Read error: Connection reset by peer]23:04
-!- Transisto2 [~Trans@modemcable017.144-178-173.mc.videotron.ca] has joined #bitcoin-wizards23:04
-!- polyclef_ [~j@192.77.237.110] has joined #bitcoin-wizards23:06
-!- shesek [~shesek@bzq-84-110-111-200.red.bezeqint.net] has quit [Ping timeout: 264 seconds]23:15
-!- btcdrak [uid165369@gateway/web/irccloud.com/x-ulpilhddljhqkbgl] has joined #bitcoin-wizards23:25
-!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection]23:33
-!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards23:35
-!- shesek [~shesek@bzq-84-110-111-200.red.bezeqint.net] has joined #bitcoin-wizards23:39
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards23:43
-!- jannes [~jannes@178.132.211.90] has joined #bitcoin-wizards23:49
-!- BashCo [~BashCo@unaffiliated/bashco] has quit [Remote host closed the connection]23:50
-!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection]23:55
-!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards23:57
--- Log closed Tue Aug 23 00:00:33 2016

Generated by irclog2html.py 2.15.0.dev0 by Marius Gedminas - find it at mg.pov.lt!