diff --git a/examples/wallet-evidence/anza-ed25519-verified.attestation.json b/examples/wallet-evidence/anza-ed25519-verified.attestation.json index 10a58d7..e16e1cc 100644 --- a/examples/wallet-evidence/anza-ed25519-verified.attestation.json +++ b/examples/wallet-evidence/anza-ed25519-verified.attestation.json @@ -290,14 +290,14 @@ } ], "environment": { - "env_script": "~/aeneas-toolchain/env.sh", + "env_script": "/home/oho/aeneas-toolchain/env.sh", "lake_version": "Lake version 5.0.0-src+3dc1a08 (Lean version 4.30.0-rc2)", "lean_project_dir": "/home/oho/aeneas-toolchain/aeneas/backends/lean", "lean_version": "Lean (version 4.30.0-rc2, x86_64-unknown-linux-gnu, commit 3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc, Release)" }, - "issued_at": "2026-07-06T11:51:00Z", + "issued_at": "2026-07-07T18:11:52Z", "machine_protection": { - "lean_guard": "/home/oho/GitClone/Claude/FormalVerification/anza-ed25519-verified/verification/lean-guard", + "lean_guard": "verification/lean-guard", "note": "All Lean compiles route through the repo's lean-guard (memory cap, core pinning, timeout, single-flight lock) when configured." }, "provider": "local-pacta-provider", @@ -315,16 +315,17 @@ }, "schema_version": 1, "signature": { - "payload_digest_sha256": "ff36182e67d083ac442fce5026fe31ae8127b4f04bc6b5a85b70c9cae9ed8f8d", + "payload_digest_sha256": "85680e6f68a50822fa166af1241342137e10fcc0dea6e8a9113602ada6066fe3", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "fFGMNOf1a1sk14Cu2BLP2Dl4DWcipXJiPe7KlZuHyCXyhz91NEuLr4VObIa4wP9J61PThXwVwLDEnnHuOH6BCA==", + "signature_base64": "uYKqzHsowQ8M15Uci6cPt3u2ZNQ5AWL0H8Sya04dfTYxHZzbPo6laWTR+yV5A4uIRem6EZCBDARO2AzfF/S6Dw==", + "signing_backend": "verified-dalek-serial", "status": "signed" }, "subject": { "component": "anza-ed25519-verified", "kind": "ed25519", - "repo_commit": "673c15e10a082788f7965fcb0faeefcca0d15136", + "repo_commit": "25b73f1778de0084eb0166a934df95c186c9ef01", "repo_url": "https://github.com/saymrwulf/anza-ed25519-verified.git", "verification_dir": "verification", "verified_backend": "serial/u64" diff --git a/examples/wallet-evidence/anza-ed25519-verified.receipt.json b/examples/wallet-evidence/anza-ed25519-verified.receipt.json index 1acea34..9da7824 100644 --- a/examples/wallet-evidence/anza-ed25519-verified.receipt.json +++ b/examples/wallet-evidence/anza-ed25519-verified.receipt.json @@ -1,32 +1,43 @@ { + "attestation_digest_sha256": "90364afa472b56725ef6f1f64178c1bf95fd2542fc1840b4afb1a599cd4807fd", + "attestation_path": "provider/out/reattest/anza-ed25519.attestation.yaml", + "consistency": { + "from_root_hash": "c3f46a9c2081be0ef9f8520ae899a31df64bd04978cb682ca754e301b34f986e", + "from_tree_size": 9, + "proof": [ + "072b178a18d64012987903179d634cf22d1378d71f7e2a0d79fa29c95b0c3856", + "b1034bc68193c9c4eeee03289acd5641fc514615900cba7ee2457eaf25ef743b", + "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283" + ], + "status": "included" + }, "hash_algorithm": "RFC9162_SHA256", "inclusion_proof": [ - "ca164b6cf11aec6a4c8de2d18c2c2fa04c9323657bd7daf4e7111869201bfec2", - "3bb1e72abbc9c0b945dafde303acdab123996e41faeab49a35563886b1b41e96", - "04541cffd46cf5a97d7453ed8ae681b1a1fedb879eb8c7a262e05b3176159eed" + "072b178a18d64012987903179d634cf22d1378d71f7e2a0d79fa29c95b0c3856", + "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283" ], - "leaf_hash": "33523f3ea6b6eab72696eead8534d0b7cac78feb60cc3907ac973a24f37adb95", - "leaf_index": 5, + "leaf_hash": "b1034bc68193c9c4eeee03289acd5641fc514615900cba7ee2457eaf25ef743b", + "leaf_index": 9, "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", "schema_version": 1, "sth": { "hash_algorithm": "RFC9162_SHA256", "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", - "root_hash": "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283", + "root_hash": "a3788367f56caeca89cc7d5545cf57a7dba8055a0ecd48fa2de8d793b3554dda", "schema_version": 1, "signatures": { "ed25519": { - "payload_digest_sha256": "c9a3c000d448ebd35e313fac0c9ce0e1dc88ff03540b0828e5246407c75e2a1a", + "payload_digest_sha256": "d036c0413cddf628c90cc6b5e36356dca11f9030eacfdecc2b9ab7ba46441267", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "P8M4gjB7BCZblUvRtvJnbjfaTYKU4oO0/2LZwzpHIgp9fmOXGZqkqi7UaP5Fn1Kx4+RJSgyI2nnnK1pLpkV8CQ==", + "signature_base64": "GI1/V5DFmYM7FkHcPPR6obkm0lgGOx9XFe2d3aZkb0EGYtah6qc9dRia3oLDq6RHaDNR+/DH81CATij2HJltCA==", "signing_backend": "verified-dalek-serial", "signing_provenance": { "self_inclusion": "verified", "signing_backend": "verified-dalek-serial", "signing_library_certificates_proven": "16/16", "signing_library_component": "dalek-ed25519-verified", - "signing_library_leaf_index": 4, + "signing_library_leaf_index": 8, "signing_library_source_commit": "aa0f6abc327ba2a54a534b21608ca8996cf73682" }, "status": "signed" @@ -38,10 +49,10 @@ "status": "not_configured" } }, - "timestamp": "2026-07-06T13:59:16Z", - "tree_size": 8, + "timestamp": "2026-07-07T19:12:16Z", + "tree_size": 10, "type": "pacta.transparency.signed_tree_head.v1" }, - "tree_size": 8, + "tree_size": 10, "type": "pacta.transparency.receipt.v1" } diff --git a/examples/wallet-evidence/betrusted-ed25519-verified.attestation.json b/examples/wallet-evidence/betrusted-ed25519-verified.attestation.json index 8b82f89..c413ae3 100644 --- a/examples/wallet-evidence/betrusted-ed25519-verified.attestation.json +++ b/examples/wallet-evidence/betrusted-ed25519-verified.attestation.json @@ -298,14 +298,14 @@ } ], "environment": { - "env_script": "~/aeneas-toolchain/env.sh", + "env_script": "/home/oho/aeneas-toolchain/env.sh", "lake_version": "Lake version 5.0.0-src+3dc1a08 (Lean version 4.30.0-rc2)", "lean_project_dir": "/home/oho/aeneas-toolchain/aeneas/backends/lean", "lean_version": "Lean (version 4.30.0-rc2, x86_64-unknown-linux-gnu, commit 3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc, Release)" }, - "issued_at": "2026-07-06T12:51:28Z", + "issued_at": "2026-07-07T19:11:37Z", "machine_protection": { - "lean_guard": "/home/oho/GitClone/Claude/FormalVerification/betrusted-ed25519-verified/verification/lean-guard", + "lean_guard": "verification/lean-guard", "note": "All Lean compiles route through the repo's lean-guard (memory cap, core pinning, timeout, single-flight lock) when configured." }, "provider": "local-pacta-provider", @@ -323,16 +323,17 @@ }, "schema_version": 1, "signature": { - "payload_digest_sha256": "bb1226fa66ae0e51677ccc8c8361ba121ac5464911f1cb9e305ff7c76b7d2c57", + "payload_digest_sha256": "4493f174338d5d349085d75ddb62f9eb567ddd3371556386fafe7c83bbf6c360", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "Lsxje95BPXHfc7l3wxQrRvDgG/5tb7WNaO3wIDsfY/xg/WYRDFrWF3Bb6frs0Dmln00QxA99Gt43PMxLUHq0Ag==", + "signature_base64": "4sDjmCz3m1E6sa0+qmVhR/D8yl5zuShFbp33w6SBl4LVw8hLk/lGycRv75XtrabkUFEpISbZMaAWQmPP9ipiCg==", + "signing_backend": "verified-dalek-serial", "status": "signed" }, "subject": { "component": "betrusted-ed25519-verified", "kind": "ed25519", - "repo_commit": "81f614a3cbd26412c6af7f0a31c0f128121fbfa4", + "repo_commit": "7b9ef53e488b739ba09a8caf5c2efc3f575db8cc", "repo_url": "https://github.com/saymrwulf/betrusted-ed25519-verified.git", "verification_dir": "verification", "verified_backend": "serial/u64" diff --git a/examples/wallet-evidence/betrusted-ed25519-verified.receipt.json b/examples/wallet-evidence/betrusted-ed25519-verified.receipt.json index d1373cd..5970484 100644 --- a/examples/wallet-evidence/betrusted-ed25519-verified.receipt.json +++ b/examples/wallet-evidence/betrusted-ed25519-verified.receipt.json @@ -1,32 +1,45 @@ { + "attestation_digest_sha256": "5f7937a172aff808548b663d0708eb05c79dfaea201f7131816befa83cd6b96e", + "attestation_path": "provider/out/reattest/betrusted-ed25519.attestation.yaml", + "consistency": { + "from_root_hash": "96f2a27d1a668a2dfe832d26e8870d997cec5447fa636b13d51ec25f441360b4", + "from_tree_size": 11, + "proof": [ + "ed368f5f9b3714b5c633bc55971b61c31af55a8022ac9fb567515810007b527f", + "ad7ccbb6def18dccba7176f4be36ad1ce731c1456672c19310e73e87c4f312df", + "3253f2e4dcb5515e0caf021b1e4a257a15bd04df969aaf08174da745d72cd00f", + "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283" + ], + "status": "included" + }, "hash_algorithm": "RFC9162_SHA256", "inclusion_proof": [ - "bdde4e4b87cd263b5914dbbae0c85ceed468c3054596f6ca79121e54cc6a134e", - "f3724e66715b582c384cf49928d4705458475ea4293749989c483ab7fe9496ce", - "04541cffd46cf5a97d7453ed8ae681b1a1fedb879eb8c7a262e05b3176159eed" + "ed368f5f9b3714b5c633bc55971b61c31af55a8022ac9fb567515810007b527f", + "3253f2e4dcb5515e0caf021b1e4a257a15bd04df969aaf08174da745d72cd00f", + "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283" ], - "leaf_hash": "2791c352956ebc620a4fe12b20bfd6faa0813238c5bc0563fa4eb0130d829247", - "leaf_index": 7, + "leaf_hash": "ad7ccbb6def18dccba7176f4be36ad1ce731c1456672c19310e73e87c4f312df", + "leaf_index": 11, "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", "schema_version": 1, "sth": { "hash_algorithm": "RFC9162_SHA256", "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", - "root_hash": "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283", + "root_hash": "bcd15f9d7ea1c9e5bd0a9e64fa8d846208b1e29ee167d4f1eac19b30e6913ee9", "schema_version": 1, "signatures": { "ed25519": { - "payload_digest_sha256": "c9a3c000d448ebd35e313fac0c9ce0e1dc88ff03540b0828e5246407c75e2a1a", + "payload_digest_sha256": "fab790262c7e1b1eadc0fbf1d10481da0984cd7b99d6e19d98820d2c33d5f34d", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "P8M4gjB7BCZblUvRtvJnbjfaTYKU4oO0/2LZwzpHIgp9fmOXGZqkqi7UaP5Fn1Kx4+RJSgyI2nnnK1pLpkV8CQ==", + "signature_base64": "GYsT/T61aokWWbv+dqrMt1CtJTeGAC/aX0K1MazlXDo7tpEiex3O1uvox9mU/FWFIxwuBg/l2X8gB0DjYjc1Cw==", "signing_backend": "verified-dalek-serial", "signing_provenance": { "self_inclusion": "verified", "signing_backend": "verified-dalek-serial", "signing_library_certificates_proven": "16/16", "signing_library_component": "dalek-ed25519-verified", - "signing_library_leaf_index": 4, + "signing_library_leaf_index": 8, "signing_library_source_commit": "aa0f6abc327ba2a54a534b21608ca8996cf73682" }, "status": "signed" @@ -38,10 +51,10 @@ "status": "not_configured" } }, - "timestamp": "2026-07-06T13:59:16Z", - "tree_size": 8, + "timestamp": "2026-07-07T19:12:17Z", + "tree_size": 12, "type": "pacta.transparency.signed_tree_head.v1" }, - "tree_size": 8, + "tree_size": 12, "type": "pacta.transparency.receipt.v1" } diff --git a/examples/wallet-evidence/dalek-ed25519-verified.attestation.json b/examples/wallet-evidence/dalek-ed25519-verified.attestation.json index 9a3bb82..564a0b3 100644 --- a/examples/wallet-evidence/dalek-ed25519-verified.attestation.json +++ b/examples/wallet-evidence/dalek-ed25519-verified.attestation.json @@ -322,14 +322,14 @@ } ], "environment": { - "env_script": "~/aeneas-toolchain/env.sh", + "env_script": "/home/oho/aeneas-toolchain/env.sh", "lake_version": "Lake version 5.0.0-src+3dc1a08 (Lean version 4.30.0-rc2)", "lean_project_dir": "/home/oho/aeneas-toolchain/aeneas/backends/lean", "lean_version": "Lean (version 4.30.0-rc2, x86_64-unknown-linux-gnu, commit 3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc, Release)" }, - "issued_at": "2026-07-06T11:21:25Z", + "issued_at": "2026-07-07T16:48:27Z", "machine_protection": { - "lean_guard": "/home/oho/GitClone/Claude/FormalVerification/dalek-ed25519-verified/verification/lean-guard", + "lean_guard": "verification/lean-guard", "note": "All Lean compiles route through the repo's lean-guard (memory cap, core pinning, timeout, single-flight lock) when configured." }, "provider": "local-pacta-provider", @@ -347,16 +347,17 @@ }, "schema_version": 1, "signature": { - "payload_digest_sha256": "ba9c3de2b75af13cd79aaaf1226a07c3e671f2d5fe06dd2a33810588dfe21571", + "payload_digest_sha256": "7e93a37ad82a2be59e5ed4a09a25f8965dfff59dd04f52360a89abc839f17066", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "Ec0xxNT6PeyuNXUncaeZN9iDJN/q3W/WenqGrx3qWDfYu9xK5Hq7e4zLALqZKrNCBaPXBm4oSYKUd1qSNoWSBg==", + "signature_base64": "YYAaLhDMC6TqUcZK9QKkpmE5ZQPr/XxsMULWcHKM5A6xjf1vbS/MFUU0++uKNLtROzlF0OeaYgygAYfdlQdmDg==", + "signing_backend": "verified-dalek-serial", "status": "signed" }, "subject": { "component": "dalek-ed25519-verified", "kind": "ed25519", - "repo_commit": "8ded7bcf9a1f0016cee93f371796b935b25b7ff8", + "repo_commit": "33fb8bb2311c70ead2e83c060ad5149d46ab44de", "repo_url": "https://github.com/saymrwulf/dalek-ed25519-verified.git", "verification_dir": "verification", "verified_backend": "serial/u64" diff --git a/examples/wallet-evidence/dalek-ed25519-verified.receipt.json b/examples/wallet-evidence/dalek-ed25519-verified.receipt.json index c68e6eb..8702470 100644 --- a/examples/wallet-evidence/dalek-ed25519-verified.receipt.json +++ b/examples/wallet-evidence/dalek-ed25519-verified.receipt.json @@ -1,32 +1,40 @@ { + "attestation_digest_sha256": "c7fb08ec5558b0135c4ba8cc766fe382287c3414e4a6fc33c457ce766eba254c", + "attestation_path": "provider/out/reattest/dalek-ed25519.attestation.yaml", + "consistency": { + "from_root_hash": "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283", + "from_tree_size": 8, + "proof": [ + "072b178a18d64012987903179d634cf22d1378d71f7e2a0d79fa29c95b0c3856" + ], + "status": "included" + }, "hash_algorithm": "RFC9162_SHA256", "inclusion_proof": [ - "33523f3ea6b6eab72696eead8534d0b7cac78feb60cc3907ac973a24f37adb95", - "3bb1e72abbc9c0b945dafde303acdab123996e41faeab49a35563886b1b41e96", - "04541cffd46cf5a97d7453ed8ae681b1a1fedb879eb8c7a262e05b3176159eed" + "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283" ], - "leaf_hash": "ca164b6cf11aec6a4c8de2d18c2c2fa04c9323657bd7daf4e7111869201bfec2", - "leaf_index": 4, + "leaf_hash": "072b178a18d64012987903179d634cf22d1378d71f7e2a0d79fa29c95b0c3856", + "leaf_index": 8, "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", "schema_version": 1, "sth": { "hash_algorithm": "RFC9162_SHA256", "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", - "root_hash": "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283", + "root_hash": "c3f46a9c2081be0ef9f8520ae899a31df64bd04978cb682ca754e301b34f986e", "schema_version": 1, "signatures": { "ed25519": { - "payload_digest_sha256": "c9a3c000d448ebd35e313fac0c9ce0e1dc88ff03540b0828e5246407c75e2a1a", + "payload_digest_sha256": "20ba4efed6d6fabba655909c0581f200526b7b66248bc7482089a85fd1655cb4", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "P8M4gjB7BCZblUvRtvJnbjfaTYKU4oO0/2LZwzpHIgp9fmOXGZqkqi7UaP5Fn1Kx4+RJSgyI2nnnK1pLpkV8CQ==", + "signature_base64": "ahB1t+6LbxI0gheYPY0Wt15rMimG5tsLq59B8LNr+3/gaoU8PmRIUXs26JHodxlSRTMqjXjYrUTcDZYj6IaGCA==", "signing_backend": "verified-dalek-serial", "signing_provenance": { "self_inclusion": "verified", "signing_backend": "verified-dalek-serial", "signing_library_certificates_proven": "16/16", "signing_library_component": "dalek-ed25519-verified", - "signing_library_leaf_index": 4, + "signing_library_leaf_index": 8, "signing_library_source_commit": "aa0f6abc327ba2a54a534b21608ca8996cf73682" }, "status": "signed" @@ -38,10 +46,10 @@ "status": "not_configured" } }, - "timestamp": "2026-07-06T13:59:16Z", - "tree_size": 8, + "timestamp": "2026-07-07T19:12:16Z", + "tree_size": 9, "type": "pacta.transparency.signed_tree_head.v1" }, - "tree_size": 8, + "tree_size": 9, "type": "pacta.transparency.receipt.v1" } diff --git a/examples/wallet-evidence/risc0-ed25519-verified.attestation.json b/examples/wallet-evidence/risc0-ed25519-verified.attestation.json index 9f420e7..68fa345 100644 --- a/examples/wallet-evidence/risc0-ed25519-verified.attestation.json +++ b/examples/wallet-evidence/risc0-ed25519-verified.attestation.json @@ -298,14 +298,14 @@ } ], "environment": { - "env_script": "~/aeneas-toolchain/env.sh", + "env_script": "/home/oho/aeneas-toolchain/env.sh", "lake_version": "Lake version 5.0.0-src+3dc1a08 (Lean version 4.30.0-rc2)", "lean_project_dir": "/home/oho/aeneas-toolchain/aeneas/backends/lean", "lean_version": "Lean (version 4.30.0-rc2, x86_64-unknown-linux-gnu, commit 3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc, Release)" }, - "issued_at": "2026-07-06T12:21:40Z", + "issued_at": "2026-07-07T18:41:39Z", "machine_protection": { - "lean_guard": "/home/oho/GitClone/Claude/FormalVerification/risc0-ed25519-verified/verification/lean-guard", + "lean_guard": "verification/lean-guard", "note": "All Lean compiles route through the repo's lean-guard (memory cap, core pinning, timeout, single-flight lock) when configured." }, "provider": "local-pacta-provider", @@ -323,16 +323,17 @@ }, "schema_version": 1, "signature": { - "payload_digest_sha256": "d921c5d45f8300eecc0299fc3e11506df67751506b52cda35fb61d517b27712b", + "payload_digest_sha256": "bdfe7a3e9d00bb2385ec44ba42d127b21b89cd92138f33734ecdff4f1f590a85", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "iwi/AR0wLQiGF6p/jBr/3PV01d2m3lmQOXfc/00axng9Tj/YUymGejWuUi1ZleZL1X0cA9NTNKc5bbIT8AyPDA==", + "signature_base64": "0zDYOCiHyiLpbHp6JuHXkHpA2XYFHCnTJ90nAqDmgckkvWz8KeTYvDYnHsRQWipiKJ4QwrrvxMrQD6h5M40aBw==", + "signing_backend": "verified-dalek-serial", "status": "signed" }, "subject": { "component": "risc0-ed25519-verified", "kind": "ed25519", - "repo_commit": "98a13a68539b20ac0279876848aea3687e523462", + "repo_commit": "d3318b6f7912e5a86076c0994e3641b0b4a9593d", "repo_url": "https://github.com/saymrwulf/risc0-ed25519-verified.git", "verification_dir": "verification", "verified_backend": "serial/u64" diff --git a/examples/wallet-evidence/risc0-ed25519-verified.receipt.json b/examples/wallet-evidence/risc0-ed25519-verified.receipt.json index db70514..47d6a28 100644 --- a/examples/wallet-evidence/risc0-ed25519-verified.receipt.json +++ b/examples/wallet-evidence/risc0-ed25519-verified.receipt.json @@ -1,32 +1,43 @@ { + "attestation_digest_sha256": "1e14afebef643ab13ffa88b58346db00f8b36fd49a48f8a90e064f14deb25205", + "attestation_path": "provider/out/reattest/risc0-ed25519.attestation.yaml", + "consistency": { + "from_root_hash": "a3788367f56caeca89cc7d5545cf57a7dba8055a0ecd48fa2de8d793b3554dda", + "from_tree_size": 10, + "proof": [ + "3253f2e4dcb5515e0caf021b1e4a257a15bd04df969aaf08174da745d72cd00f", + "ed368f5f9b3714b5c633bc55971b61c31af55a8022ac9fb567515810007b527f", + "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283" + ], + "status": "included" + }, "hash_algorithm": "RFC9162_SHA256", "inclusion_proof": [ - "2791c352956ebc620a4fe12b20bfd6faa0813238c5bc0563fa4eb0130d829247", - "f3724e66715b582c384cf49928d4705458475ea4293749989c483ab7fe9496ce", - "04541cffd46cf5a97d7453ed8ae681b1a1fedb879eb8c7a262e05b3176159eed" + "3253f2e4dcb5515e0caf021b1e4a257a15bd04df969aaf08174da745d72cd00f", + "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283" ], - "leaf_hash": "bdde4e4b87cd263b5914dbbae0c85ceed468c3054596f6ca79121e54cc6a134e", - "leaf_index": 6, + "leaf_hash": "ed368f5f9b3714b5c633bc55971b61c31af55a8022ac9fb567515810007b527f", + "leaf_index": 10, "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", "schema_version": 1, "sth": { "hash_algorithm": "RFC9162_SHA256", "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", - "root_hash": "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283", + "root_hash": "96f2a27d1a668a2dfe832d26e8870d997cec5447fa636b13d51ec25f441360b4", "schema_version": 1, "signatures": { "ed25519": { - "payload_digest_sha256": "c9a3c000d448ebd35e313fac0c9ce0e1dc88ff03540b0828e5246407c75e2a1a", + "payload_digest_sha256": "ed6632201f4eb36dd7d909ae37df8d82117125fbdaf6a733bf1c6483d3495ea7", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "P8M4gjB7BCZblUvRtvJnbjfaTYKU4oO0/2LZwzpHIgp9fmOXGZqkqi7UaP5Fn1Kx4+RJSgyI2nnnK1pLpkV8CQ==", + "signature_base64": "kK9Ia8HyUBVeWVZlm7IVGyuBzrFS9S3sSn1vfUxlEr2u9hh+A02T+vYxeyPjXD7ZbUL6xlxx8qP5ul7wj5ZTDw==", "signing_backend": "verified-dalek-serial", "signing_provenance": { "self_inclusion": "verified", "signing_backend": "verified-dalek-serial", "signing_library_certificates_proven": "16/16", "signing_library_component": "dalek-ed25519-verified", - "signing_library_leaf_index": 4, + "signing_library_leaf_index": 8, "signing_library_source_commit": "aa0f6abc327ba2a54a534b21608ca8996cf73682" }, "status": "signed" @@ -38,10 +49,10 @@ "status": "not_configured" } }, - "timestamp": "2026-07-06T13:59:16Z", - "tree_size": 8, + "timestamp": "2026-07-07T19:12:16Z", + "tree_size": 11, "type": "pacta.transparency.signed_tree_head.v1" }, - "tree_size": 8, + "tree_size": 11, "type": "pacta.transparency.receipt.v1" }