I’ve been experimenting with a deterministic identity layer for zero-knowledge circuits, where the Verifying Key (VK) itself becomes a unique fingerprint of the circuit’s identity.
Instead of trusting off-chain VK distribution, I derive a reproducible hash (SHA256) of the VK text and treat it as the canonical identifier — so any node (prover, aggregator, or verifier) can confirm circuit origin without serializing or deserializing arbitrary state.
This approach ensures sovereign verification and prevents circuit forgery without relying on external authorities.
Has anyone in the Zcash ecosystem explored similar deterministic VK hashing for circuit attestation?
| Circuit 1 (original) | y = 4x |  Accepted |
|---|---|---|
| Circuit 2 (modified) | y = 3x |  Rejected |
🔍 Hash VK received: db34e1143e5f0a2d86e9c7aa3c53b693b452955de834eba931103545d9504b96
🔍 Hash VK expected: 3df137b5197f210182d8ddb8841810ee71df8afc0dfff06c838cb57729538472
❌ VK invalid — rejected and not stored!