35bb8c9910
smart-byte-core
- `wire`: canonical CBOR for any serde type. `from_slice` refuses bytes that
are not the decoded object's own encoding. Serde otherwise accepts an array
of integers for a byte string, a byte string for text, and an array for a
struct, each a second encoding the SAID does not cover.
- Controller AIDs. Controller signatures are checked against the key states
replayed logs establish. One strict Ed25519 rule.
- The envelope: attested provenance, ownership chain and joule cost. Cargo
carries a registered type tag.
smart-byte-keri-witness
- Events are §2 SAIDs over canonical CBOR.
- The default verifier is spec v1. It replays one event at a time and says
which event it refused. It refuses `dip`, which skipped the pre-rotation
check entirely, plus zero thresholds, duplicate keys, rotations after an
empty `n`, and extension members.
- Extension mode, fixed:
- Witness receipts carried their own key, so anyone could receipt in any
witness's name. Witnesses are now named by their keys, and receipts sign
everything they claim.
- Duplicity evidence was gathered from unverified receipts.
- Recovery accepted any keys; it now needs its witnesses' receipts.
- OOBIs were signed by an embedded key; they are now controller signatures.
- Configuration traits were never enforced, so they are gone.
VC, BBS+, CRDT, mDL, lockstep, libp2p and the CLI move to the new envelope.
smart-byte-conformance
- kel_vectors.json: 25 vectors.
- envelope_vectors.json: 18 vectors, checked against the logs' key states.
- The SAID and signature vectors are rebuilt on the real objects, so all the
files describe one set of parties.
- Planted defects in every file are caught on their own vectors.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
1150 lines
70 KiB
JSON
1150 lines
70 KiB
JSON
[
|
|
{
|
|
"name": "env-001-issued",
|
|
"description": "A USD byte of 100.00 (100000000 micros, cargo type 1) as the issuer issues it to Alice, with a measured and an estimated joule cost. The issuer signs the canonical encoding of {cargo, issuer, nonce, recipient} under its establishment event 0 (envelope wire format §3, §7). The provenance's SAID is the byte's identity; the envelope's own `d` is this snapshot's SAID (§4). With no transfers, the owner is the recipient and the history hash is the identity's digest.",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Erqli3pxnbfezip4pupex4yowmnp7icyzskbodacataepytrmifpa",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": []
|
|
},
|
|
"cbor_hex": "a4616478354572716c693370786e6266657a697034707570657834796f776d6e70376963797a736b626f64616361746165707974726d696670616a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e80",
|
|
"expected": {
|
|
"identity": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"snapshot": "Erqli3pxnbfezip4pupex4yowmnp7icyzskbodacataepytrmifpa",
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"owner": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"history_hash": "c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f",
|
|
"transfers": 0
|
|
}
|
|
},
|
|
{
|
|
"name": "env-002-transfers-across-a-rotation",
|
|
"description": "env-001's byte after three transfers: Alice to the custodian at frame 10, under Alice's establishment event 0; back to Alice at frame 11, signed by two of the custodian's three keys; to the custodian again at frame 12, signed with the key Alice rotated to, under her establishment event 1. Each signature names the establishment event whose keys made it, so the chain spans the rotation unbroken (§7). The identity is env-001's; the snapshot SAID is new.",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "E7ky52ezznazzhds2k2s5mfbag7opcivzoy7efb4mdpg5dyrnuoxq",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": [
|
|
{
|
|
"to": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"from": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"frame": 10,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb108"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f"
|
|
}
|
|
},
|
|
{
|
|
"to": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"from": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"frame": 11,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "01a5c67191eb55e8d29cf30026e03ea5e66d827af43c413c73d250c059573156cb4bca8998e70d4a3f0a8745e4ad287007459eac1e6fef223b8b18589b796ebc0f"
|
|
}
|
|
},
|
|
{
|
|
"index": 2,
|
|
"signature": {
|
|
"$bytes": "0197288385a060626b2866f8ba49334223985a5120cffeab84f65e87573d410a705488f43a6ffd61de745b1b5134b71a030d4ae98c398ef2e6cb0ffd2d5655b500"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "0a2a977471247d441ef3b766422a7eea835cfdaab6f8b390697a055ba0234834"
|
|
}
|
|
},
|
|
{
|
|
"to": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"from": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"frame": 12,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "01854eb95c94a56944912a25634fac3bd3a2ade24ccea7da3a733154fb106cfa0264d0df79f8b0344f591e2256a060f851613724a82bb5ae467a8cbd28771be205"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 1
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "53b295243fb7fad0619379612a2d1906fc17b8da522bee8d43545d4f0e738766"
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"cbor_hex": "a46164783545376b793532657a7a6e617a7a686473326b3273356d66626167376f706369767a6f7937656662346d647067356479726e756f78716a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e83a562746f78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a73676769327463716466726f6d7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161656672616d650a697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb1086d65737461626c6973686d656e74007570726576696f75735f686973746f72795f686173685820c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7fa562746f7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f71616466726f6d78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a7367676932746371656672616d650b697369676e6174757265a26a7369676e61747572657382a265696e64657800697369676e6174757265584101a5c67191eb55e8d29cf30026e03ea5e66d827af43c413c73d250c059573156cb4bca8998e70d4a3f0a8745e4ad287007459eac1e6fef223b8b18589b796ebc0fa265696e64657802697369676e617475726558410197288385a060626b2866f8ba49334223985a5120cffeab84f65e87573d410a705488f43a6ffd61de745b1b5134b71a030d4ae98c398ef2e6cb0ffd2d5655b5006d65737461626c6973686d656e74007570726576696f75735f686973746f72795f6861736858200a2a977471247d441ef3b766422a7eea835cfdaab6f8b390697a055ba0234834a562746f78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a73676769327463716466726f6d7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161656672616d650c697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e6174757265584101854eb95c94a56944912a25634fac3bd3a2ade24ccea7da3a733154fb106cfa0264d0df79f8b0344f591e2256a060f851613724a82bb5ae467a8cbd28771be2056d65737461626c6973686d656e74017570726576696f75735f686973746f72795f68617368582053b295243fb7fad0619379612a2d1906fc17b8da522bee8d43545d4f0e738766",
|
|
"expected": {
|
|
"identity": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"snapshot": "E7ky52ezznazzhds2k2s5mfbag7opcivzoy7efb4mdpg5dyrnuoxq",
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"owner": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"history_hash": "401d14039ec708543d65b1180e0413d2a6db6019f5fcbabd0bc530ab257713b6",
|
|
"transfers": 3
|
|
}
|
|
},
|
|
{
|
|
"name": "env-003-empty-opaque-cargo",
|
|
"description": "An opaque byte (cargo type 0) carrying no bytes, issued to the custodian with an all-zero nonce and no joule cost: the smallest values each member takes.",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Enz47nlrjhwgsbqtvh2dg4icwdher3s2gwkocfpw36s74byxoa5xa",
|
|
"joule_cost": {
|
|
"measured_microjoules": 0,
|
|
"estimated_microjoules": 0
|
|
},
|
|
"provenance": {
|
|
"d": "E2kadjdxn3y2qkqetrlduaufujvm4cl4uhavromlm2wyp4kabt4iq",
|
|
"cargo": {
|
|
"type": 0,
|
|
"bytes": {
|
|
"$bytes": ""
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "00000000000000000000000000000000"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "01fba7e0971d94f94bd692228779ca8c3459308c4c1c474ad53e82e3a5c86b840ee6aec7f5b20269e2eb6316987e0204021faf41922b467a91d14f54597921ce0c"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": []
|
|
},
|
|
"cbor_hex": "a461647835456e7a34376e6c726a687767736271747668326467346963776468657233733267776b6f6366707733367337346279786f613578616a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65730075657374696d617465645f6d6963726f6a6f756c6573006a70726f76656e616e6365a66164783545326b61646a64786e337932716b716574726c6475617566756a766d34636c3475686176726f6d6c6d32777970346b61627434697165636172676fa264747970650065627974657340656e6f6e636550000000000000000000000000000000006669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e7478354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a7367676932746371697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e6174757265584101fba7e0971d94f94bd692228779ca8c3459308c4c1c474ad53e82e3a5c86b840ee6aec7f5b20269e2eb6316987e0204021faf41922b467a91d14f54597921ce0c6d65737461626c6973686d656e74006f6f776e6572736869705f636861696e80",
|
|
"expected": {
|
|
"identity": "E2kadjdxn3y2qkqetrlduaufujvm4cl4uhavromlm2wyp4kabt4iq",
|
|
"snapshot": "Enz47nlrjhwgsbqtvh2dg4icwdher3s2gwkocfpw36s74byxoa5xa",
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"owner": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"history_hash": "d280348eedde350540938ac74050b44d59c12f94382b17316cd5b0fe28019f11",
|
|
"transfers": 0
|
|
}
|
|
},
|
|
{
|
|
"name": "env-004-cargo-changed-identity-kept",
|
|
"description": "env-001 with its cargo raised to 1,000,000.00 after issuance and the snapshot SAID recomputed, but the identity left as it was. The provenance no longer hashes to the identity it states.",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Ezwzb7jvhr4kktlkjudyvudh6d5aaxi4a4qev7ndrsfsjs2twzpgq",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731b000000e8d4a51000"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": []
|
|
},
|
|
"cbor_hex": "a461647835457a777a62376a766872346b6b746c6b6a7564797675646836643561617869346134716576376e64727366736a733274777a7067716a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa264747970650165627974657351a1666d6963726f731b000000e8d4a51000656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e80",
|
|
"error": "said_mismatch"
|
|
},
|
|
{
|
|
"name": "env-005-cargo-changed-identity-restamped",
|
|
"description": "env-004 with the identity recomputed as well, so both SAIDs check. The issuer never signed this cargo: its signature is over the attested fields, which the cargo is one of (§3).",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Eljfjynzhfm4dmhsbb777mirke2puzikmxk5hwrszloalboqvoy2a",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eypa7rxa44d7ndjk4o3xn6qi4zmvn7u3lfdkutugugykpfnoowf3a",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731b000000e8d4a51000"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": []
|
|
},
|
|
"cbor_hex": "a461647835456c6a666a796e7a68666d34646d687362623737376d69726b653270757a696b6d786b35687772737a6c6f616c626f71766f7932616a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a6616478354579706137727861343464376e646a6b346f33786e367169347a6d766e3775336c66646b757475677567796b70666e6f6f7766336165636172676fa264747970650165627974657351a1666d6963726f731b000000e8d4a51000656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e80",
|
|
"error": "signature_invalid"
|
|
},
|
|
{
|
|
"name": "env-006-stale-snapshot-said",
|
|
"description": "env-001 with its measured joule cost changed and its snapshot SAID left as it was. A snapshot SAID covers the whole envelope, joule cost included (§4).",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Erqli3pxnbfezip4pupex4yowmnp7icyzskbodacataepytrmifpa",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": []
|
|
},
|
|
"cbor_hex": "a4616478354572716c693370786e6266657a697034707570657834796f776d6e70376963797a736b626f64616361746165707974726d696670616a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65730175657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e80",
|
|
"error": "said_mismatch"
|
|
},
|
|
{
|
|
"name": "env-007-transfer-by-non-owner",
|
|
"description": "env-001, which Alice owns, transferred by the custodian — validly signed by two of its keys, but the custodian does not own the byte (§8 step 3).",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Enha3fyz4vtertt6lr3o2rew4ug2vyii6fjtsuvbefblqvrsi3fwq",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": [
|
|
{
|
|
"to": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"from": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"frame": 10,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "01adcc13c151e49673d8daa271409522522c86b2be5b25262e88517f8b5558cf9f0226c5a590f757253520d773f273e9f661dbb99d0c24fe1fce92988c3ea47e05"
|
|
}
|
|
},
|
|
{
|
|
"index": 1,
|
|
"signature": {
|
|
"$bytes": "0190ef0c7d6cd8eb314257b4ce1527dbf15850fab0e2bf5a3c584bfa6ae4c044e97c8a374e77756753f1b3345d123a8cd05649259e8d96c6a2c0a0d9e21dd92608"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f"
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"cbor_hex": "a461647835456e68613366797a34767465727474366c72336f32726577347567327679696936666a74737576626566626c7176727369336677716a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e81a562746f78354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c696972686336697663716466726f6d78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a7367676932746371656672616d650a697369676e6174757265a26a7369676e61747572657382a265696e64657800697369676e6174757265584101adcc13c151e49673d8daa271409522522c86b2be5b25262e88517f8b5558cf9f0226c5a590f757253520d773f273e9f661dbb99d0c24fe1fce92988c3ea47e05a265696e64657801697369676e617475726558410190ef0c7d6cd8eb314257b4ce1527dbf15850fab0e2bf5a3c584bfa6ae4c044e97c8a374e77756753f1b3345d123a8cd05649259e8d96c6a2c0a0d9e21dd926086d65737461626c6973686d656e74007570726576696f75735f686973746f72795f686173685820c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f",
|
|
"error": "not_current_owner"
|
|
},
|
|
{
|
|
"name": "env-008-grafted-transition",
|
|
"description": "env-002's first two transfers, with the second re-signed over a previous history hash taken from the start of the chain rather than after the first transfer. Its signature verifies, but it does not continue the history it follows (§5).",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Etfc6qammmrukgmqlq3zhle4igq4355e3twugswd5lwci7fbkn4vq",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": [
|
|
{
|
|
"to": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"from": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"frame": 10,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb108"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f"
|
|
}
|
|
},
|
|
{
|
|
"to": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"from": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"frame": 11,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "01735e0e2091f97bc92891987802fb30bf080565e191d173b5d2ac3bd57922e04c2d9dd6e39535734fd2f8d54d017b7dfe83e6c764276c99fb0e55e0f2221beb05"
|
|
}
|
|
},
|
|
{
|
|
"index": 2,
|
|
"signature": {
|
|
"$bytes": "01fa88265708bf97de7afa53428dbd5239a162a5cb18c25659c2a42cd44900ee0ec035aff2c92bb9448aca4243a729ee59679ac3a87e53c6d23743556bbf8d1e03"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f"
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"cbor_hex": "a461647835457466633671616d6d6d72756b676d716c71337a686c653469677134333535653374777567737764356c7763693766626b6e3476716a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e82a562746f78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a73676769327463716466726f6d7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161656672616d650a697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb1086d65737461626c6973686d656e74007570726576696f75735f686973746f72795f686173685820c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7fa562746f7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f71616466726f6d78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a7367676932746371656672616d650b697369676e6174757265a26a7369676e61747572657382a265696e64657800697369676e6174757265584101735e0e2091f97bc92891987802fb30bf080565e191d173b5d2ac3bd57922e04c2d9dd6e39535734fd2f8d54d017b7dfe83e6c764276c99fb0e55e0f2221beb05a265696e64657802697369676e6174757265584101fa88265708bf97de7afa53428dbd5239a162a5cb18c25659c2a42cd44900ee0ec035aff2c92bb9448aca4243a729ee59679ac3a87e53c6d23743556bbf8d1e036d65737461626c6973686d656e74007570726576696f75735f686973746f72795f686173685820c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f",
|
|
"error": "broken_history_chain"
|
|
},
|
|
{
|
|
"name": "env-009-two-transfers-in-one-frame",
|
|
"description": "env-001 transferred to the custodian and straight back, both at frame 10. A byte moves at most once per frame, so frames rise strictly along the chain (§5).",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Etxwbqfwl5pe66fcgfnf5kahvdvbaz37wp5aowv2guangs36x6r7a",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": [
|
|
{
|
|
"to": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"from": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"frame": 10,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb108"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f"
|
|
}
|
|
},
|
|
{
|
|
"to": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"from": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"frame": 10,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "01034e71712702c8f8259d22f8f9118dafe1297a5e98c15009901b7a6b6b09ffd7f8e21363395e3a716ce973b6338e0af8707b3cc98d039e06ce37e762803eff0a"
|
|
}
|
|
},
|
|
{
|
|
"index": 2,
|
|
"signature": {
|
|
"$bytes": "0178e4f9f210e03569bdd74ebfcac49bcff78745528251a772c459e6a72a20bc71023a2803afe6477a6ad2fd4b13e639badd2d49c6fbde771b8c846b3bb454d004"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "0a2a977471247d441ef3b766422a7eea835cfdaab6f8b390697a055ba0234834"
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"cbor_hex": "a46164783545747877627166776c3570653636666367666e66356b616876647662617a3337777035616f7776326775616e6773333678367237616a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e82a562746f78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a73676769327463716466726f6d7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161656672616d650a697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb1086d65737461626c6973686d656e74007570726576696f75735f686973746f72795f686173685820c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7fa562746f7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f71616466726f6d78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a7367676932746371656672616d650a697369676e6174757265a26a7369676e61747572657382a265696e64657800697369676e6174757265584101034e71712702c8f8259d22f8f9118dafe1297a5e98c15009901b7a6b6b09ffd7f8e21363395e3a716ce973b6338e0af8707b3cc98d039e06ce37e762803eff0aa265696e64657802697369676e617475726558410178e4f9f210e03569bdd74ebfcac49bcff78745528251a772c459e6a72a20bc71023a2803afe6477a6ad2fd4b13e639badd2d49c6fbde771b8c846b3bb454d0046d65737461626c6973686d656e74007570726576696f75735f686973746f72795f6861736858200a2a977471247d441ef3b766422a7eea835cfdaab6f8b390697a055ba0234834",
|
|
"error": "frame_not_increasing"
|
|
},
|
|
{
|
|
"name": "env-010-names-a-non-establishment-event",
|
|
"description": "env-001 transferred by Alice with a signature naming her event 2. That is her interaction, which establishes no keys, so no key state answers to it (§7).",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "E4zsnekm2ertm6gd3o2bloy33ub2f5lyrcsvyfa5qguwwomevvvlq",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": [
|
|
{
|
|
"to": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"from": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"frame": 10,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "01a74062c555c571b46ecc0aa15f674b1a780ae1881d2ea3592f5cfa0ab819c6b5b9fe66633aa20f01f01a300448caa0e2499df5c27674f9d0029c8fda057e6902"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 2
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f"
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"cbor_hex": "a46164783545347a736e656b6d326572746d366764336f32626c6f79333375623266356c79726373767966613571677577776f6d657676766c716a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e81a562746f78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a73676769327463716466726f6d7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161656672616d650a697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e6174757265584101a74062c555c571b46ecc0aa15f674b1a780ae1881d2ea3592f5cfa0ab819c6b5b9fe66633aa20f01f01a300448caa0e2499df5c27674f9d0029c8fda057e69026d65737461626c6973686d656e74027570726576696f75735f686973746f72795f686173685820c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f",
|
|
"error": "unknown_key_state"
|
|
},
|
|
{
|
|
"name": "env-011-old-key-under-new-establishment",
|
|
"description": "env-001 transferred by Alice with a signature naming her establishment event 1 but made with the key event 0 put in force. A signature verifies against the key state it names.",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Eco5hbwszixc4gh6m6u7jwup3ybg73rmtvrbdaldaknvtteyyqrbq",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": [
|
|
{
|
|
"to": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"from": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"frame": 10,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb108"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 1
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f"
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"cbor_hex": "a46164783545636f35686277737a697863346768366d3675376a777570337962673733726d7476726264616c64616b6e767474657979717262716a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e81a562746f78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a73676769327463716466726f6d7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161656672616d650a697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb1086d65737461626c6973686d656e74017570726576696f75735f686973746f72795f686173685820c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f",
|
|
"error": "signature_invalid"
|
|
},
|
|
{
|
|
"name": "env-012-custodian-below-threshold",
|
|
"description": "The custodian transfers the byte back to Alice with one signature; its key state needs two.",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Ejrd4txwqz5zstoeq7xshgjkf7ckjaoje7hqlh6rsxra5vai5enna",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": [
|
|
{
|
|
"to": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"from": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"frame": 10,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb108"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f"
|
|
}
|
|
},
|
|
{
|
|
"to": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"from": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"frame": 11,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "01a5c67191eb55e8d29cf30026e03ea5e66d827af43c413c73d250c059573156cb4bca8998e70d4a3f0a8745e4ad287007459eac1e6fef223b8b18589b796ebc0f"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "0a2a977471247d441ef3b766422a7eea835cfdaab6f8b390697a055ba0234834"
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"cbor_hex": "a461647835456a726434747877717a357a73746f657137787368676a6b6637636b6a616f6a653768716c683672737872613576616935656e6e616a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e82a562746f78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a73676769327463716466726f6d7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161656672616d650a697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb1086d65737461626c6973686d656e74007570726576696f75735f686973746f72795f686173685820c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7fa562746f7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f71616466726f6d78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a7367676932746371656672616d650b697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e6174757265584101a5c67191eb55e8d29cf30026e03ea5e66d827af43c413c73d250c059573156cb4bca8998e70d4a3f0a8745e4ad287007459eac1e6fef223b8b18589b796ebc0f6d65737461626c6973686d656e74007570726576696f75735f686973746f72795f6861736858200a2a977471247d441ef3b766422a7eea835cfdaab6f8b390697a055ba0234834",
|
|
"error": "below_threshold"
|
|
},
|
|
{
|
|
"name": "env-013-one-key-signing-twice",
|
|
"description": "The custodian's transfer with key 0's signature listed twice. Counted naively, one key meets the custodian's threshold of two (§7).",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Emhkqqihvk3tarqqz3s5lbkzlfprfoa27efw5wnu2yboineeo7joq",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": [
|
|
{
|
|
"to": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"from": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"frame": 10,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb108"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f"
|
|
}
|
|
},
|
|
{
|
|
"to": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"from": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"frame": 11,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "01a5c67191eb55e8d29cf30026e03ea5e66d827af43c413c73d250c059573156cb4bca8998e70d4a3f0a8745e4ad287007459eac1e6fef223b8b18589b796ebc0f"
|
|
}
|
|
},
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "01a5c67191eb55e8d29cf30026e03ea5e66d827af43c413c73d250c059573156cb4bca8998e70d4a3f0a8745e4ad287007459eac1e6fef223b8b18589b796ebc0f"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "0a2a977471247d441ef3b766422a7eea835cfdaab6f8b390697a055ba0234834"
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"cbor_hex": "a461647835456d686b71716968766b3374617271717a3373356c626b7a6c667072666f61323765667735776e753279626f696e65656f376a6f716a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e82a562746f78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a73676769327463716466726f6d7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161656672616d650a697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb1086d65737461626c6973686d656e74007570726576696f75735f686973746f72795f686173685820c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7fa562746f7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f71616466726f6d78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a7367676932746371656672616d650b697369676e6174757265a26a7369676e61747572657382a265696e64657800697369676e6174757265584101a5c67191eb55e8d29cf30026e03ea5e66d827af43c413c73d250c059573156cb4bca8998e70d4a3f0a8745e4ad287007459eac1e6fef223b8b18589b796ebc0fa265696e64657800697369676e6174757265584101a5c67191eb55e8d29cf30026e03ea5e66d827af43c413c73d250c059573156cb4bca8998e70d4a3f0a8745e4ad287007459eac1e6fef223b8b18589b796ebc0f6d65737461626c6973686d656e74007570726576696f75735f686973746f72795f6861736858200a2a977471247d441ef3b766422a7eea835cfdaab6f8b390697a055ba0234834",
|
|
"error": "duplicate_key_index"
|
|
},
|
|
{
|
|
"name": "env-014-key-index-out-of-range",
|
|
"description": "The custodian's transfer with a signature at key index 3 of a three-key set.",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "E53liytof2f44ovoegoywerq64naulankfilxsr5q3nh6oeu4tzvq",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": [
|
|
{
|
|
"to": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"from": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"frame": 10,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb108"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f"
|
|
}
|
|
},
|
|
{
|
|
"to": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"from": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"frame": 11,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "01a5c67191eb55e8d29cf30026e03ea5e66d827af43c413c73d250c059573156cb4bca8998e70d4a3f0a8745e4ad287007459eac1e6fef223b8b18589b796ebc0f"
|
|
}
|
|
},
|
|
{
|
|
"index": 3,
|
|
"signature": {
|
|
"$bytes": "0197288385a060626b2866f8ba49334223985a5120cffeab84f65e87573d410a705488f43a6ffd61de745b1b5134b71a030d4ae98c398ef2e6cb0ffd2d5655b500"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "0a2a977471247d441ef3b766422a7eea835cfdaab6f8b390697a055ba0234834"
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"cbor_hex": "a4616478354535336c6979746f66326634346f766f65676f797765727136346e61756c616e6b66696c7873723571336e68366f657534747a76716a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e82a562746f78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a73676769327463716466726f6d7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161656672616d650a697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410176f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb1086d65737461626c6973686d656e74007570726576696f75735f686973746f72795f686173685820c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7fa562746f7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f71616466726f6d78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a7367676932746371656672616d650b697369676e6174757265a26a7369676e61747572657382a265696e64657800697369676e6174757265584101a5c67191eb55e8d29cf30026e03ea5e66d827af43c413c73d250c059573156cb4bca8998e70d4a3f0a8745e4ad287007459eac1e6fef223b8b18589b796ebc0fa265696e64657803697369676e617475726558410197288385a060626b2866f8ba49334223985a5120cffeab84f65e87573d410a705488f43a6ffd61de745b1b5134b71a030d4ae98c398ef2e6cb0ffd2d5655b5006d65737461626c6973686d656e74007570726576696f75735f686973746f72795f6861736858200a2a977471247d441ef3b766422a7eea835cfdaab6f8b390697a055ba0234834",
|
|
"error": "key_index_out_of_range"
|
|
},
|
|
{
|
|
"name": "env-015-algorithm-mismatch",
|
|
"description": "Alice's transfer with its signature's algorithm identifier changed from 0x01 to 0x02. A signature carries its key's algorithm (§7).",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Evl3xs7jwm7z265pi2okwxo2jwnun4ul6e5apqadej5nz5fp67gvq",
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": [
|
|
{
|
|
"to": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"from": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"frame": 10,
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0276f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb108"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
},
|
|
"previous_history_hash": {
|
|
"$bytes": "c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f"
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"cbor_hex": "a46164783545766c337873376a776d377a3236357069326f6b77786f326a776e756e34756c3665356170716164656a356e7a35667036376776716a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e81a562746f78354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a73676769327463716466726f6d7835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161656672616d650a697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410276f343a82d949a1f89606e53e69ca78896b8a7189bdfd1a8581d463e58cbb63a6d911fab2eb99fede19edef4f6c4376cfc2abb6b1bd2e6f3d179e9da916cb1086d65737461626c6973686d656e74007570726576696f75735f686973746f72795f686173685820c2f400d0e1c8507d81df3d52c34d38cb381ea49428f202b7cf61369f207dde7f",
|
|
"error": "algorithm_mismatch"
|
|
},
|
|
{
|
|
"name": "env-016-non-canonical-bytes",
|
|
"description": "env-001's bytes with the measured joule cost, 1200, written with a four-byte argument (0x1a 0x00 0x00 0x04 0xb0) instead of two. Both SAIDs are unchanged and check against the canonical form, but these bytes are not it, so they are refused before anything is hashed.",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"cbor_hex": "a4616478354572716c693370786e6266657a697034707570657834796f776d6e70376963797a736b626f64616361746165707974726d696670616a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731a000004b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e80",
|
|
"error": "non_shortest_integer"
|
|
},
|
|
{
|
|
"name": "env-017-undefined-member",
|
|
"description": "env-001 with a top-level member `fee` added and its snapshot SAID re-derived. An envelope has exactly the members the wire format defines (§2).",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Eahzpmrehkznlqmyutahcyr7engwwwt2hkjvb25gci2c3kpq2v27q",
|
|
"fee": 0,
|
|
"joule_cost": {
|
|
"measured_microjoules": 1200,
|
|
"estimated_microjoules": 1500
|
|
},
|
|
"provenance": {
|
|
"d": "Eyl2abuhbzbih3ao7hvjmgtjyzm4b5jeufdzafn6pme3j6id53z7q",
|
|
"cargo": {
|
|
"type": 1,
|
|
"bytes": {
|
|
"$bytes": "a1666d6963726f731a05f5e100"
|
|
}
|
|
},
|
|
"nonce": {
|
|
"$bytes": "dcc74ebbcedebda361fb18a7abec95d9"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bzxpecfxm3pdlfe6xm6ps45kvhdxielo55ktsj5ndknyhgnr72oqa",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "0188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd09"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": []
|
|
},
|
|
"cbor_hex": "a5616478354561687a706d7265686b7a6e6c716d797574616863797237656e677777777432686b6a766232356763693263336b7071327632377163666565006a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65731904b075657374696d617465645f6d6963726f6a6f756c65731905dc6a70726f76656e616e6365a66164783545796c3261627568627a62696833616f3768766a6d67746a797a6d3462356a657566647a61666e36706d65336a36696435337a377165636172676fa26474797065016562797465734da1666d6963726f731a05f5e100656e6f6e636550dcc74ebbcedebda361fb18a7abec95d96669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e747835427a7870656366786d3370646c666536786d36707334356b7668647869656c6f35356b74736a356e646b6e7968676e7237326f7161697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e617475726558410188d2bbf7bf3ea95bb33866235bae150ac65c7371bc2776f17eb0944884cc8a4e7d402947d334d07e871acd0c305e6791d6e9b5747a683b6c58fc81f21dbcdd096d65737461626c6973686d656e74006f6f776e6572736869705f636861696e80",
|
|
"error": "not_an_envelope"
|
|
},
|
|
{
|
|
"name": "env-018-cargo-bytes-written-as-integers",
|
|
"description": "env-003 with its cargo's byte string written as an array of integers instead — empty either way — and both SAIDs re-derived over that form. The bytes are canonical CBOR, and a verifier that hashes what it decoded finds both SAIDs check; but they are not the envelope's encoding, in which cargo bytes are a byte string (§6). Accepting them would give the byte a second encoding.",
|
|
"key_event_logs": [
|
|
"kel-001-single-key-inception",
|
|
"kel-002-rotation-then-interaction",
|
|
"kel-003-two-of-three-rotation"
|
|
],
|
|
"envelope": {
|
|
"d": "Edovosdwu34sh7wsnhbnafqukg66iex2wzkj5rjflczmbnfgpmcya",
|
|
"joule_cost": {
|
|
"measured_microjoules": 0,
|
|
"estimated_microjoules": 0
|
|
},
|
|
"provenance": {
|
|
"d": "Er3agurmnx67bd5nzvyurvhcuxcs3q4um3pifllozwmijc7pre6yq",
|
|
"cargo": {
|
|
"type": 0,
|
|
"bytes": []
|
|
},
|
|
"nonce": {
|
|
"$bytes": "00000000000000000000000000000000"
|
|
},
|
|
"issuer": "Bi473abxg23bmfn2aud3q6xot7apm3d6oca5zjaadlliirhc6ivcq",
|
|
"recipient": "Bqeerhhfrn2brgrbslwilntkcdfcngatst3j5acuu6krzsggi2tcq",
|
|
"signature": {
|
|
"signatures": [
|
|
{
|
|
"index": 0,
|
|
"signature": {
|
|
"$bytes": "01fba7e0971d94f94bd692228779ca8c3459308c4c1c474ad53e82e3a5c86b840ee6aec7f5b20269e2eb6316987e0204021faf41922b467a91d14f54597921ce0c"
|
|
}
|
|
}
|
|
],
|
|
"establishment": 0
|
|
}
|
|
},
|
|
"ownership_chain": []
|
|
},
|
|
"cbor_hex": "a46164783545646f766f73647775333473683777736e68626e616671756b67363669657832777a6b6a35726a666c637a6d626e6667706d6379616a6a6f756c655f636f7374a2746d656173757265645f6d6963726f6a6f756c65730075657374696d617465645f6d6963726f6a6f756c6573006a70726f76656e616e6365a661647835457233616775726d6e7836376264356e7a7679757276686375786373337134756d337069666c6c6f7a776d696a633770726536797165636172676fa264747970650065627974657380656e6f6e636550000000000000000000000000000000006669737375657278354269343733616278673233626d666e32617564337136786f743761706d3364366f6361357a6a6161646c6c6969726863366976637169726563697069656e7478354271656572686866726e326272677262736c77696c6e746b636466636e6761747374336a3561637575366b727a7367676932746371697369676e6174757265a26a7369676e61747572657381a265696e64657800697369676e6174757265584101fba7e0971d94f94bd692228779ca8c3459308c4c1c474ad53e82e3a5c86b840ee6aec7f5b20269e2eb6316987e0204021faf41922b467a91d14f54597921ce0c6d65737461626c6973686d656e74006f6f776e6572736869705f636861696e80",
|
|
"error": "not_an_envelope"
|
|
}
|
|
]
|