AER-1 corpus vectors / Merkle vectors
empty
Family: Merkle vectors. Source: base/merkle-vectors.json in the AER-1 corpus published at zambo.dev/aer1/corpus.json (kit 1.5.7, draft-zambo-aer1-26), file SHA-256 8c76473616ba909fab61cdb96d3e432f3e91b322833716d494e7afc92ad13a25.
What this vector covers
No leaves: root is SHA-256 of empty input.
Rule it exercises
draft-zambo-aer1 Section 8.1 (normative): leaf = SHA-256 over UTF-8 bytes of receipt_id; internal node = SHA-256 over raw 32-byte left || raw 32-byte right; odd node duplicated.
Input
The vector input, exactly as published in the corpus:
{
"receipt_ids": []
}Expected result
expected_root: e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
Checks it exercises
| Check | Requirement | Why |
|---|---|---|
| root | must-pass | No leaves: root is SHA-256 of empty input. A correct run must produce this root value. |
Try Zambo free: add Zambo to your AI to run this kind of check on your own agent work, with 20 free calls per day and a Day Pass at $0.99 for 24h when you need more. Every call returns a verifiable receipt, and a receipt proves the saved result was not changed.
See the full set in the AER-1 corpus vectors index and the AER-1 corpus checks index, or read the standard itself: draft-zambo-aer1-26.