8,115 karma · joined August 5, 2012
Working on Fully Homomorphic Encryption at Google (see https://heir.dev)
Come say hi at j2kun@mathstodon.xyz
And then it incentivizes people to make good forks, like neovim vis-a-vis vim.
Could this be simpler and more efficient without ZK?
For cryptography, perhaps you would enjoy reading the paper of Diffie and Hellman that proposed public-key crypto: https://ee.stanford.edu/~hellman/publications/24.pdf
You will find they were inspired by the NP-hard knapsack problem, and inspired a bunch of later research that led to RSA.
I think the tapestry of history would suggest the answer to the question "is math responsible for this invention" a lot more complicated than it appears. For lasers, Einstein proposed the idea based on purely theoretical physics, and it was made possible in 1960. Is that "theoretical math leading to the invention of lasers"? Surely he was at least relying on a lot of additional theoretical work for that. On the other hand, much theoretical that came out of Bell Labs were responses to needs for better vacuum tube technology, better amplifiers, etc., which were a deep collaboration between theory, practice, and tradesman with a strong intuition for how to build with various materials and at varying scales.
And more, you are AI-generating listings and images for your acquired brands. You're filling Amazon with slop, and automating the process.
You should seriously reflect on your role in polluting these marketplaces.
"I acquire e-commerce brands that sell on Amazon"
Honestly it sounds like the OP is part of the machine that makes Amazon such a trashy marketplace these days.
[1]: https://theautomatedoperator.substack.com/p/15-ways-im-using...
If the US gov't passed laws and enforced them strongly, this problem could be solved the same way the gov't solves it: air-gapping the networks on which they do this work.
I much prefer the element of chaos and trying to give people clues based on what you think they, based on their individual personality, would do.
Optimizing a game is fun in its own right (my colleague even published a paper with the best known Hanabi strategy: https://doi.org/10.4169/math.mag.88.5.323), but then trying to use that strategy to play the game is immensely dull.
https://scholar.google.com/scholar?hl=en&as_sdt=0%2C38&q=%22...
https://github.com/google/fully-homomorphic-encryption/tree/...
That said, there is a lot of ongoing work on GPU acceleration. Cf. the recent FHE-based CIFAR demo that runs in 200ms: https://sofar.belfortlabs.cloud/
Still maybe 1000x slower than cleartext, but progress!
There are some instances of hand-built cryptographic protocols used in production at Google that use FHE in small doses (e.g., computing a single dot product as part of an interactive protocol), so the big question is whether having a general-purpose tool will expand the feasibility of applying these to other, maybe less critical projects that still want some privacy guarantees but can't afford to hire cryptographers.
Conversely, the way things become deep is because we intellectualize them.
> In late July, the Metro Council approved new zoning and related restrictions on data center development and implemented a moratorium on new permit approvals to run through Dec. 1.