niklas/amduat
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Add PEL trace/TGK conformance vectors v0

Browse source
This commit is contained in:
Carl Niklas Rydberg 2026-02-21 00:05:02 +01:00
parent a433f92f13
commit 64e23555ae
2 changed files with 130 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

65
pel_trace_tgk_test_vectors_v0.json Normal file
View file

@ -0,0 +1,65 @@
{
"hash_id": "0x0001",
"artifacts": [
{
"name": "program",
"case": null,
"type_tag": "0x00000101",
"artifact_bytes_hex": "01000001010000000000000036000100000001000000000000001070656c2e62797465732e706172616d73000000010000000000000000000000010000000000000000",
"ref": {
"hash_id": "0x0001",
"digest_hex": "f59617255b09759dfff00952babc61ee9b4163cf4715a181539c5294fa4aa63d"
}
},
{
"name": "trace_case_a",
"case": "A",
"type_tag": "0x00000102",
"artifact_bytes_hex": "010000010200000000000000d30001000000220001c50fb2a734a5cc233c3875b70a7d96eaad374f000029771d8bef1af2cd6384dd000000220001f59617255b09759dfff00952babc61ee9b4163cf4715a181539c5294fa4aa63d0000000000000000000000010000002200013e7077fd2f66d689e0cee6a7cf5b37bf2dca7c979af356d0a31cbc5c85605c7d00000001000000000000001070656c2e62797465732e706172616d73000000010000000000000000010000002200013e7077fd2f66d689e0cee6a7cf5b37bf2dca7c979af356d0a31cbc5c85605c7d00000000",
"ref": {
"hash_id": "0x0001",
"digest_hex": "84f1a84d714c3038f39d21bb31e157f5d354e64542aa5ae76285ae3489ad477f"
}
},
{
"name": "trace_case_b",
"case": "B",
"type_tag": "0x00000102",
"artifact_bytes_hex": "0100000102000000000000005e0001000000220001c50fb2a734a5cc233c3875b70a7d96eaad374f000029771d8bef1af2cd6384dd000000220001f59617255b09759dfff00952babc61ee9b4163cf4715a181539c5294fa4aa63d03030000000300000000000000000000",
"ref": {
"hash_id": "0x0001",
"digest_hex": "f1541038d73fcd3b588843506779f1f7aea48fd3b598b68da905776c87bdcdd6"
}
},
{
"name": "edge_case_a",
"case": "A",
"type_tag": "0x00000201",
"artifact_bytes_hex": "0100000201000000000000008000010000001000000001000000220001f59617255b09759dfff00952babc61ee9b4163cf4715a181539c5294fa4aa63d000000010000002200013e7077fd2f66d689e0cee6a7cf5b37bf2dca7c979af356d0a31cbc5c85605c7d00000022000184f1a84d714c3038f39d21bb31e157f5d354e64542aa5ae76285ae3489ad477f",
"ref": {
"hash_id": "0x0001",
"digest_hex": "bba74729a89580021c6625908ea762c0f0f0a3599b05934b0bb581a7016d975d"
}
},
{
"name": "edge_case_b",
"case": "B",
"type_tag": "0x00000201",
"artifact_bytes_hex": "0100000201000000000000005a00010000001000000001000000220001f59617255b09759dfff00952babc61ee9b4163cf4715a181539c5294fa4aa63d00000000000000220001f1541038d73fcd3b588843506779f1f7aea48fd3b598b68da905776c87bdcdd6",
"ref": {
"hash_id": "0x0001",
"digest_hex": "013abc2facf80800b8472707d1d87dcf12e8bc9562eeddf46e1d2186e5436e65"
}
},
{
"name": "scheme_desc",
"case": null,
"type_tag": "0x00000100",
"artifact_bytes_hex": "0100000100000000000000001f00010000001150454c2f50524f4752414d2d4441472f310000010101010000",
"ref": {
"hash_id": "0x0001",
"digest_hex": "c50fb2a734a5cc233c3875b70a7d96eaad374f000029771d8bef1af2cd6384dd"
}
}
]
}

65
tests/vectors/pel_trace_tgk_test_vectors_v0.json Normal file
View file

@ -0,0 +1,65 @@
{
"hash_id": "0x0001",
"artifacts": [
{
"name": "program",
"case": null,
"type_tag": "0x00000101",
"artifact_bytes_hex": "01000001010000000000000036000100000001000000000000001070656c2e62797465732e706172616d73000000010000000000000000000000010000000000000000",
"ref": {
"hash_id": "0x0001",
"digest_hex": "f59617255b09759dfff00952babc61ee9b4163cf4715a181539c5294fa4aa63d"
}
},
{
"name": "trace_case_a",
"case": "A",
"type_tag": "0x00000102",
"artifact_bytes_hex": "010000010200000000000000d30001000000220001c50fb2a734a5cc233c3875b70a7d96eaad374f000029771d8bef1af2cd6384dd000000220001f59617255b09759dfff00952babc61ee9b4163cf4715a181539c5294fa4aa63d0000000000000000000000010000002200013e7077fd2f66d689e0cee6a7cf5b37bf2dca7c979af356d0a31cbc5c85605c7d00000001000000000000001070656c2e62797465732e706172616d73000000010000000000000000010000002200013e7077fd2f66d689e0cee6a7cf5b37bf2dca7c979af356d0a31cbc5c85605c7d00000000",
"ref": {
"hash_id": "0x0001",
"digest_hex": "84f1a84d714c3038f39d21bb31e157f5d354e64542aa5ae76285ae3489ad477f"
}
},
{
"name": "trace_case_b",
"case": "B",
"type_tag": "0x00000102",
"artifact_bytes_hex": "0100000102000000000000005e0001000000220001c50fb2a734a5cc233c3875b70a7d96eaad374f000029771d8bef1af2cd6384dd000000220001f59617255b09759dfff00952babc61ee9b4163cf4715a181539c5294fa4aa63d03030000000300000000000000000000",
"ref": {
"hash_id": "0x0001",
"digest_hex": "f1541038d73fcd3b588843506779f1f7aea48fd3b598b68da905776c87bdcdd6"
}
},
{
"name": "edge_case_a",
"case": "A",
"type_tag": "0x00000201",
"artifact_bytes_hex": "0100000201000000000000008000010000001000000001000000220001f59617255b09759dfff00952babc61ee9b4163cf4715a181539c5294fa4aa63d000000010000002200013e7077fd2f66d689e0cee6a7cf5b37bf2dca7c979af356d0a31cbc5c85605c7d00000022000184f1a84d714c3038f39d21bb31e157f5d354e64542aa5ae76285ae3489ad477f",
"ref": {
"hash_id": "0x0001",
"digest_hex": "bba74729a89580021c6625908ea762c0f0f0a3599b05934b0bb581a7016d975d"
}
},
{
"name": "edge_case_b",
"case": "B",
"type_tag": "0x00000201",
"artifact_bytes_hex": "0100000201000000000000005a00010000001000000001000000220001f59617255b09759dfff00952babc61ee9b4163cf4715a181539c5294fa4aa63d00000000000000220001f1541038d73fcd3b588843506779f1f7aea48fd3b598b68da905776c87bdcdd6",
"ref": {
"hash_id": "0x0001",
"digest_hex": "013abc2facf80800b8472707d1d87dcf12e8bc9562eeddf46e1d2186e5436e65"
}
},
{
"name": "scheme_desc",
"case": null,
"type_tag": "0x00000100",
"artifact_bytes_hex": "0100000100000000000000001f00010000001150454c2f50524f4752414d2d4441472f310000010101010000",
"ref": {
"hash_id": "0x0001",
"digest_hex": "c50fb2a734a5cc233c3875b70a7d96eaad374f000029771d8bef1af2cd6384dd"
}
}
]
}