An educational Zero-Knowledge Range Proof (ZKRP) reference primitive that publicly verifies an integer midpoint relation using additively homomorphic Pedersen commitments and recursive Pocklington primality constraints.
cryptography number-theory fiat-shamir primality-testing zk-snarks range-proofs verifiable-computation zero-knowledge-proofs goldbach-conjecture pedersen-commitments security-prototype multi-precision-arithmetic schnorr-proof pocklington-criterion
-
Updated
Nov 6, 2026 - Python