[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/biz/ - Business & Finance


View post   

File: 18 KB, 662x696, 11-Figure3-1.png [View same] [iqdb] [saucenao] [google]
27834197 No.27834197 [Reply] [Original]

Crypto math and programming thread.

What do you want to talk about?
Anything of this sort goes.

>> No.27834420

>>27834197
who is your favorite philosopher?

>> No.27834426

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.

>> No.27835076
File: 237 KB, 1024x963, cr_voting.jpg [View same] [iqdb] [saucenao] [google]
27835076

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

>> No.27835291

>>27835076
>mathematics
>elections
>crypto
you seem smart OP, is democracy as retarded as we all think it is?

>> No.27835517
File: 115 KB, 309x475, 91953.jpg [View same] [iqdb] [saucenao] [google]
27835517

>>27835291
>democracy
Has never been tried

>> No.27835598

>>27835076
>Stirner and Land
Based.

>> No.27835638

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.

>> No.27835746

>>27834420
Plato

>> No.27835830

>>27834197
Which cryptos do you hold?

>> No.27835927

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

>> No.27836032

>>27835927
>>27834197
And what do circles have to do with the random distribution of prime numbers?

>> No.27836060

>>27834420
Why Schopenhauer of course.

>> No.27836094

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

>> No.27836314
File: 76 KB, 1195x1024, Zeta_polar.svg.png [View same] [iqdb] [saucenao] [google]
27836314

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

>> No.27836635

>>27834197
You're making me feel the void inside me again.

>> No.27837089
File: 250 KB, 766x996, youf.jpg [View same] [iqdb] [saucenao] [google]
27837089

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

>> No.27837144

>>27834420
Rene Guenon
Julius Evola

>> No.27837395

>>27834197
Based lambda calculus retard

>> No.27837524

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.

>> No.27837969
File: 615 KB, 1024x792, holidays.jpg [View same] [iqdb] [saucenao] [google]
27837969

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

>> No.27838162

What does type theory have to do with crypto?

>> No.27838253

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

>> No.27838295

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

>> No.27838409

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

>> No.27838516

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

>> No.27838539

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

>> No.27838566

>>27834426
this, ZKPs are the future.

>> No.27838669
File: 128 KB, 1254x702, this.jpg [View same] [iqdb] [saucenao] [google]
27838669

>>27835638

>> No.27838742

>>27834197
Just started learning about algorithmic trading
Reading this:
https://www.quantstart.com/articles/Best-Programming-Language-for-Algorithmic-Trading-Systems

>> No.27838824

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

>> No.27839362
File: 3.19 MB, 1666x1116, Tello.png [View same] [iqdb] [saucenao] [google]
27839362

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

>> No.27839656

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

>> No.27839728
File: 76 KB, 736x1031, 1601424526426.jpg [View same] [iqdb] [saucenao] [google]
27839728

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

>> No.27840010

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

>> No.27840155

>>27837144
based and hermeticism-pilled

>> No.27840173

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

>> No.27840181

>>27834420
Sam Harris

>> No.27840210
File: 219 KB, 899x455, of_sorts.gif [View same] [iqdb] [saucenao] [google]
27840210

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

>> No.27840356

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

>> No.27840586

>>27837089
How would you prove that every anonymous voter is human and part of the voting state?

>> No.27840726

>>27840210
I remember you from /dpt/, lol.

>> No.27840760

>>27840586
Could be a brainlet idea but my first thought would be hasing SSNs?

>> No.27841066
File: 2.15 MB, 3072x4096, sauce.jpg [View same] [iqdb] [saucenao] [google]
27841066

>>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/master/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.

>> No.27841116

>>27834197
answer is 2

>> No.27841160

>>27834197
Scary

>> No.27841267

>>27837969
Thanks anon will do.

>> No.27841478

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?

>> No.27841634

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

>> No.27841830

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

>> No.27842032

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

>> No.27842317

>>27834197
BS in geophysics reporting in.

I understand it somewhat slightly. Proofs have always been my weakness in math tho.

>> No.27842426

>>27834420
that fat chainlink guy

>> No.27842487

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

>> No.27842638

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

>> No.27843327
File: 55 KB, 763x559, Goshira.jpg [View same] [iqdb] [saucenao] [google]
27843327

Starting to read in 5 mins here, break/discussion 50 mins later

https://youtu.be/sBAyNAfZgqc

>> No.27843994

>>27834197
Has anybody made anything useful on ethereum yet? Smart contract programming is absolute fucking aids because of immutability leaving so much room for exploits and bugs to fuck you. If you fix immutability with some sort of upgradeability scheme like OpenZeppelin, you just lose half the benefits of having a smart contract to begin with.

>> No.27844095

>>27841066
I think the magic part about nobody being able to vote twice and the integration of unforeseen happenings in the voting process is hard
i will stay here for the next hours

>> No.27844139

>>27839728
You can always learn Vyper for ethereum instead.

>> No.27844231

>>27844095
>I think the magic part about nobody being able to vote twice
Yes.

>i will stay here for the next hours
==> >>27843327

>> No.27844273

>>27842487
Shut up faggot.
There’s a difference between computational math and abstract math. Everyone knows 2+2=4 but few people can actually prove why with all 10 axioms. Kindmy shut the fuck up next time or I’ll murder your entire faggot family.

>> No.27844321

I've taken some calculus before, but I am not good at maths really. Any good books on introductory math for crypto?

>> No.27844799

I'm trying to get familiar with Solidity. Might cover some basic level to whore myself out as an blockchain architect.

>> No.27844896

>>27834197
Will Chainlink VRF enable the practical use of One Time Pads? Thanks

>> No.27845773

SpaceSwap

ok so in spaceswap there are 2 tokens SHAKE and MILK. If you own SHAKE you are getting MILK every 100k ethereum blocks. More shake you have=more milks you get. As supply of SHAKE is very limited a lot of people are already priced out so there is an idea:
>pool where people can generate milks with fractions of shake

how hard it will be to write a smartcontract that can make it trustless, safe for everyone etc? I have close to zero programming knowledge

https://etherscan.io/token/0x6006FC2a849fEdABa8330ce36F5133DE01F96189