saymrwulf/lean-transparency-log
1
0
Fork 0
mirror of https://github.com/saymrwulf/lean-transparency-log.git synced 2026-09-05 20:10:41 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

log update: leaves 8-11 - re-attestation of all four forks at rewritten repository histories (16/16 boundary-exact each; tree 8 -> 12)

Browse source
This commit is contained in:
mrwulf 2026-07-07 21:12:41 +02:00
parent 4a63d6d194
commit ec12dda9cb
14 changed files with 1498 additions and 78 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

373
entries/000008.json Normal file
View file

@ -0,0 +1,373 @@
{
"index": 8,
"leaf": {
"attestation": {
"certificates": [
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.fieldImplementation",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.edwardsImplementation",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "ScalarProofs.scalarImplementation",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.verify_loop_full",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.to_bytes_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.ed_compress_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "ScalarProofs.from_bytes_mod_order_wide_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.vartime_dsm_basepoint_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.enc_point_inj",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.sqrt_ratio_i_sq_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.from_bytes_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.decompress_of_canonical",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"sha2.Sha512",
"verifying.sha512_new",
"verifying.sha512_update",
"verifying.sha512_finalize_bytes",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"name": "CurveFieldProofs.verify_accepts_iff",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"sha2.Sha512",
"verifying.sha512_finalize_bytes",
"verifying.sha512_new",
"verifying.sha512_update",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"sha2.Sha512",
"verifying.sha512_new",
"verifying.sha512_update",
"verifying.sha512_finalize_bytes",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"name": "CurveFieldProofs.verify_accepts_iff_point",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"sha2.Sha512",
"verifying.sha512_finalize_bytes",
"verifying.sha512_new",
"verifying.sha512_update",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"sha2.Sha512",
"verifying.sha512_new",
"verifying.sha512_update",
"verifying.sha512_finalize_bytes",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"name": "CurveFieldProofs.verify_accepts_iff_point_eq",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"sha2.Sha512",
"verifying.sha512_finalize_bytes",
"verifying.sha512_new",
"verifying.sha512_update",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"sha2.Sha512",
"verifying.sha512_new",
"verifying.sha512_update",
"verifying.sha512_finalize_bytes",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"name": "CurveFieldProofs.verify_accepts_iff_decompress",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"sha2.Sha512",
"verifying.sha512_finalize_bytes",
"verifying.sha512_new",
"verifying.sha512_update",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"status": "proven"
}
],
"environment": {
"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-07T16:48:27Z",
"machine_protection": {
"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",
"replay": {
"axiom_attempted": true,
"axiom_diagnostics": [],
"axiom_log_path": "provider/out/logs/axiom-audit.log",
"axiom_ok": true,
"check_attempted": true,
"check_log_path": "provider/out/logs/lean-check.log",
"check_ok": true,
"checked_files": 64,
"diagnostics": [],
"failed_files": []
},
"schema_version": 1,
"signature": {
"payload_digest_sha256": "7e93a37ad82a2be59e5ed4a09a25f8965dfff59dd04f52360a89abc839f17066",
"public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a",
"scheme": "openssl-ed25519",
"signature_base64": "YYAaLhDMC6TqUcZK9QKkpmE5ZQPr/XxsMULWcHKM5A6xjf1vbS/MFUU0++uKNLtROzlF0OeaYgygAYfdlQdmDg==",
"signing_backend": "verified-dalek-serial",
"status": "signed"
},
"subject": {
"component": "dalek-ed25519-verified",
"kind": "ed25519",
"repo_commit": "33fb8bb2311c70ead2e83c060ad5149d46ab44de",
"repo_url": "https://github.com/saymrwulf/dalek-ed25519-verified.git",
"verification_dir": "verification",
"verified_backend": "serial/u64"
}
},
"schema_version": 1,
"type": "pacta.transparency.attestation_leaf.v1"
},
"leaf_hash": "072b178a18d64012987903179d634cf22d1378d71f7e2a0d79fa29c95b0c3856"
}

341
entries/000009.json Normal file
View file

@ -0,0 +1,341 @@
{
"index": 9,
"leaf": {
"attestation": {
"certificates": [
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.fieldImplementation",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.edwardsImplementation",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "ScalarProofs.scalarImplementation",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.verify_loop_full",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.to_bytes_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.ed_compress_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "ScalarProofs.from_bytes_mod_order_wide_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.vartime_dsm_basepoint_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.enc_point_inj",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.sqrt_ratio_i_sq_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.from_bytes_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.decompress_of_canonical",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"ed_sigs.sha512_hash3",
"ed25519.Signature.r_bytes",
"ed25519.Signature.s_bytes"
],
"name": "CurveFieldProofs.verify_accepts_iff",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"ed_sigs.sha512_hash3",
"ed25519.Signature.r_bytes",
"ed25519.Signature.s_bytes"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"ed_sigs.sha512_hash3",
"ed25519.Signature.r_bytes",
"ed25519.Signature.s_bytes"
],
"name": "CurveFieldProofs.verify_accepts_iff_point",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"ed_sigs.sha512_hash3",
"ed25519.Signature.r_bytes",
"ed25519.Signature.s_bytes"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"ed_sigs.sha512_hash3",
"ed25519.Signature.r_bytes",
"ed25519.Signature.s_bytes"
],
"name": "CurveFieldProofs.verify_accepts_iff_point_eq",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"ed_sigs.sha512_hash3",
"ed25519.Signature.r_bytes",
"ed25519.Signature.s_bytes"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"ed_sigs.sha512_hash3",
"ed25519.Signature.r_bytes",
"ed25519.Signature.s_bytes"
],
"name": "CurveFieldProofs.verify_accepts_iff_decompress",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"ed_sigs.sha512_hash3",
"ed25519.Signature.r_bytes",
"ed25519.Signature.s_bytes"
],
"status": "proven"
}
],
"environment": {
"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-07T18:11:52Z",
"machine_protection": {
"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",
"replay": {
"axiom_attempted": true,
"axiom_diagnostics": [],
"axiom_log_path": "provider/out/logs/axiom-audit.log",
"axiom_ok": true,
"check_attempted": true,
"check_log_path": "provider/out/logs/lean-check.log",
"check_ok": true,
"checked_files": 58,
"diagnostics": [],
"failed_files": []
},
"schema_version": 1,
"signature": {
"payload_digest_sha256": "85680e6f68a50822fa166af1241342137e10fcc0dea6e8a9113602ada6066fe3",
"public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a",
"scheme": "openssl-ed25519",
"signature_base64": "uYKqzHsowQ8M15Uci6cPt3u2ZNQ5AWL0H8Sya04dfTYxHZzbPo6laWTR+yV5A4uIRem6EZCBDARO2AzfF/S6Dw==",
"signing_backend": "verified-dalek-serial",
"status": "signed"
},
"subject": {
"component": "anza-ed25519-verified",
"kind": "ed25519",
"repo_commit": "25b73f1778de0084eb0166a934df95c186c9ef01",
"repo_url": "https://github.com/saymrwulf/anza-ed25519-verified.git",
"verification_dir": "verification",
"verified_backend": "serial/u64"
}
},
"schema_version": 1,
"type": "pacta.transparency.attestation_leaf.v1"
},
"leaf_hash": "b1034bc68193c9c4eeee03289acd5641fc514615900cba7ee2457eaf25ef743b"
}

349
entries/000010.json Normal file
View file

@ -0,0 +1,349 @@
{
"index": 10,
"leaf": {
"attestation": {
"certificates": [
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.fieldImplementation",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.edwardsImplementation",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "ScalarProofs.scalarImplementation",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.verify_loop_full",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.to_bytes_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.ed_compress_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "ScalarProofs.from_bytes_mod_order_wide_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.vartime_dsm_basepoint_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.enc_point_inj",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.sqrt_ratio_i_sq_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.from_bytes_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.decompress_of_canonical",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"name": "CurveFieldProofs.verify_accepts_iff",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"name": "CurveFieldProofs.verify_accepts_iff_point",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"name": "CurveFieldProofs.verify_accepts_iff_point_eq",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"name": "CurveFieldProofs.verify_accepts_iff_decompress",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"status": "proven"
}
],
"environment": {
"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-07T18:41:39Z",
"machine_protection": {
"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",
"replay": {
"axiom_attempted": true,
"axiom_diagnostics": [],
"axiom_log_path": "provider/out/logs/axiom-audit.log",
"axiom_ok": true,
"check_attempted": true,
"check_log_path": "provider/out/logs/lean-check.log",
"check_ok": true,
"checked_files": 63,
"diagnostics": [],
"failed_files": []
},
"schema_version": 1,
"signature": {
"payload_digest_sha256": "bdfe7a3e9d00bb2385ec44ba42d127b21b89cd92138f33734ecdff4f1f590a85",
"public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a",
"scheme": "openssl-ed25519",
"signature_base64": "0zDYOCiHyiLpbHp6JuHXkHpA2XYFHCnTJ90nAqDmgckkvWz8KeTYvDYnHsRQWipiKJ4QwrrvxMrQD6h5M40aBw==",
"signing_backend": "verified-dalek-serial",
"status": "signed"
},
"subject": {
"component": "risc0-ed25519-verified",
"kind": "ed25519",
"repo_commit": "d3318b6f7912e5a86076c0994e3641b0b4a9593d",
"repo_url": "https://github.com/saymrwulf/risc0-ed25519-verified.git",
"verification_dir": "verification",
"verified_backend": "serial/u64"
}
},
"schema_version": 1,
"type": "pacta.transparency.attestation_leaf.v1"
},
"leaf_hash": "ed368f5f9b3714b5c633bc55971b61c31af55a8022ac9fb567515810007b527f"
}

349
entries/000011.json Normal file
View file

@ -0,0 +1,349 @@
{
"index": 11,
"leaf": {
"attestation": {
"certificates": [
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.fieldImplementation",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.edwardsImplementation",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "ScalarProofs.scalarImplementation",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.verify_loop_full",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.to_bytes_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.ed_compress_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "ScalarProofs.from_bytes_mod_order_wide_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.vartime_dsm_basepoint_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.enc_point_inj",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.sqrt_ratio_i_sq_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.from_bytes_spec",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"name": "CurveFieldProofs.decompress_of_canonical",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"name": "CurveFieldProofs.verify_accepts_iff",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"name": "CurveFieldProofs.verify_accepts_iff_point",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"name": "CurveFieldProofs.verify_accepts_iff_point_eq",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"status": "proven"
},
{
"axiom_status": "clean",
"diagnostics": [],
"expected_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"name": "CurveFieldProofs.verify_accepts_iff_decompress",
"observed_axioms": [
"propext",
"Classical.choice",
"Quot.sound",
"ed25519.Signature",
"verifying.sha512_hash3",
"ed25519.Signature.to_bytes",
"signature.error.Error",
"signature.error.Error.new"
],
"status": "proven"
}
],
"environment": {
"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-07T19:11:37Z",
"machine_protection": {
"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",
"replay": {
"axiom_attempted": true,
"axiom_diagnostics": [],
"axiom_log_path": "provider/out/logs/axiom-audit.log",
"axiom_ok": true,
"check_attempted": true,
"check_log_path": "provider/out/logs/lean-check.log",
"check_ok": true,
"checked_files": 63,
"diagnostics": [],
"failed_files": []
},
"schema_version": 1,
"signature": {
"payload_digest_sha256": "4493f174338d5d349085d75ddb62f9eb567ddd3371556386fafe7c83bbf6c360",
"public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a",
"scheme": "openssl-ed25519",
"signature_base64": "4sDjmCz3m1E6sa0+qmVhR/D8yl5zuShFbp33w6SBl4LVw8hLk/lGycRv75XtrabkUFEpISbZMaAWQmPP9ipiCg==",
"signing_backend": "verified-dalek-serial",
"status": "signed"
},
"subject": {
"component": "betrusted-ed25519-verified",
"kind": "ed25519",
"repo_commit": "7b9ef53e488b739ba09a8caf5c2efc3f575db8cc",
"repo_url": "https://github.com/saymrwulf/betrusted-ed25519-verified.git",
"verification_dir": "verification",
"verified_backend": "serial/u64"
}
},
"schema_version": 1,
"type": "pacta.transparency.attestation_leaf.v1"
},
"leaf_hash": "ad7ccbb6def18dccba7176f4be36ad1ce731c1456672c19310e73e87c4f312df"
}

13
entries/anza-ed25519-verified.attestation.json
View file

@ -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"

13
entries/betrusted-ed25519-verified.attestation.json
View file

@ -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"

13
entries/dalek-ed25519-verified.attestation.json
View file

@ -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"

13
entries/risc0-ed25519-verified.attestation.json
View file

@ -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"

12
latest-sth.json
View file

@ -1,21 +1,21 @@
{
"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"
@ -27,7 +27,7 @@
"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"
}

24
receipts/anza-ed25519-verified.receipt.json
View file

@ -1,32 +1,32 @@
{
"hash_algorithm": "RFC9162_SHA256",
"inclusion_proof": [
"ca164b6cf11aec6a4c8de2d18c2c2fa04c9323657bd7daf4e7111869201bfec2",
"3bb1e72abbc9c0b945dafde303acdab123996e41faeab49a35563886b1b41e96",
"04541cffd46cf5a97d7453ed8ae681b1a1fedb879eb8c7a262e05b3176159eed"
"072b178a18d64012987903179d634cf22d1378d71f7e2a0d79fa29c95b0c3856",
"906823a87681cb8b448d0cb04a36a8f3e0583e2a13259fa849b55506ba903134",
"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": "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 +38,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"
}

24
receipts/betrusted-ed25519-verified.receipt.json
View file

@ -1,32 +1,32 @@
{
"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 +38,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"
}

24
receipts/dalek-ed25519-verified.receipt.json
View file

@ -1,32 +1,32 @@
{
"hash_algorithm": "RFC9162_SHA256",
"inclusion_proof": [
"33523f3ea6b6eab72696eead8534d0b7cac78feb60cc3907ac973a24f37adb95",
"3bb1e72abbc9c0b945dafde303acdab123996e41faeab49a35563886b1b41e96",
"04541cffd46cf5a97d7453ed8ae681b1a1fedb879eb8c7a262e05b3176159eed"
"b1034bc68193c9c4eeee03289acd5641fc514615900cba7ee2457eaf25ef743b",
"906823a87681cb8b448d0cb04a36a8f3e0583e2a13259fa849b55506ba903134",
"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": "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 +38,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"
}

24
receipts/risc0-ed25519-verified.receipt.json
View file

@ -1,32 +1,32 @@
{
"hash_algorithm": "RFC9162_SHA256",
"inclusion_proof": [
"2791c352956ebc620a4fe12b20bfd6faa0813238c5bc0563fa4eb0130d829247",
"f3724e66715b582c384cf49928d4705458475ea4293749989c483ab7fe9496ce",
"04541cffd46cf5a97d7453ed8ae681b1a1fedb879eb8c7a262e05b3176159eed"
"ad7ccbb6def18dccba7176f4be36ad1ce731c1456672c19310e73e87c4f312df",
"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": "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 +38,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"
}

4
sth-history.jsonl
View file

@ -1 +1,5 @@
{"hash_algorithm":"RFC9162_SHA256","log_id":"205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7","root_hash":"9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283","schema_version":1,"signatures":{"ed25519":{"payload_digest_sha256":"c9a3c000d448ebd35e313fac0c9ce0e1dc88ff03540b0828e5246407c75e2a1a","public_key_fingerprint_sha256":"874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a","scheme":"openssl-ed25519","signature_base64":"P8M4gjB7BCZblUvRtvJnbjfaTYKU4oO0/2LZwzpHIgp9fmOXGZqkqi7UaP5Fn1Kx4+RJSgyI2nnnK1pLpkV8CQ==","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_source_commit":"aa0f6abc327ba2a54a534b21608ca8996cf73682"},"status":"signed"},"ml_dsa":{"reason":"A backend appears available, but no ML-DSA signing key was configured for this log.","scheme":"ML-DSA-65","standard":"FIPS 204","status":"not_configured"}},"timestamp":"2026-07-06T13:59:16Z","tree_size":8,"type":"pacta.transparency.signed_tree_head.v1"}
{"hash_algorithm":"RFC9162_SHA256","log_id":"205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7","root_hash":"c3f46a9c2081be0ef9f8520ae899a31df64bd04978cb682ca754e301b34f986e","schema_version":1,"signatures":{"ed25519":{"payload_digest_sha256":"20ba4efed6d6fabba655909c0581f200526b7b66248bc7482089a85fd1655cb4","public_key_fingerprint_sha256":"874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a","scheme":"openssl-ed25519","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":8,"signing_library_source_commit":"aa0f6abc327ba2a54a534b21608ca8996cf73682"},"status":"signed"},"ml_dsa":{"reason":"A backend appears available, but no ML-DSA signing key was configured for this log.","scheme":"ML-DSA-65","standard":"FIPS 204","status":"not_configured"}},"timestamp":"2026-07-07T19:12:16Z","tree_size":9,"type":"pacta.transparency.signed_tree_head.v1"}
{"hash_algorithm":"RFC9162_SHA256","log_id":"205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7","root_hash":"a3788367f56caeca89cc7d5545cf57a7dba8055a0ecd48fa2de8d793b3554dda","schema_version":1,"signatures":{"ed25519":{"payload_digest_sha256":"d036c0413cddf628c90cc6b5e36356dca11f9030eacfdecc2b9ab7ba46441267","public_key_fingerprint_sha256":"874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a","scheme":"openssl-ed25519","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":8,"signing_library_source_commit":"aa0f6abc327ba2a54a534b21608ca8996cf73682"},"status":"signed"},"ml_dsa":{"reason":"A backend appears available, but no ML-DSA signing key was configured for this log.","scheme":"ML-DSA-65","standard":"FIPS 204","status":"not_configured"}},"timestamp":"2026-07-07T19:12:16Z","tree_size":10,"type":"pacta.transparency.signed_tree_head.v1"}
{"hash_algorithm":"RFC9162_SHA256","log_id":"205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7","root_hash":"96f2a27d1a668a2dfe832d26e8870d997cec5447fa636b13d51ec25f441360b4","schema_version":1,"signatures":{"ed25519":{"payload_digest_sha256":"ed6632201f4eb36dd7d909ae37df8d82117125fbdaf6a733bf1c6483d3495ea7","public_key_fingerprint_sha256":"874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a","scheme":"openssl-ed25519","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":8,"signing_library_source_commit":"aa0f6abc327ba2a54a534b21608ca8996cf73682"},"status":"signed"},"ml_dsa":{"reason":"A backend appears available, but no ML-DSA signing key was configured for this log.","scheme":"ML-DSA-65","standard":"FIPS 204","status":"not_configured"}},"timestamp":"2026-07-07T19:12:16Z","tree_size":11,"type":"pacta.transparency.signed_tree_head.v1"}
{"hash_algorithm":"RFC9162_SHA256","log_id":"205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7","root_hash":"bcd15f9d7ea1c9e5bd0a9e64fa8d846208b1e29ee167d4f1eac19b30e6913ee9","schema_version":1,"signatures":{"ed25519":{"payload_digest_sha256":"fab790262c7e1b1eadc0fbf1d10481da0984cd7b99d6e19d98820d2c33d5f34d","public_key_fingerprint_sha256":"874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a","scheme":"openssl-ed25519","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":8,"signing_library_source_commit":"aa0f6abc327ba2a54a534b21608ca8996cf73682"},"status":"signed"},"ml_dsa":{"reason":"A backend appears available, but no ML-DSA signing key was configured for this log.","scheme":"ML-DSA-65","standard":"FIPS 204","status":"not_configured"}},"timestamp":"2026-07-07T19:12:17Z","tree_size":12,"type":"pacta.transparency.signed_tree_head.v1"}