00:02:09Guest19528:Guest19528 is now known as starsoccer
00:25:42poggy_:poggy_ is now known as poggy
01:40:33fanquake_:fanquake_ is now known as fanquake
02:53:12coinheav_:coinheav_ is now known as coinheavy
08:05:13orwell.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:13orwell.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:13orwell.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:13orwell.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:13orwell.freenode.net:Users on #bitcoin-wizards: lechuga_ TD-Linux catcow danneu LaptopZZ burcin petertodd so @ChanServ phedny
08:52:18amiller:there's a new snark paper on the eprint
08:52:20amiller:http://eprint.iacr.org/2014/718 square span programs with applications to succinct nizk arguments
08:53:08amiller:for boolean circuit snarks, it reduces the size of proofs and verification cost by like, 50%
08:55:07nsh-:what's 'square span'?
08:55:16amiller:previous snarks were based on quadratic span programs
08:55:28amiller:it's a way of encoding circuits as a system of simple equations
08:56:52nsh-:so it eliminates the constant terms in the equation representation of the circuits?
08:56:54amiller:the system of equations then maps easily to some underlying crypto library, like "bilinear groups based on elliptic curves"
08:57:01nsh-:* nsh- nods
08:59:11amiller: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:27amiller:i'm pretty sure that's true even for zerocash
09:01:31amiller: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:07nsh-:* nsh- nods
13:40:34fanquake:fanquake has left #bitcoin-wizards
19:00:16Aquent_:Aquent_ is now known as Aquent
19:41:27marshallswatt:marshallswatt is now known as cryptopolis
19:43:44Aquent_:Aquent_ is now known as Aquent
20:14:04wyager:wyager has left #bitcoin-wizards
21:24:12Dizzle__:Dizzle__ is now known as Dizzle