pull down to refresh

Are there any tools that apply zero knowledge proofs, much like GPG for ZK?
4332 sats \ 5 comments \ @denationalized 8 Mar 2024 crypto
Are there any tools that I could use from a Linux terminal or Python's API in order to learn application of zero knowledge proofs? Akin to the way using openssl, ssh, and gpg improved my life and my OPSEC allowing me in the process to learn the basics of symmetric and asymmetric encryption. I mean useful and rather minimalist tools. I am not asking for shitcoins or bloated GUIs.
write
preview
related posts
482 sats \ 0 replies \ @nout 8 Mar 2024
Try looking into SNARKs and STARKS and languages like Cairo, but I'm not sure if that matches what you will need...
reply
159 sats \ 0 replies \ @BlueSlime 8 Mar 2024
https://github.com/jimmysong/programmingbitcoin
I would suggest following the book and examples to build your own cryptography library, then go from there.
You can also find code examples of ripemd160 and sha256 hash algorithms in python.
That will give you the tools for most ZKP applications.
You can also ask ChatGPT to write you the code for certain cryptography primitives, and then you can refactor it to your liking.
reply
100 sats \ 1 reply \ @tomlaies 8 Mar 2024 freebie
Not for cli but the absolute basics are pretty easy to calculate yourself. E.g. calculating a discrete log. Or the Rivest-Shamir-Wagner Time Lock Puzzles. Or proof-of-posession with hash functions or merkle trees. Takes 20 lines of python code tops.
However, not advisable for real life opsec. More for learning and out of interest.
You mentioned symmetric and asymmetric encryption. Have you considered signature schemes as well? Very rarely usecases for zk-proofs actually need more than asymmetric signatures.
5 sats \ 0 replies \ @037447d9ca 8 Mar 2024
you could play with noir
reply