| 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 |