TODO
verifiable evidence of computation or statement correctness using cryptography
cryptographic proofs.md
ฯ 0.04%
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