01:14:19 | c0rw1n: | c0rw1n is now known as c0rw|zZz |
03:16:02 | jae: | jae is now known as Guest78407 |
05:06:22 | jae: | jae is now known as Guest89812 |
06:02:28 | jae: | jae is now known as Guest41528 |
08:05:17 | card.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:17 | card.freenode.net: | Users on #bitcoin-wizards: andy-logbot gill3s llllllllll gielbier priidu Mably p15x hktud0 DougieBot5000_ dEBRUYNE antanst KuDeTa u7654dec fanquake CoinMuncher b_lumenkraft jmcn helo p15 NewLiberty TheSeven go1111111 justanotheruser DrWatto wallet42 GGuyZ moa metamarc d1ggy Dr-G afk11 spinza hashtag alferz mengine aakselrod GreenIsMyPepper hashtag_ sparetire_ amiller dc17523be3 antgreen prodatalab_ luny mkarrer sneak Tiraspol shesek epscy adams__ wiz michagogo platinuum |
08:05:17 | card.freenode.net: | Users on #bitcoin-wizards: mikolalysenko jbenet artifexd grandmaster dansmith_btc SubCreative airbreather rustyn sadoshi lmacken Pan0ram1x bosma dgenr8 c0rw|zZz HM Cory MoALTz LeMiner ebfull larraboj berndj brand0 nickler PRab yrashk vonzipper cfields jonasschnelli nsh Krellan_ Luke-Jr stevenroose Taek coryfields Meeh Emcy catlasshrugged cryptowest_ Alanius null_radix kanzure gavinand1esen Logicwax copumpkin stonecoldpat bliljerk_ melvster bedeho2 waxwing azariah harrow |
08:05:17 | card.freenode.net: | Users on #bitcoin-wizards: tromp_ ttttemp isis scoria andytoshi warptangent harrigan Madars PaulCapestany sparetire davout comboy TD-Linux yorick crescend1 dardasaba___ veox mm_1 theymos Zouppen huseby cdecker hulkhogan_ _whitelogger wumpus binaryatrocity heath BananaLotus maaku face_ Apocalyptic kyuupichan [d__d] NeatBasis optimator Eliel gnusha tromp narwh4l lmatteis wizkid057 koshii leakypat mr_burdell throughnothing_ elastoma btcdrak fluffypony Fistful_of_Coins yoleaux |
08:05:17 | card.freenode.net: | Users on #bitcoin-wizards: Jaamg se3000 xabbix mariorz catcow a5m0_ smooth dignork runeks CryptoGoon Sqt poggy livegnik K1773R petertodd richardus nephyrin phedny so phantomcircuit afdudley pigeons SwedFTP guruvan ajweiss nanotube forrestv mappum Muis warren weex_ Xzibit17 sdaftuar eric roasbeef s1w CryptOprah morcos EasyAt Iriez merlincorey [ace] sturles jaromil Graet indolering Keefe ryan-c jessepollak gribble BrainOverfl0w @ChanServ Oizopower gwillen kinlo sl01 STRML |
08:05:17 | card.freenode.net: | Users on #bitcoin-wizards: espes__ AdrianG luigi1111 Anduck BlueMatt midnightmagic otoburb kumavis starsoccer d9b4bef9 |
11:56:02 | c0rw|zZz: | c0rw|zZz is now known as c0rw1n |
12:40:58 | NeatBasis: | NeatBasis has left #bitcoin-wizards |
12:41:06 | NeatBasis: | NeatBasis has left #bitcoin-wizards |
12:41:10 | NeatBasis: | NeatBasis has left #bitcoin-wizards |
12:59:51 | nsh: | .ask NeatBasis ootko suomesta? miten hyvin on bitcoinnit tuttunnut siella nykyaan? |
12:59:52 | yoleaux: | nsh: I'll pass your message to NeatBasis. |
13:24:47 | fluffypony: | frankenmint: the ultimate mining botnet! |
13:24:48 | fluffypony: | :-P |
13:25:42 | frankenmint: | yea that's really the wrong description to use |
13:25:54 | frankenmint: | I mean, comeon- calling it a botnet, its not |
13:26:13 | frankenmint: | although it remains to be seen what on earth these guys are thinking |
13:26:37 | frankenmint: | Their article said 'software' implementation that can work on existing chip infrastructure |
13:26:49 | frankenmint: | so I read that as 'software asics' which makes no sense to me |
13:27:12 | nsh: | #bitcoin-speculation-about-vapourware |
13:28:15 | fluffypony: | frankenmint: was a joke |
13:28:36 | fluffypony: | nsh: can't tell if hashtag or IRC channel |
13:28:39 | frankenmint: | nsh: its empty :( 4evr alooonee |
13:29:34 | frankenmint: | yea I know, say sorry bout giving you a hard time about my gpu frame comming 5 months later :p |
13:30:26 | frankenmint: | fluffypony: know anyone stateside who wants a vitalia standalone here stateside? I've got a brand new one for them |
13:30:47 | fluffypony: | unfortunately not :( |
13:31:03 | hashtag: | u rang? |
13:31:22 | fluffypony: | lol |
13:31:28 | hashtag: | :) |
13:31:42 | fluffypony: | ok I'm out, speaking at a meetup in Brussels in 3 hours and presentation still needs tweaks |
13:31:45 | fluffypony: | cheers |
13:33:21 | frankenmint: | tell em honeybadgerofmoney |
13:33:37 | frankenmint: | 5 dollars gets them involved in the worlds largest grassroots bitcoin promotion! |
13:34:27 | nsh: | seriously, random chit-chat to #bitcoin, please |
14:47:57 | c0rw1n: | c0rw1n is now known as c0rw|away |
15:22:16 | wallet421: | wallet421 is now known as wallet42 |
15:50:52 | Taek: | Would it be an acceptable endgame to have mining become completely inaccessable to the unwealthy, but instead dominated by 5-10 corporations, none of whom have more than 33% hashrate? |
15:51:56 | kanzure: | no, because corporations are subject to the law and can be compelled by courts to compromise technical systems |
15:52:31 | Taek: | what if each of the corporations is in a separate jurisdiction? |
15:53:20 | Taek: | at that point the discussion changes from 'corporations' to 'nation states' |
15:55:04 | Taek: | certainly it's less ideal than 1-cpu-1-vote, but in a stable political climate it might be sufficient |
15:57:25 | kanzure: | 1-cpu-1-vote is not something that exists at the moment |
15:58:24 | Taek: | right but it's an ideal I think many researchers are aiming at |
16:01:01 | kanzure: | oh, why? |
16:01:14 | kanzure: | that's clearly not sybil-resistant |
16:01:28 | kanzure: | (since there's no way to identify individual cpus) |
16:03:39 | Taek: | * Taek backs up a bit, s/1-cpu-1-vote/fully decentralized mining/g |
16:09:20 | temujin: | mining is decentralized enough imo |
16:10:27 | temujin: | bitcoin is perfectly parallel, meaning the hashrate landscape can change quickly as individual miners change pools (in the case of a disagreement with pool policy, overcentralization, etc) |
16:11:35 | Taek: | temujin: there's significant risk that arises from economies of scale. |
16:13:07 | Taek: | A bigger mining investment also has more room to establish itself in places with inherent advantages (such as regions where electricty is cheap), has more ability to collect lots of talent (proprietary and significant ASIC improvements) |
16:25:51 | temujin: | is there an alternative? |
16:27:17 | Taek: | hopefully. Currently the most promising seems to be the idea of using the waste heat of ASICs as an advantage |
16:27:27 | Taek: | heating homes, hot water, etc. |
16:28:25 | Taek: | because the asics are now serving 2 purposes instead of 1, there's an efficiency boost |
16:28:47 | Taek: | it's not clear though that this will be enough in the long run |
16:29:23 | temujin: | haha, my two GPU rigs certainly heated my apartment quite nicely winter 2013... i can see this being true |
16:30:20 | sturles: | I still have my GPUs connected to the water pipes for my underfloor heating. :-) |
16:31:38 | sturles: | A very profitable way to heat my house back in 2010-2012. |
16:32:00 | sturles: | Not GPU mining any more, of course. |
17:08:01 | nsh: | all we need, and it can't be that much of an ask, is for the US DoD to reprogram their GPS satellites to act as entropy beacons so that it's possible to cryptographically attest geographic locations |
17:08:16 | nsh: | then we can ensure reasonable jurisdictional distribution of miners |
17:09:06 | Taek: | you would adjust the difficulty depending on geography? |
17:09:30 | nsh: | requires a bit more thought |
17:10:09 | Taek: | assuming that you could accurately enforce geographic honesty |
17:10:35 | Taek: | I think that it would be a good thing to have |
17:10:41 | nsh: | well, you can't, because space doesn't exist. but you can attest to being in a certain locus within a certain timeframe |
17:11:26 | nsh: | (what i mean is, you can fake being somewhere else, but you can't fake having the exact information for that position at some exact time) |
17:11:41 | nsh: | (if you have to commit to it) |
17:12:06 | Taek: | you're still stuck trusting the entropy beacons |
17:12:22 | nsh: | * nsh nods |
17:13:21 | nsh: | don't the russians have a parallel GPS satnet still, or did they give up? |
17:13:53 | nsh: | presumably china will at some stage, so at least you can split the trust between rough geopolitical adversaries |
17:14:52 | nsh: | .wik GLONASS |
17:14:54 | yoleaux: | "GLONASS (Russian: ГЛОНАСС, IPA: [ɡlɐˈnas]; Глобальная навигационная спутниковая система; transliteration Globalnaya navigatsionnaya sputnikovaya sistema), or "GLObal NAvigation Satellite System", is a space-based satellite navigation system operated by the Russian Aerospace Defence Forces." — http://en.wikipedia.org/wiki/GLONASS |
17:16:12 | nsh: | .wik BeiDou Navigation Satellite System |
17:16:13 | yoleaux: | "The BeiDou Navigation Satellite System (BDS, simplified Chinese: 北斗卫星导航系统; traditional Chinese: 北斗衛星導航系統; pinyin: Běidǒu wèixīng dǎoháng xìtǒng) is a Chinese satellite navigation system." — http://en.wikipedia.org/wiki/BeiDou_Navigation_Satellite_System |
17:17:13 | nsh: | but aye, back in the real world, the military of nation-states does not have a great track record in positively responding to my suggestions |
20:32:47 | nsh: | * nsh muses |
20:49:07 | Taek: | asic-heated consumer appliances may not provide the decentralization we're looking for |
20:49:24 | Taek: | it's just another avenue of diversity for much larger mining companies |
20:49:46 | Taek: | in all liklihood, the consumers would never touch their miner, the company they bought it from would manage all of the operations |
20:50:27 | Taek: | so really it's just centralized around whoever is controlling the software on the appliances |
20:51:52 | kanzure: | er, nobody claimed that it was related to diversity |
20:51:57 | kanzure: | (or decentralization for that matter) |
20:52:19 | Luke-Jr: | Taek: yeah, we need a p2p way to have it mine decentralised IMO |
20:52:22 | kanzure: | ((got the word wrong)) |
20:52:33 | Luke-Jr: | s/p2p/LAN/ |
20:52:41 | Luke-Jr: | detect bitcoind on the LAN automatically and solo mine |
20:52:57 | Luke-Jr: | otoh, that's trusting the LAN probably too much.. so :/ |
20:53:10 | Taek: | kanzure: gavin at least expressed hope that it would increase decentralization |
20:53:17 | Taek: | at the Boston dev core |
20:54:27 | belcher_: | belcher_ is now known as belcher |
20:54:47 | kanzure: | specifically he was talking about a chip that is pool-locked? |
20:55:56 | Taek: | iirc he was merely talking about using asic's waste heat for other purposes |
20:56:01 | Taek: | like water tanks |
21:04:16 | nsh: | certainly finding ways to convert sha256 entropy from a problem you have to deal with to an asset is likely to increase asic decentralization |
21:04:29 | nsh: | whether that actually increases hashpower decentralization is a different question |
21:05:48 | nsh: | unrelatedly |
21:05:59 | nsh: | * nsh tries to understand djb's number-theory contributions |
21:06:58 | nsh: | specifically: "How to find smooth parts of integers." http://cr.yp.to/factorization/smoothparts-20040510.pdf |
21:07:14 | Taek: | wrt asic decentralization vs. hashpower decentralization: agree |
21:07:22 | nsh: | .seen gmaxwell |
21:07:23 | yoleaux: | I saw gmaxwell 15 May 2015 19:13Z in #bitcoin-wizards: So yes, an unspecified different design may have totally different vulnerabilities. |
21:07:28 | nsh: | .time |
21:07:31 | nsh: | .date |
21:07:38 | nsh: | .t |
21:07:38 | yoleaux: | Tue, 19 May 2015 21:07:38 UTC |
21:07:51 | nsh: | did greg take a holiday or something? |
21:08:02 | nsh: | * nsh blinks until that computes |
21:08:36 | nsh: | who's going to explain smoothness and elliptic curves and how the latter helps find the former in integers despite having no intrinsic notion of prime divisor itself |
21:08:37 | Taek: | I had noticed the same thing. sipa doesn't seem to be around either |
21:08:40 | Taek: | .seen sipa |
21:08:40 | yoleaux: | I saw sipa 14 May 2015 16:17Z in #bitcoin-wizards: i'll be on vacation the next two weeks |
21:08:52 | Taek: | oh |
21:08:53 | nsh: | well, that's less of a mystery :) |
21:09:10 | nsh: | amiller, andytoshi: ping? |
21:11:02 | nsh: | i guess i'll just mash my brain into wikipedia until i find new ways of crying blood through my eyes |
21:11:44 | ajweiss: | wikipedia really needs differing depths for mathy/technical things |
21:12:45 | gmaxwell: | nsh: sorry, I've been super busy (people will be excited...) and the conversation in here was ... uh not at its best lately. |
21:12:49 | ajweiss: | like handwave, intermediate and bored graduate student |
21:14:00 | nsh: | gmaxwell, understood (and vicariously / intriguedly excited about the excitements) :) |
21:14:32 | nsh: | (and agreed on the signal:noise diminishment) |
21:38:15 | shen_noe: | nsh, what do you want to know elliptic curves? |
21:44:28 | nsh: | well, first i wanted to know how djb's fast batch-GCD algorithm works, but in order to understand that, i need to know generally how elliptic curves, which don't even have a notion of prime divisors, can facilitate the finding of small prime factors of integers |
21:44:39 | nsh: | .wik Lenstra elliptic curve factorization |
21:44:40 | yoleaux: | "The Lenstra elliptic curve factorization or the elliptic curve factorization method (ECM) is a fast, sub-exponential running time algorithm for integer factorization which employs elliptic curves. For general purpose factoring, ECM is the third-fastest known factoring method." — http://en.wikipedia.org/wiki/Lenstra_elliptic_curve_factorization |
21:45:13 | shen_noe: | I think most of those algorithms are explained in SIlverman book 1 |
21:45:30 | shen_noe: | can find on bookzz.org |
21:45:32 | shen_noe: | I have to run |
21:45:46 | shen_noe: | but it's "arithmetic of elliptic curves" joseph silverman |
21:45:59 | nsh: | thanks |
21:45:59 | shen_noe: | towards the end theres a section explaining the basic algorithms |
21:46:08 | nsh: | * nsh will find |
21:46:09 | shen_noe: | btw e-curves have a different notion of prime divisors |
21:46:19 | shen_noe: | so it's not quite correct to say they don't have prime divisors |
21:46:37 | shen_noe: | any case, ill be around later |
21:47:41 | nsh: | okay, take care :) |
21:48:24 | nsh: | (Silverman I is available here, if anyone else is [masochistic and] interested: http://www.pdmi.ras.ru/~lowdimma/BSD/Silverman-Arithmetic_of_EC.pdf ) |
22:03:54 | nsh: | nsh is now known as EmmyNoether |
22:04:07 | EmmyNoether: | EmmyNoether is now known as nsh |
22:25:48 | xenog: | xenog has left #bitcoin-wizards |
23:02:44 | c0rw|away: | c0rw|away is now known as c0rw1n |
23:35:31 | andytoshi: | nsh: hi, same sitch as gmax, what's up? |
23:35:59 | andytoshi: | nsh: ohh one sec, iirc the montgomery paper actually has a good high |
23:36:04 | andytoshi: | level explanation of that |
23:36:31 | nsh: | i want to be hand-holded through difficult number theory because i am a lowly telephone sanitation engineer and they keep kicking me out of maths classes when i sneak into university :) |
23:36:46 | nsh: | ah cool |
23:37:09 | xenog_: | xenog_ is now known as xenog |
23:37:57 | xenog: | xenog is now known as Guest3058 |
23:38:14 | nsh: | Speeding the Pollard and elliptic curve methods of factorization - Montgomery, '87 ? |
23:38:19 | andytoshi: | yes, thx :) |
23:38:24 | xenog: | xenog is now known as Guest644 |
23:38:53 | xenog: | xenog is now known as Guest6531 |
23:39:36 | andytoshi: | page 13-14 of the pdf |
23:39:43 | nsh: | * nsh reads |
23:40:29 | andytoshi: | basically you do ECC operations as though you were in a prime field until they break, then you've detected non-primeness in a way that gives you a factor |
23:40:40 | andytoshi: | s/ECC/elliptic curve group/ |
23:42:02 | nsh: | oh |
23:42:16 | nsh: | fascinating |
23:43:32 | nsh: | heh, montgomery's paper refers to pollard's p + 1 method, but wikipedia calls it p - 1 |
23:43:48 | nsh: | i guess there's little difference |
23:44:13 | nsh: | the immediate integers to a large prime are likely to have asymptotically equivalent smoothness |
23:44:15 | nsh: | i'd imagine, anyway |
23:44:46 | nsh: | (i mean averaging. obviously they will not approximate to a single value) |
23:44:57 | andytoshi: | there are actually two methods in the paper, the p-1 and p+1 ... they are quite similar, but there are no asymptotics since this is all discrete |
23:45:12 | nsh: | ah |
23:45:32 | nsh: | i was just guessing that if you go with -1 then it's about as likely to be smooth as +1 |
23:45:51 | nsh: | but if the methods are actually different thereafter, then it's an irrelevant observation |
23:46:58 | nsh: | oh, p plus 1 is attributed to Williams |
23:47:18 | xenog: | xenog is now known as Guest23365 |
23:47:18 | xenog_: | xenog_ is now known as xenog |
23:47:29 | nsh: | .wik Williams' p + 1 algorithm |
23:47:30 | yoleaux: | "In computational number theory, Williams' p + 1 algorithm is an integer factorization algorithm, one of the family of algebraic-group factorisation algorithms. It was invented by Hugh C. Williams in 1982." — http://en.wikipedia.org/wiki/Williams'_p_%2B_1_algorithm |
23:47:41 | nsh: | .wik Pollard's_p_−_1_algorithm |
23:47:42 | yoleaux: | "Pollard's p − 1 algorithm is a number theoretic integer factorization algorithm, invented by John Pollard in 1974. It is a special-purpose algorithm, meaning that it is only suitable for integers with specific types of factors; it is the simplest example of an algebraic-group factorisation algorithm." — http://en.wikipedia.org/wiki/Pollard%27s_p_%E2%88%92_1_algorithm |
23:48:10 | Adlai: | http://sage.math.washington.edu/edu/124/misc/montgomery.pdf |
23:50:54 | nsh: | * nsh listens to: |
23:51:19 | nsh: | Mod-01 Lec-30 Factoring Algorithms -- https://www.youtube.com/watch?v=9zvjv2Bf4Xk |