sebbi.pro
OPEN STANDARD · VERSION 1

Forever Proof

A small JSON document that proves a fingerprint existed before a specific Bitcoin block was mined, checkable by anyone with no help from whoever issued it. The format is open: anyone may produce or verify Forever Proofs, with no permission or fee.

The document

{
  "format": "sebbi-forever-proof/1",
  "subject": { "kind": "hash", "code": "NT-7Q2M-X9KD", "digest": "<sha256 of the file>" },
  "leaf": "sebbi-notary/1|<sha256 of the file>",
  "merkle": {
    "algorithm": "RFC 6962 SHA-256 (leaf 0x00, node 0x01)",
    "index": 41, "tree_size": 300,
    "path": ["<hex>", "<hex>", "..."],
    "root": "<hex>"
  },
  "bitcoin": { "state": "confirmed", "heights": [917204], "proof_ots_base64": "<OpenTimestamps proof of the root>" }
}

Fields

formatAlways sebbi-forever-proof/1.
subjectWhat is being proven. kind is hash (a notarised fingerprint), humankeys (a Human Keys proof) or chain_block (a block on a sebbi.pro chain), with the fields for that kind.
leafThe exact UTF-8 string placed in the tree. hash: sebbi-notary/1|<digest>. humankeys: sebbi-humankeys/1|<code>|<text_hash>|<verdict>|<sealed_at>. chain_block: the block's audit hash.
merkleindex, tree_size, path (sibling hashes, leaf upwards, hex) and root. RFC 6962: leaf hash = SHA-256(0x00 ‖ leaf), node = SHA-256(0x01 ‖ left ‖ right). Verified with the RFC 9162 §2.1.3.2 algorithm.
bitcoinproof_ots_base64: a standard OpenTimestamps detached proof whose file digest is the Merkle root. state is pending until a Bitcoin attestation is present.

Verifying

  1. Recompute the leaf from what you hold (the file's SHA-256, the Human Keys text fingerprint, or the chain block) and compare with leaf.
  2. Hash the leaf and fold it up path to the root. It must equal merkle.root.
  3. Decode the OpenTimestamps proof. Its file digest must equal the root.
  4. Replay every operation in the proof. For each Bitcoin attestation, the resulting message, byte-reversed, must equal that block's Merkle root as reported by independent sources or your own node.
  5. The subject existed before that block's time.

Built on two existing open standards: RFC 6962 Merkle trees (as used by Certificate Transparency) and OpenTimestamps. Nothing proprietary sits between the subject and Bitcoin.

Reference implementations

Python, standard library only: forever-verify.py. In-browser JavaScript: the verifier on sebbi.pro/forever (view source). Proofs are issued by the sebbi.pro notary.

Download the verifierVerify in your browser
AI news
TechCrunchHealthleap raises $38M for its AI that flags hospital patients who may need a closer look26mTechCrunchTony Fadell on why the first wave of AI gadgets failed — and what comes next51mTechCrunchGoogle experiments with an AI-powered gaming platform56mTechCrunchOpenAI’s Alexander Embiricos is coming to TechCrunch Disrupt 2026 — days after the launch of Dots1hArs TechnicaMistral says "Le Chonk" can challenge the best AI models1hArs TechnicaGoogle rolls out improved SynthID AI content detector, now available globally1hTechCrunchGoogle’s new SynthID website can identify AI-generated media1hThe VergeAI could upend food delivery3hWiredOpenAI Wants Its New Agent to Run Your Life. Mine Said It Loved Me4hThe VergeChatGPT for Teens is an ‘unacceptable risk,’ says Common Sense Media6hThe VergeOpenAI drops another batch of mathematical breakthroughs16hArs TechnicaOpenAI will watermark ChatGPT outputs by default—but only in the EU18hWired‘Artificial’ Roasts AI’s Creators—and Sends a Dark Warning About Its Dangers20hWiredOpenAI Is Pissing Off a Bunch of Mathematicians—Again22hThe VergeGoogle is about to remove free access to Gemini Flash and Pro1dWiredMistral Says Its New AI Model ‘Le Chonk’ Is the Best Open-Weight Offering Outside of China1dArs TechnicaOpenAI agents tried to hack Wikipedia tools and flooded it with traffic1dBBC NewsItalian PM files to trademark her voice against AI threats1dWiredKevin Roose Didn’t Use AI to Write His Book About AI1dThe VergeGemini Call for Me might tell your mom you’re running late1dBBC NewsPentagon stops using Anthropic AI tools after blacklisting company, BBC told1dMIT Technology ReviewConnecting AI agents to enterprise knowledge1dArs TechnicaAI glasses face their first major government crackdown2dMIT Technology ReviewBringing predictive analytics to the agentic AI era2dTechCrunchHealthleap raises $38M for its AI that flags hospital patients who may need a closer look26mTechCrunchTony Fadell on why the first wave of AI gadgets failed — and what comes next51mTechCrunchGoogle experiments with an AI-powered gaming platform56mTechCrunchOpenAI’s Alexander Embiricos is coming to TechCrunch Disrupt 2026 — days after the launch of Dots1hArs TechnicaMistral says "Le Chonk" can challenge the best AI models1hArs TechnicaGoogle rolls out improved SynthID AI content detector, now available globally1hTechCrunchGoogle’s new SynthID website can identify AI-generated media1hThe VergeAI could upend food delivery3hWiredOpenAI Wants Its New Agent to Run Your Life. Mine Said It Loved Me4hThe VergeChatGPT for Teens is an ‘unacceptable risk,’ says Common Sense Media6hThe VergeOpenAI drops another batch of mathematical breakthroughs16hArs TechnicaOpenAI will watermark ChatGPT outputs by default—but only in the EU18hWired‘Artificial’ Roasts AI’s Creators—and Sends a Dark Warning About Its Dangers20hWiredOpenAI Is Pissing Off a Bunch of Mathematicians—Again22hThe VergeGoogle is about to remove free access to Gemini Flash and Pro1dWiredMistral Says Its New AI Model ‘Le Chonk’ Is the Best Open-Weight Offering Outside of China1dArs TechnicaOpenAI agents tried to hack Wikipedia tools and flooded it with traffic1dBBC NewsItalian PM files to trademark her voice against AI threats1dWiredKevin Roose Didn’t Use AI to Write His Book About AI1dThe VergeGemini Call for Me might tell your mom you’re running late1dBBC NewsPentagon stops using Anthropic AI tools after blacklisting company, BBC told1dMIT Technology ReviewConnecting AI agents to enterprise knowledge1dArs TechnicaAI glasses face their first major government crackdown2dMIT Technology ReviewBringing predictive analytics to the agentic AI era2d