cryptographic proof.md cyber entity cyber ฯ 0.05% TODO mathematical proof that a statement is true without revealing underlying data cryptography cryptographic proofs Linked References folding hash function selection homomorphy incrementally verifiable computation math soft3 trident zero knowledge Local Graph