4chan archive /biz/ (index)
similar threads
2021-02-05 06:07 27834197 Anonymous /cmpt/ (11-Figure3-1.png 662x696 18kB)
Crypto math and programming thread. What do you want to talk about? Anything of this sort goes.

2 min later 27834420 Anonymous
>>27834197 who is your favorite philosopher?

2 min later 27834426 Anonymous
You’re not going to find anyone who is interested in this with the current state of /biz/. For what it’s worth — zero knowledge proofs are going to blow everyone’s pants off as they become more widely used. It is all the rage within the academic cryptography field and essentially no technology outside of crypto has started using them.

10 min later 27835076 Anonymous (cr_voting.jpg 1024x963 242kB)
>>27834420 Why Stirner and Land of course. >>27834426 >You’re not going to find anyone who is interested in this with the current state of /biz/. May well be. Always has been I suppose, but why not try. Any project you like that are already trying to make use of them. I remember some mentioning them in 2019, but I'm not in the picture of what's being used in actuality right now. There's always lots of cool ideas floating, but I tend to search applications.

13 min later 27835291 Anonymous
>>27835076 >mathematics >elections >crypto you seem smart OP, is democracy as retarded as we all think it is?

16 min later 27835517 Anonymous (91953.jpg 309x475 117kB)
>>27835291 >democracy Has never been tried

17 min later 27835598 Anonymous
>>27835076 >Stirner and Land Based.

17 min later 27835638 Anonymous
99.99% of /biz/ hasn't even read the bitcoin whitepaper, half of them don't even look at the homepage of the coins they throw their money at >>>/sci/ would be a better place for these threads.

18 min later 27835746 Anonymous
>>27834420 Plato

19 min later 27835830 Anonymous
>>27834197 Which cryptos do you hold?

20 min later 27835927 Anonymous
>>27834197 Why do nontrivial zero's of Riemann zeta functions with an imaginary parts all have their real parts along x=1/2?

21 min later 27836032 Anonymous
>>27835927 >>27834197 And what do circles have to do with the random distribution of prime numbers?

21 min later 27836060 Anonymous
>>27834420 Why Schopenhauer of course.

22 min later 27836094 Anonymous
>>27835638 The thing is that achieving tehcnical understanding of the underlying mechanics of various projects is not going to make any richer in the long run - it might actually be counter-productive.

24 min later 27836314 Anonymous (Zeta_polar.svg.png 1195x1024 77kB)
>>27835638 Been shitposting on /sci/ for over a decade, but after two year abstinence in crypto, I thought I go back and start some small scale projects. Maybe there's some script kiddies here who want to try things out..., I'm open (I'm mostly academically, Python, Haskell, but I don't rely on them) Also why I'm asking for a zero knowledge rec >>27836032 What do you mean by circles? If you mean pic related, I incidentally explain this here https://youtu.be/Fl3XgPpvSNI

28 min later 27836635 Anonymous
>>27834197 You're making me feel the void inside me again.

34 min later 27837089 Anonymous (youf.jpg 766x996 256kB)
>>27836635 Because? >>27834426 So do you have any recommendations? Do you want to read some papers? I'm still interested in anonymous voting algorithms, that's where I had left off in 2019, but I'm open

35 min later 27837144 Anonymous
>>27834420 Rene Guenon Julius Evola

38 min later 27837395 Anonymous
>>27834197 Based lambda calculus retard

39 min later 27837524 Anonymous
I don't know crypto math. But i started to think about scalability as gas prices have gone crazy. As new people come to crypto will prices gas prices increase more? It will push people away, anyway it made me think about the overall even though i have no tech ability to understand the scale.

44 min later 27837969 Anonymous (holidays.jpg 1024x792 630kB)
>>27837524 I'm not in picture about the "upcoming" solutions on Ethereum, but that project is also not the only game in town. For some applications, it might also not be necessary to have a blockchain that people use for everyday actions (like smallscale payments). But if you want to think along those lines, one may do some reading. Afaik Cardano has some papers. Maybe they are fun..

47 min later 27838162 Anonymous
What does type theory have to do with crypto?

48 min later 27838253 Anonymous
>>27835291 you don't have to be high IQ to understand democracy is retarded. you just have to stop mistaking your vote with your freedom, then it will all fall in place.

48 min later 27838295 Anonymous
>>27836094 I'd imagine to be the opposite, you'd make less money short term, but you'd be able to spot projects with good fundamentals for the long term.

50 min later 27838409 Anonymous
>>27836314 I meant why does the answer to Riemann's hypothesis lie in our understanding of trigonometry?

51 min later 27838516 Anonymous
>>27834426 we'll probably skip right over zk proofs. Too little we currently accomplish with them, and we'll probaby have a better solution before we really unravel them.

51 min later 27838539 Anonymous
>>27836314 Give me some recommendations to get started on math in cryptography. I've been needing to begin researching and understanding these equations, but I'm looking for a good starting point

52 min later 27838566 Anonymous
>>27834426 this, ZKPs are the future.

53 min later 27838669 Anonymous (this.jpg 1254x702 130kB)
>>27835638

54 min later 27838742 Anonymous
>>27834197 Just started learning about algorithmic trading Reading this: https://www.quantstart.com/articles /Best-Programming-Language-for-Algo rithmic-Trading-Systems

55 min later 27838824 Anonymous
>>27837969 Thoughts on ETH sharding? They aren't the first movers in doing so, can they beat out the others?

1 hours later 27839362 Anonymous (Tello.png 1666x1116 3340kB)
>>27838162 I'm generally a dependent type theory shill and so it was the first thing I grabbed when searching for a programming related pic for the thread. But you can well argue that smart contracts and variants of the contract are the perfect usecase for a verbose maximally secure type system. I don't know Rust but I feel that, for that reasons, it's also more suited for contracts than e.g. C++ is in Bitcoin. >>27838409 Where do you draw that formulation from? The Riemann zeta function relates to e.g. \sin through both having to do with "all the natural numbers". The product over all primes p of the expression 1/(1-p^{-2}) being equal to \pi^2/6 makes sense if you look at all small bridges (\pi naturally popping up when considering quadratic forms x^2+y^2, the product over primes being a sum over all numbers with exponentials, etc.) But this is indeed something for /mg/ on /sci/ I'd say >>27838539 Broad field, what are you interested in? If you mean Bitcoin, maybe the Mastering Bitcoin book is still a good entry point. I haven't read it. >>27838566 Shill a text and let's read it. >>27838742 I've coded up a trading bot before (basic scalping), but personally it's not what I'm interested in much. >>27838824 Not qualified to judge the big progress on the chains. Seem to me all those project set themselves deadlines 2 years to soon on average

1 hours later 27839656 Anonymous
>>27839362 >But you can well argue that smart contracts and variants of the contract are the perfect usecase for a verbose maximally secure type system. I agree. Smart contract auditing is unnecessary centralization. It would be interesting to apply resourceful type theories to accurately predict (ideally, tightly upper bound) gas fees.

1 hours later 27839728 Anonymous (1601424526426.jpg 736x1031 77kB)
>>27834197 Do I really have to learn solidity if I want a job in this field? i hate the language and think it's dogshit, personally

1 hours later 27840010 Anonymous
>>27838539 start with number theory/abstract algebra before you go into crypto, since it really is just applied number theory, which is just a specific instance of abstract algebra i regret not taking my uni's crypto class last year

1 hours later 27840155 Anonymous
>>27837144 based and hermeticism-pilled

1 hours later 27840173 Anonymous
>>27839728 Cardano is using Haskell so you could learn that. They also plan to create a system where you could use any programming languange and it’ll convert it it for you.

1 hours later 27840181 Anonymous
>>27834420 Sam Harris

1 hours later 27840210 Anonymous (of_sorts.gif 899x455 224kB)
>>27839728 If "this field" is crypto, then no, there's lots of other work. >>27839656 The auditing on top might not hurt, but much of it is indeed probably unnecessary, if you switch to a strong language. I said I don't know Rust but I have it in mind because I liked the language Libra had introduced 2 years ago ("Move"), which I even reviewed here https://youtu.be/7prwZpMtoGA which is Rust-like but has lots of more domain specific support. PS I will go online in 40 minutes and read this paper that I've digged up: (I make pomodoro study streams 50/10, same channel as the link above) https://arxiv.org/pdf/1804.06674.pd f

1 hours later 27840356 Anonymous
>>27839362 Another question/idea I've been pondering. Correct me if my understanding is incorrect. The current DeFi space/decentralized apps require some form of a gas or mover coin to operate. This ties into Web3.0 as a whole which were only really at the beginning of. How do you see web3.0 moving away from a user requiring financial investment to use any of the Dapps if at all? It doesn't seem possible with chains requiring to pay miners to move onto the next block; the incentive for Dapps to process data will always require the user's own finances, no?

1 hours later 27840586 Anonymous
>>27837089 How would you prove that every anonymous voter is human and part of the voting state?

1 hours later 27840726 Anonymous
>>27840210 I remember you from /dpt/, lol.

1 hours later 27840760 Anonymous
>>27840586 Could be a brainlet idea but my first thought would be hasing SSNs?

1 hours later 27841066 Anonymous (sauce.jpg 3072x4096 2259kB)
>>27840356 Speaking at large scale, validating/computing nodes will always require some bucks for their compute. But it's my understanding that indeed the issue with something like the current Ethereum setup is that too much of the scripts are backed in too close to the crypto layers, while they often could be delegated to other computing machines that just report back what you want. The algo in the arxiv, proposing an anonymous voting routine, is also requiring you to do cryptographic routines that would be far to costly onchain. Some years ago I implemented a universal Touring machine as a NEO smart contract https://github.com/Nikolaj-K/turing -complete-smart-contract/blob/maste r/contract.cs and the execution of 5+7 was priced at 40$ or so, lel. >>27840586 iirc it's a round-based approach with 2 or 3 rounds. People regist with public keys and then there's the magic that makes it happen that despite all pubic keys being public, nobody's vote is public (only the aggregate outcome) and, somewhat magically, nobody can vote twice. Jump in in 30 mins and we can discuss in 2h. >>27840726 >haskell! I only posted there 5 times max over the last years, but nice to see.

1 hours later 27841116 Anonymous
>>27834197 answer is 2

1 hours later 27841160 Anonymous
>>27834197 Scary

1 hours later 27841267 Anonymous
>>27837969 Thanks anon will do.

1 hours later 27841478 Anonymous
lets say im a third year math undergrad.... what types of courses should i take to be close to this stuff? there is a algebraic cryptography class at my uni so ill take that... but what else? analytic number theory? algebraic number theory? or am i better off studying mathematical finance and entering in through there?

1 hours later 27841634 Anonymous
>>27841478 im until now ive been focusing alot of analysis so im ahead in analysis and pdes and such (grad level) but only at a third year level in algebra and number theory

1 hours later 27841830 Anonymous
>>27837089 >Because? I secretly want to get rich to stop waging and spend my time studying Type Theory and maybe get a chance to contribute to it with something meaningful

1 hours later 27842032 Anonymous
>>27841478 I would say take some intro to cryptography class (or just read a book) so you know the basic primitives like rsa, elliptic curve, diffie-hellman key exchange, hashing functions etc.

1 hours later 27842317 Anonymous
>>27834197 BS in geophysics reporting in. I understand it somewhat slightly. Proofs have always been my weakness in math tho.

1 hours later 27842426 Anonymous
>>27834420 that fat chainlink guy

1 hours later 27842487 Anonymous
>>27842317 This is like saying math is your weakness in math. If you can’t do proofs you don’t understand what you’re doing.

1 hours later 27842638 Anonymous
>>27834426 >zero knowledge proofs what are the use cases for this? i know vitalik wrote some blog about it.

1 hours later 27843327 Anonymous (Goshira.jpg 763x559 56kB)
Starting to read in 5 mins here, break/discussion 50 mins later https://youtu.be/sBAyNAfZgqc

2.961 0.127