News for hackers. Stuff that matters.

A comment on Having a safe CEX: proof of solvency and beyond.

Re:Having a safe CEX: proof of solvency and beyond by panic on Monday November 21, 2022 @02:53AM (#33689996)
Are there any applications of zk-SNARKS outside cryptocurrency?
[ Parent | on HN ]
Re:Having a safe CEX: proof of solvency and beyond by web3isgoing on Monday November 21, 2022 @03:33AM (#33690233)
Verifiable computation. See Pinnochio and RISC Zero.

https://eprint.iacr.org/2013/279.pdf

https://www.risczero.com/

[ Parent | on HN ]
Re:Having a safe CEX: proof of solvency and beyond by siftrics on Monday November 21, 2022 @03:02AM (#33690043)
Yes, absolutely. In a fully public voting ledger, you could manually verify each vote is associated to a unique national identifier without revealing it.

E.g., this vote corresponds to an SSN that hasn't cast any other vote, without revealing the SSN in question.

[ Parent | on HN ]
Re:Having a safe CEX: proof of solvency and beyond by unintendedcons on Monday November 21, 2022 @03:13AM (#33690113)
Looking forward to trying this!

Any implementations?

[ Parent | on HN ]
Re:Having a safe CEX: proof of solvency and beyond by ricochet11 on Monday November 21, 2022 @03:29AM (#33690219)
zk'ing machine learning. hide the inputs for privacy.

https://0xparc.org/blog have a bunch of cool things like https://www.heyanon.xyz/

also the S part being succinct is useful without the zk parts too!

[ Parent | on HN ]