Re:Show HN: Anysphere, home for important, long-form convers...
by shengtongzhang on Monday August 15, 2022 @02:28PM
(#32473441)
Shengtong chiming in here. We are working on a rigorous security proof here https://anysphere.co/anysphere-security-definition.pdf. Included in it is a definition of metadata, a definition of exactly what we are defending against, as well as a rigorous proof of defense against adversaries that can manipulate packets. It is still work in progress, so there may be a lot of typos, but I believe it is a correct proof.
Let us know if there is anything else you want to be proved, or if the adversary in the paper is not strong enough :).
Specifically, what are you talking about protecting? Does this extend to deep packet inspection? Because your paper doesn't mention anything about that either. OR, you know, literally just talking to another server. You don't mention relays. You casually mention Tor in passing but make no concrete statements about the design of it by comparison.
Your paper isn't rigorous, your claims are superfluous, and they further attempt to discredit security progress across the entire field.
YOU are the only one who has ever created truly secure communication? Get real. What a complete joke.
It's like someone selling water and saying no one has ever created pure water before US.
Edit: If you want to appeal to security people, use plain language, be precise, and state your intentions. You do none of those things with this software.
Instead you:
* Use provably wrong marketing language
* Propose a provably wrong whitepaper
* Do not state your intentions for building the software
What it looks like to me is that you received some modest funding ($200,000) to write software and your sponsors didn't realize your work doesn't pass the smell test.