cryptographic proofs.md cyber entity cyber ฯ 0.04% TODO verifiable evidence of computation or statement correctness using cryptography Linked References crypto crypto/hash/features cryptographic proof cyber/context/distribution/128k cyber/context/distribution/1400k cyber/context/distribution/200k cyber/context/distribution/500k cyber/context/distribution/900k folding hash path accumulator incrementally verifiable computation neural TIR TASM compiler proof-carrying data reality of foundation models self-optimizing compilation Local Graph