cryptographic proofs.md cyber entity cyber ฯ 0.04% TODO verifiable evidence of computation or statement correctness using cryptography Linked References comp crypto crypto/hash/features cryptographic proof folding hash path accumulator incrementally verifiable computation neural techniques for trident neural TIR TASM compiler proof-carrying data reality of foundation models self-optimizing compilation Local Graph