# Provable

Provable builds cryptographic integrity infrastructure for time-ordered data, media, databases, and real-world assets.

## Core products

- Kayros: high-throughput cryptographic integrity for time-ordered data and events.
- Oliver: frame-level cryptographic integrity and authentication for media, visual evidence, and real-world asset records.
- Carpe!: record-level cryptographic integrity for databases and device data.

## Main website

- Homepage: https://provable.dev/
- Blog index: https://provable.dev/blog/
- Proof viewer: https://provable.dev/proof.html
- Privacy: https://provable.dev/privacy/
- Terms: https://provable.dev/terms/

## Product and related URLs

- Oliver: https://oliver.provable.dev/
- Provable SDK: https://github.com/kuip/provable-sdk
- Provable on X: https://x.com/is_provable

## Summary

Provable focuses on tamper-evident, cryptographically verifiable, time-ordered records for high-trust systems. The main products highlighted on the website are Kayros, Oliver, and Carpe!. The blog at `https://provable.dev/blog/` contains markdown-authored articles about integrity systems, timestamping, evidence workflows, and related product decisions.