00:02:09 | Guest19528: | Guest19528 is now known as starsoccer |

00:25:42 | poggy_: | poggy_ is now known as poggy |

01:40:33 | fanquake_: | fanquake_ is now known as fanquake |

02:53:12 | coinheav_: | coinheav_ is now known as coinheavy |

08:05:13 | orwell.freenode.net: | topic is: This channel is not about short-term Bitcoin development | http://bitcoin.ninja/ | This channel is logged. | For logs and more information, visit http://bitcoin.ninja |

08:05:13 | orwell.freenode.net: | Users on #bitcoin-wizards: andy-logbot oujh samson2 ebfull CoinMuncher todaystomorrow Adlai AaronvanW chris2000 p15 wiretapped iddo pen justanotheruser bsm117532 TheSeven skinnkavaj tacotime eslbaer_ OneFixt fanquake mortale drawingthesun quackgyver roconnor starsoccer midnightmagic Adohgg jaekwon Muis Starduster_ Cory berndj-blackout arowser1 GAit prepost LarsLarsen toysrough gribble Graftec spinza nsh jchp_ Graet napeida_ melvster devrandom dgenr8 koshii kinlo jgarzik |

08:05:13 | orwell.freenode.net: | Users on #bitcoin-wizards: Transisto irc88 zenojis hollandais nanotube [Derek] BlueMatt Dyaheon wizkid057 CryptOprah_ jbenet promoJo michagogo zlinn_ mappum btc_ Guest2024 copumpkin ericp4 digitalmagus8 Sangheili br4n_ pigeons BrainOverfl0w lianj_ UukGoblin optimator wumpus Apocalyptic poggy rs0 jcorgan_ Iriez mr_burdell fluffypony epscy K1773R a5m0 go1111111 bbrittain SomeoneWeird mikalv forrestv shesek livegnik mkarrer Anduck amiller Nightwolf Keefe Krellan BigBitz |

08:05:13 | orwell.freenode.net: | Users on #bitcoin-wizards: [\\\] dansmith_btc Taek42 jaromil warren asoltys Hunger- waxwing Emcy tromp_ EasyAt tucenaber Logicwax tromp Grishnakh sl01 comboy_ Luke-Jr espes__ sipa coryfields [d__d] bobke nsh- pajarillo crescendo HM maaku phantomcircuit azariah4 zibbo gmaxwell Fistful_of_coins DoctorBTC harrow roasbeef andytoshi mmozeiko Eliel CodeShark throughnothing Guest47516 Alanius nickler_ pi07r ryan-c kanzure gwillen otoburb smooth helo Guest50253 weex abc56889 |

08:05:13 | orwell.freenode.net: | Users on #bitcoin-wizards: lechuga_ TD-Linux catcow danneu LaptopZZ burcin petertodd so @ChanServ phedny |

08:52:18 | amiller: | there's a new snark paper on the eprint |

08:52:20 | amiller: | http://eprint.iacr.org/2014/718 square span programs with applications to succinct nizk arguments |

08:53:08 | amiller: | for boolean circuit snarks, it reduces the size of proofs and verification cost by like, 50% |

08:55:01 | nsh-: | \o/ |

08:55:07 | nsh-: | what's 'square span'? |

08:55:16 | amiller: | previous snarks were based on quadratic span programs |

08:55:28 | amiller: | it's a way of encoding circuits as a system of simple equations |

08:56:52 | nsh-: | so it eliminates the constant terms in the equation representation of the circuits? |

08:56:54 | amiller: | the system of equations then maps easily to some underlying crypto library, like "bilinear groups based on elliptic curves" |

08:57:01 | nsh-: | * nsh- nods |

08:59:11 | amiller: | anyway, the benefit doesn't seem that practical because the applications i know of all use *quadratic arithmetic programs* which are a related alternative, they aren't based on boolean circuits but on multiplication/addition mod 32 bits or something |

09:00:27 | amiller: | i'm pretty sure that's true even for zerocash |

09:01:31 | amiller: | it's neat to see lines like this being placed on the first page of mainstream crypto papers.... "Such constructions are at the forefront of privacy-friendly variants of Bitcoin, such as Pinocchio Coin [DFKP13] and Zerocash [BSCG+14]." |

09:02:07 | nsh-: | * nsh- nods |

13:40:34 | fanquake: | fanquake has left #bitcoin-wizards |

19:00:16 | Aquent_: | Aquent_ is now known as Aquent |

19:41:27 | marshallswatt: | marshallswatt is now known as cryptopolis |

19:43:44 | Aquent_: | Aquent_ is now known as Aquent |

20:14:04 | wyager: | wyager has left #bitcoin-wizards |

21:24:12 | Dizzle__: | Dizzle__ is now known as Dizzle |