TODO
verifiable evidence of computation or statement correctness using cryptography
Graph
Mentions
- cybics/ai/reality of foundation models
- cybics/comp/folding
- cybics/comp/hash path accumulator
- cybics/comp/incrementally verifiable computation
- cybics/comp/proof-carrying data
- cybics/crypto/crypto
- cybics/crypto/features
- cybics/crystal/cryptographic proof
- cybics/crystal/neural TIR TASM compiler
- cybics/crystal/self-optimizing compilation