Kontor Proof-of-Retrievability Specification
Read the complete cryptographic specification for storage proofs (PDF)
Key Topics Covered
- Multi-file proof aggregation with File Ledger construction
- Challenge derivation from Bitcoin block entropy
- Nova IVC circuit design with Poseidon hashing
- Spartan SNARK compression for compact proofs
- Security analysis and computational assumptions