Settoletto 🍤MA to Cryptography · 22 days agoOpen source libraries for provable data and programmable cryptographypod.orgexternal-linkmessage-square3linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkOpen source libraries for provable data and programmable cryptographypod.orgSettoletto 🍤MA to Cryptography · 22 days agomessage-square3linkfedilink
minus-squareSettoletto 🍤OPMAlinkfedilinkarrow-up1·21 days agoI’m not sure it is different from regular signature. Afaiu, it’s a programming language for composable zero knowledge proofs.
minus-squaresilverpill@mitra.sociallinkfedilinkarrow-up1arrow-down1·21 days agoI mean they don’t provide any good examples of how this technology could be used. There is one real use case for ZKP: private payments. It seems that there is no demand for other applications.
I’m not sure it is different from regular signature. Afaiu, it’s a programming language for composable zero knowledge proofs.
I mean they don’t provide any good examples of how this technology could be used.
There is one real use case for ZKP: private payments. It seems that there is no demand for other applications.