<![CDATA[Open source libraries for provable data and programmable cryptography]]>This post did not contain any content.]]>https://fedi.wiki/topic/034f9aa9-4cbc-4bae-9a41-c74808f6dd78/open-source-libraries-for-provable-data-and-programmable-cryptographyRSS for NodeSun, 26 Jul 2026 02:12:34 GMTMon, 13 Jul 2026 21:25:10 GMT60<![CDATA[Reply to Open source libraries for provable data and programmable cryptography on Tue, 14 Jul 2026 20:18:51 GMT]]>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.

]]>https://fedi.wiki/post/https://mitra.social/objects/019f6248-4763-7621-a3d3-95c1fdeef4achttps://fedi.wiki/post/https://mitra.social/objects/019f6248-4763-7621-a3d3-95c1fdeef4acTue, 14 Jul 2026 20:18:51 GMT<![CDATA[Reply to Open source libraries for provable data and programmable cryptography on Tue, 14 Jul 2026 06:13:39 GMT]]>I'm not sure it is different from regular signature. Afaiu, it's a programming language for composable zero knowledge proofs.

]]>https://fedi.wiki/post/https://fed.dyne.org/comment/3119966https://fedi.wiki/post/https://fed.dyne.org/comment/3119966Tue, 14 Jul 2026 06:13:39 GMT<![CDATA[Reply to Open source libraries for provable data and programmable cryptography on Mon, 13 Jul 2026 22:38:01 GMT]]>

POD enables internet users to store and share data that preserve its integrity.

It's not clear how this is better than regular signatures

]]>https://fedi.wiki/post/https://mitra.social/objects/019f5da1-517f-7b80-a115-f7e55a3c0b86https://fedi.wiki/post/https://mitra.social/objects/019f5da1-517f-7b80-a115-f7e55a3c0b86Mon, 13 Jul 2026 22:38:01 GMT