Quadratic memory reductions for Zero-knowledge Proofs

I've been thinking about ZKP's a lot recently. Using them we could perhaps build interesting and useful decentralised social media protocols. You could create a union at your workplace where you make agreements with everyone but you only communicate directly with your closest colleagues. You could create anonymous groups of doctors in a certain region that listen to reggae three times a week that think it would be worth renovating the cafeteria.

It would be a better foundation for the social contract than tick tock videos. But you'd need to make ZKP understandable and interactive for the average user.

Re: Quadratic memory reductions for Zero-knowledge Proofs

#7

Post by random3 » Wed, Sep 24, 2025, 6:31 AM UTC

tt349292 wrote: post #5

iberator wrote: post #4

Is this real or AI?

I think it's not real. https://www.andrew.cmu.edu/cgi-bin/search?type=3&name=L "lnye@andrew.cmu.edu" doesn't seem to be a real user. https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=loga... There seems to be a lot of slope with no citations. I think this submission should be flagged.

you post this from an account created 3 weeks ago with karma 3 based on an email search?

Re: Quadratic memory reductions for Zero-knowledge Proofs

#8

Post by lanternfish » Wed, Sep 24, 2025, 6:39 AM UTC

worldsayshi wrote: post #6

I've been thinking about ZKP's a lot recently. Using them we could perhaps build interesting and useful decentralised social media protocols. You could create a union at your workplace where you make agreements with everyone but you only communicate directly with your closest colleagues. You could create anonymous groups of doctors in a certain region that listen to reggae three times a week that think it would be wo…

The problem is the same problem with crypto dao projects - cryptographic certainties only apply to mathematical structures; you can't validate that someone actually holds a quality until you can embed that digitally. That turns out to be very hard to do for most things.

Re: Quadratic memory reductions for Zero-knowledge Proofs

#9

Post by joe_the_user » Wed, Sep 24, 2025, 6:49 AM UTC

random3 wrote: post #7

tt349292 wrote: post #5

Earlier quoted context omitted.

I think it's not real. https://www.andrew.cmu.edu/cgi-bin/search?type=3&name=L "lnye@andrew.cmu.edu" doesn't seem to be a real user. https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=loga... There seems to be a lot of slope with no citations. I think this submission should be flagged.

you post this from an account created 3 weeks ago with karma 3 based on an email search?

The argument doesn't depend on the users karma

Plus the lack of scholar cites for any of the users papers is more damning than the email search - but they work together.

Re: Quadratic memory reductions for Zero-knowledge Proofs

#10

Post by yorwba » Wed, Sep 24, 2025, 6:52 AM UTC

tt349292 wrote: post #5

iberator wrote: post #4

Is this real or AI?

I think it's not real. https://www.andrew.cmu.edu/cgi-bin/search?type=3&name=L "lnye@andrew.cmu.edu" doesn't seem to be a real user. https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=loga... There seems to be a lot of slope with no citations. I think this submission should be flagged.

https://www.cmu.edu/swartz-center-for-entrepreneurship/educa... lists a certain "Logan Nye, MD". It doesn't give his email address, but I checked a few of the other people and their email addresses don't turn up with the search you linked either.

So I think the GitHub user logannye is most likely a real master's student at CMU, but that doesn't mean he isn't also mass-producing papers of questionable validity with AI.