#
snark
Here are 5 public repositories matching this topic...
A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone external to the secure computation, to check the correctness of the output, while preserving the privacy properties of the MPC protocol.
cryptography mpc threshold-cryptography snark secure-multi-party-computation zero-knowledge-compiler zero-knowledge-proof verifiable-mpc
-
Updated
Feb 20, 2024 - Python
A library for Zero-Knowledge Proofs, (verifiable) Fully Homomorphic Encryption, and related techniques
python c cryptography avx512 homomorphic-encryption zero-knowledge fhe snark verifiable-computation zkp ckks
-
Updated
Sep 20, 2026 - Python
Add this topic to your repo
To associate your repository with the snark topic, visit your repo's landing page and select "manage topics."