The language they use looks surpisiningly like Verilog.
Programming Zero Knowledge Proofs: From Zero to Hero
71–80 of 170 posts
Re: Programming Zero Knowledge Proofs: From Zero to Hero
#72I recommend the moon math manual, it's a good way to learn this.
Re: Programming Zero Knowledge Proofs: From Zero to Hero
#73As someone with zero knowledge regarding Zero Knowledge Proofs in a programming context, can someone give me a basic explanation regarding the utility? I do understand the basic principle of ZKP’s, but as yet I’m failing to understand how this would be applied in industry.
Judging by job openings mention ZKP it's mostly used in some "crypto" BS.
Re: Programming Zero Knowledge Proofs: From Zero to Hero
#74As someone with zero knowledge regarding Zero Knowledge Proofs in a programming context, can someone give me a basic explanation regarding the utility? I do understand the basic principle of ZKP’s, but as yet I’m failing to understand how this would be applied in industry.
Judging by job openings mention ZKP it's mostly used in some "crypto" BS.
Blockchain development has spurred research that’s more broadly applicable in a number of cases and ZK proofs are one of the more exciting ones!
Re: Programming Zero Knowledge Proofs: From Zero to Hero
#75This is one of these technologies that is indistinguishable from magic.
Re: Programming Zero Knowledge Proofs: From Zero to Hero
#76This is one of these technologies that is indistinguishable from magic.
[deleted]
Re: Programming Zero Knowledge Proofs: From Zero to Hero
#77Earlier quoted context omitted.
Imagine you are Goldman Sachs and a client wants to make a 100mm USD wire transfer to one of their accounts at Citibank. How does citibank know that the account at GS has the money to cover this transfer? Right now, the way this works is essentially through a lot of trust and some guarantees by the fed. This has some downsides: because you need a lot of confirmations, it makes transfers take longer. Also, small playe…
> How does citibank know that the account at GS has the money to cover this transfer? At the moment this is all handled with Swift, and I’m not sure you what you gain from adding ZKPs. Depending on the transaction you might send a Swift MT799 with a pre-advice letter, a proof of funds letter, or a blocked funds letter. Again depending on what you’re doing you might need a MT760 to send a bank guarantee or some sort o…
This should not be down-voted
Re: Programming Zero Knowledge Proofs: From Zero to Hero
#78Earlier quoted context omitted.
You can prove that too with zk!
How could this look like?
You can use the MCCs of each tx, then generating a zk-proof that shows none of the MCCs in your account match restricted categories.
This requires cooperation from the "bank", ideally providing Merkle trees to make sure no tx is missing in the proof like it would be for a blockchain-based solution.
Re: Programming Zero Knowledge Proofs: From Zero to Hero
#79As someone with zero knowledge regarding Zero Knowledge Proofs in a programming context, can someone give me a basic explanation regarding the utility? I do understand the basic principle of ZKP’s, but as yet I’m failing to understand how this would be applied in industry.
I come from a traditional finance background. One underappreciated possible role for ZKP is in compliance. Eg Goldman Sachs could encode all their compliance rules in a program, and publish a proof that their books pass the check by that program, without revealing anything about their accounting. More crypto focussed: suppose you build a 'better FTX'. You could publish a proof that you ain't hiding an Alameda, ie tha…
I am building in the mortgage origination space and have these sorts of enhancements on the drawing board... you hit the nail on the head that the bottleneck will be in QC and legal review, as 3rd-parties (especially regulators) may want to manually see the data you used to reach the conclusions you did. Although I'm still digging. You'd be interested in what we're creating btw, it's a crypto-based mechanism that enables instant digital mortgage origination, we should chat!