| ▲ | Quadratic memory reductions for Zero-knowledge Proofs(github.com) |
| 73 points by logannyeMD 11 hours ago | 21 comments |
| |
|
| ▲ | gsf_emergency_2 5 hours ago | parent | next [-] |
| This entity is sentient enough not to publish on arxiv medrxiv or biorxiv, where they will surely be red-flagged for self citations and single-authorship Their most believable and unsensational works are in generative histopathology http://dx.doi.org/10.1200/jco.2023.41.16_suppl.e23500 https://doi.org/10.1200/jco.2023.41.16_suppl.e13592 Meeting abstracts (you can think of them as posters or talks given by interns) >The trained model’s validation accuracy of 73.7% improves upon past reported methods. Mediocre performance, but at least those papers have coauthors |
| |
| ▲ | aleph_minus_one 4 hours ago | parent [-] | | > they will surely be red-flagged for self citations and single-authorship Where is the problem with single-authorship? | | |
| ▲ | gsf_emergency_2 2 hours ago | parent [-] | | I don't see a problem personally but single, or more strictly speaking, for medical journals, --even medrxiv-- unaffiliated authorship is a (internal) filter |
|
|
|
| ▲ | dathinab 3 hours ago | parent | prev | next [-] |
| I always feel that if normal E2EE is very hard to do correctly the moment you add use cases which require zero knowledge proofs it's a x5-x10 complexity explosion on top of it. And that is in context where most companies will severely struggle to do E2EE right. |
|
| ▲ | worldsayshi 7 hours ago | parent | prev | next [-] |
| 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. |
| |
| ▲ | lanternfish 7 hours ago | parent [-] | | 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. | | |
| ▲ | eru 6 hours ago | parent [-] | | Yes, what Zero Knowledge proofs give you however is composability. Eg suppose you have one system that lets you verify 'this person has X dollars in their bank account' and another system that lets you verify 'this person has a passport of Honduras' and another system that lets you verify 'this person has a passport of Germany', then whether the authors of these three systems ever intended to or not, you can prove a statement like 'this person has a prime number amount of dollars and has a passport from either Honduras or Germany'. I see the big application not in building a union. For that you'd want something like Off-The-Record messaging probably? See https://en.wikipedia.org/wiki/Off-the-record_messaging Where I see the big application is in compliance, especially implementing know-your-customer rules, while preserving privacy. So with a system outlined as above, a bank can store a proof that the customer comes from one of the approved countries (ie not North Korea or Russia etc) without having to store an actual copy of the customer's passport or ever even learning where the customer is from. As you mentioned, for this to work you need to have an 'anchor' to the real world. What ZKP gives you is a way to weave a net between these anchors. | | |
| ▲ | alfiedotwtf 6 hours ago | parent [-] | | Wow, that’s a neat idea - composable but verifiable notaries! | | |
| ▲ | eru 5 hours ago | parent [-] | | Well, they have to be verifiable offline (or sort-of offline) as a prerequisite. ZKP gives you the composition. |
|
|
|
|
|
| ▲ | DustinBrett 8 hours ago | parent | prev | next [-] |
| Yep, those are indeed words in that README. That much I am pretty sure of. |
| |
| ▲ | DeepYogurt 8 hours ago | parent [-] | | I read it to essentially mean that the cost of scaling a system just dropped a lot |
|
|
| ▲ | iberator 7 hours ago | parent | prev [-] |
| Is this real or AI? |
| |
