ZK (Zero knowledge) proof for SHA-256: 312-byte proof, ~18µs verification | Heykuki News