Viewing profile — Vervious

not again!

no, the article is talking about symmetric key crypto also. (i.e. one way functions). You're talking about cryptosystems that don't have proofs of security, or reductions to heuris…

1) It'd be really really awesome to show average-case hardness version of a natural problem (i.e. 3SAT on a natural distribution) from the worst-case hardness of that problem (i.e.…

That's completely unrelated, the reliance there is because you want to be able to prove "any statement in NP" in zero knowledge. It then suffices to give a protocol for just 3-colo…

Not sure it's misleading, he did write the word "technically", and anyone who knows what NP-complete is knows that NP-hard does not necessarily mean NP-complete. I am a cryptograph…

how do you know if an instance you picked is hard? Another problem with your suggestion: Do we even know that a 1/polynomial sized fraction of 3-coloring instances are hard? (Else …

tit for tat makes the U.S. more like the CCP, and less like the version of the U.S. that stands for freedom and democracy (that I presume you want to live in). if you want to live …

Raft has a problem where, in the protocol description, sometimes I have no idea why some line is there, but if you take it out the protocol comes to a grinding halt... it's really …

Makes sense!

I don’t see how you can read and understood Nielsen and Chuang in one sitting, unless you are already a quantum computation theorist. I also don’t see how reading what is essential…

why not go public? That would also probably be in the public interest.

I think the controversy was in making the observation

Maybe overall better for society, when a single ivory tower doesn’t have a monopoly on AI!

I think you're being a little selective in trying to show your point. Human-driven climate change is the biggest driver of ecological damage. Even the article you link to is based …

fyi carbon emissions directly causes global warming and ocean acidification, so yes, mitigating carbon emissions IS very important to help your desertification, rainforests, kelp f…

proof of stake blockchains certainly have leaders. MEV doesn't exist if there aren't designated block proposers

A blockchain (without all the bells and whistles) is definitionally equivalent to a state-machine or log replication system (but handling byzantine faults). (Each log entry is just…

Consensus protocol researcher here. For what it’s worth, I think that the plethora of blockchain research in the last 10 years has made consensus much easier to understand. Raft (i…

Not really; there are algorithms where many nodes propose proposals in parallel, but eventually only one of those proposals gets finalized (or they maintain only a partial ordering…

That said shamir's secret sharing is one of the easiest constructions to reason about so I think the risk is much smaller there

> "It does however have laws around registration of the security" This sounds a lot like the SEC dictating what can and can't be traded in the modern day. We can't trade something …

I mean, everyone hyping up kale as a supergreen on their social media doesn't make Kale --- the vegetable --- a security. Likewise, people shill GOLD on twitter all the time. Is go…

Well, in a libertarian world, the moral high ground is that we should be able to trade anything -- who is the SEC to tell us what we can't trade? It's almost like freedom of speech…

Sure. But it's an ELI5 "in addition to formalism", not "in lieu of formalism". In theory conferences like STOC or FOCS, the first section of the paper often comprises such an overv…