Viewing profile — quantumgarbage

"it is a shot across the bow of the entire software industry"

Loved it, understanding and working through your vulnerabilities is super hard but ultra rewarding. Bold but very altruistic move to publish this

I think the point was not about truck culture, but anti-social behaviours

A result proving that the capacity conjecture of Ben-Sasson, Carmon, Ishai, Kopparty and Saraf (J. ACM '23) is false. This conjecture is being used by quite a few zkVM projects, to…

nice, my kids are going to have so many fond memories of their childhood thanks to your app

We are questioning the assumptions themselves, not the act of making them. (I don't feel like anyone is upset?)

Sure, that does not mean all models are equal. Economics both describe and prescribe, so those models should be evaluated on their predictive power and on whether they have actuall…

That isn't a vague strawman, that's a great point. Economists work from assumptions, which can be flawed in two ways: they can be blatantly wrong (see the work Kahneman and Tversky…

Sure, show us the numbers you got from your "further readings". Plenty of peeps are being much more factual below, compared to the gvt linguo that you are just rehashing rn

Not only tether is a "thing", its actually in the top 10 US bonds buyer. So this "thing" isn't a business anymore, but an actual, proper, geopolitical actor.

This is not an attack on hash functions in general. In this paper, the authors build a statement (or "circuit") which should, by construction, not have any accepting claim. Yet, th…

By "easy" I mean straightforward. Previous examples which showed how instantiating Fiat Shamir leads to an unsound protocol were so contrived that people use to think that they wer…

The protocol is in charge of producing the proof. Fiat Shamir is a heuristic, some kind of rule of thumb, which consists in using a hash function as a source of randomness. Cryptog…

Yes, what you are missing is that attacks on Fiat Shamir were very contrived up to now. However the paper shows that there in fact exists a pretty simple way to break the Fiat Sham…

> A modern sparse Transformer, for instance, is not "conscious," but it is an excellent engineering approximation of two core brain functions: the Global Workspace (via self-attent…

I think s/he meant swans instead (in ref. to Popperian epistemology). Not sure though, the point s/he is making isn't really clear to me as well

Look for the "Fiat Shamir heuristic" to understand the non interactive part. It basically consists in the prover getting its random challenges from hashing public inputs, rather th…

Ofc, since approx the 80s

Ah so I was right to scroll down to find a sane take

Like anyone, I'm always impressed by geniuses displaying hollywood cliché traits. But that's even more impressive when they are great humans too.