Davide Mancuso @atomictag

There's no sex. There's very little violence. There are dinosaurs though. facebook.com/atomictag iPhone: 47.372799,8.540436 Joined May 2009

Tweets

2K
Followers

222
Following

828
Likes

160

Davide Mancuso @atomictag

a year ago

@AnnaRRose Zurich!

0 0 0 127 0

View Details

@eastdakota Had a different experience, but it's alright. I assume you were there too and know what you are talking about so I respect your criticism - or gratuitous mocking, whatever works for you ✌️

0 0 20 2K 0

View Details

Davide Mancuso @atomictag

2 years ago

@luhelminger Super interesting, thanks! I didn't mean to be negative in my observation, and I am certainly very optimistic about the future. I guess what I wanted to say is that a concretely efficient NI MPC à la MrNISC would find a myriad of real-life use cases already today

0 0 0 20 0

View Details

Davide Mancuso @atomictag

2 years ago

@lastmjs 7) By giving huge tax breaks to the riches. Lucky you 8) With tariffs that make no sense to anyone 9) Ridiculous if knew what you're talking about 10) None 11) Good luck with RJK. Seriously.

0 0 0 39 0

View Details

Davide Mancuso @atomictag

2 years ago

@lastmjs 1) Which one blocked a tough bi-partisan solution? 2) Nobody does (or wants to) murder babies. For real. 3) Which one still claims voter fraud when there was none? 4) The US no longer capable of that. Sorry. 5) Sure,and Epstein too 6) Hehe. World Liberty Financial? Foster scams?

0 0 1 56 0

View Details

Davide Mancuso @atomictag

2 years ago

@cryptodavidw why?It's basically vector y = ax + b.Useful in many contexts.Can be done fairly easy with OT (e.g. to get input labels in BMR16 garbled circuits),or GCs and of course w/ sharings - like many other primitives.Many cool apps call for LE so giving it a name is not so bad IMHO

0 0 0 44 0

View Details

Davide Mancuso @atomictag

2 years ago

@viv_boop @cursive_team @andrewlu_ Yes! For 2PC: 1 msgs client->server + 1 msg server->client x2 (at start & end of compute). Circuits are arithmetic BMR16 / Yao + FreeXOR + Half gates or a mix, produced via a simple JS DSL (WIP). Auctions are my main use case for MPC (small M) as they are quite generic

0 0 0 17 0

View Details

Davide Mancuso @atomictag

2 years ago

@weikeng or you can do the inverse FFT of the G1 crs once at setup time (for a given domain size) and then a commitment is basically a MSM of the evaluations (= polynomial in lagrange form) with that vector. Faster than interpolating evaluations to get the coefficients and then commit

1 0 1 61 0

View Details

Davide Mancuso @atomictag

2 years ago

@zksecurityXYZ I was mind blown by this paper when it came out 🙏. Very useful for OT extensions too. And one of the very few protocols that allow the OT sender to verify the receiver's input (e.g. commitment to an n-bit string signed by a trusted issuer). Awesome

0 0 0 65 0

View Details

Davide Mancuso @atomictag

2 years ago

@ProfNoahGian My trick: LATitude ~ LATeral, that is "left and right" so horizontal. LONGitude ~ LONG as in "long distance", that is "in front" so vertical. 🤷‍♂️

0 0 0 17 0

View Details

Davide Mancuso @atomictag

2 years ago

@lastmjs TBH it all boils down with the narrative of "ndependent node providers" vs big cloud- custom HW + small corps vs consumer HW + big tech. It works as long as there are enough incentives to build/maintain/buy the HW and few incentives for big actors to play the "majority" game

0 0 0 27 0

View Details

Davide Mancuso @atomictag

2 years ago

@cryptodavidw

0 1 2 597 0

View Details

Davide Mancuso @atomictag

2 years ago

@alinush Great post, thank you for this. I like to think of the L_i(0) (which can be computed given only the x_i in T without having to compute L_i(x) and evaluate at 0) as a way to convert s_i "interpolating" shares into additive shares by multiplying each share i by its L_i

0 0 1 46 0

View Details

Davide Mancuso @atomictag

2 years ago

@cryptodavidw Nobody likes that, it's annoying AF. OTOH you can see that as an imperfect, naive attempt to raise awareness of some important issues that have currently no widespread understanding/solution.Ppl complain about speed bumps as well - imperfect, annoying, until smth better arises

0 0 0 71 0

View Details

Davide Mancuso @atomictag

3 years ago

@dominic_w @VitalikButerin AFAICT the proof here is created browser-side with Polygon Miden (and it's a very simple and therefore fast one) only verification is done by the contract. Usually the prover is the bottleneck, not the verifier. I wonder why it would cost thousands $$$ on ETH or anywhere else