A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system
Secret Sharing Algorithms implemented in .net
Command-line application demonstrating the mathematical working of non-interactive ZK Proofs of discrete log problem. Also called the Schnorr signature scheme.
Helper methods enabling authentication without compromising the password and without shared or public keys.
Browser-based weak Fiat-Shamir demo — Frozen Heart, Trail of Bits 2022. Fiat-Shamir replaces the verifier's random challenge with a hash — sound only if it covers everything. Omit the public key and forge a Schnorr proof of a false statement that the real verifier accepts. No backends. No simulated math.
Add a description, image, and links to the non-interactive-zero-knowledge topic page so that developers can more easily learn about it.
To associate your repository with the non-interactive-zero-knowledge topic, visit your repo's landing page and select "manage topics."