You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
"body": "Matt Mueller noticed that the process was ambiguous about where the MTCProof fields came from, and that we didn't consistently rename the OID to match the id-alg-* convention that LAMPS seems to be using these days.\r\n\r\nFrom there I also noticed that the shape of RFC 9162, section 2.1.3.2 doesn't quite fit what we need. We want to run the inclusion proof, get the expected subtree hash, and then check a signature over it. RFC 9162 assumes you already know the subtree hash and are just checking it. I copy-pasted the description from RFC 9162 and inlined the small changes we were making.",
"body": "This is implicit in subtree evaluation now.",
8545
+
"createdAt": "2025-09-16T19:19:37Z",
8546
+
"updatedAt": "2025-09-16T19:19:37Z"
8547
+
}
8548
+
]
8549
+
},
8550
+
{
8551
+
"id": "PRR_kwDOJIBkVc7AvG2j",
8552
+
"commit": {
8553
+
"abbreviatedOid": "df21aa7"
8554
+
},
8555
+
"author": "bwesterb",
8556
+
"authorAssociation": "COLLABORATOR",
8557
+
"state": "APPROVED",
8558
+
"body": "",
8559
+
"createdAt": "2025-09-17T09:42:33Z",
8560
+
"updatedAt": "2025-09-17T09:42:33Z",
8561
+
"comments": []
8562
+
},
8563
+
{
8564
+
"id": "PRR_kwDOJIBkVc7AzrcA",
8565
+
"commit": {
8566
+
"abbreviatedOid": "df21aa7"
8567
+
},
8568
+
"author": "lukevalenta",
8569
+
"authorAssociation": "COLLABORATOR",
8570
+
"state": "COMMENTED",
8571
+
"body": "",
8572
+
"createdAt": "2025-09-17T14:28:07Z",
8573
+
"updatedAt": "2025-09-17T14:28:08Z",
8574
+
"comments": [
8575
+
{
8576
+
"originalPosition": 25,
8577
+
"body": "I think this is another case where it will never terminate due to the \"`fn` is 0\" condition.\r\n```suggestion\r\n 1. Until LSB(fn) is set, right-shift both `fn` and `sn` equally.\r\n```",
8578
+
"createdAt": "2025-09-17T14:28:08Z",
8579
+
"updatedAt": "2025-09-17T14:28:08Z"
8580
+
}
8581
+
]
8582
+
},
8583
+
{
8584
+
"id": "PRR_kwDOJIBkVc7Azvak",
8585
+
"commit": {
8586
+
"abbreviatedOid": "df21aa7"
8587
+
},
8588
+
"author": "lukevalenta",
8589
+
"authorAssociation": "COLLABORATOR",
8590
+
"state": "COMMENTED",
8591
+
"body": "",
8592
+
"createdAt": "2025-09-17T14:31:35Z",
8593
+
"updatedAt": "2025-09-17T14:31:35Z",
8594
+
"comments": [
8595
+
{
8596
+
"originalPosition": 25,
8597
+
"body": "(I made a new PR: https://github.com/davidben/merkle-tree-certs/pull/145)",
8598
+
"createdAt": "2025-09-17T14:31:35Z",
8599
+
"updatedAt": "2025-09-17T14:38:12Z"
8600
+
}
8601
+
]
8602
+
}
8603
+
]
8604
+
},
8605
+
{
8606
+
"number": 145,
8607
+
"id": "PR_kwDOJIBkVc6pF5KJ",
8608
+
"title": "Clarify loop exit condition in subtree inclusion proof verification",
"body": "Entering the loop, either `LSB(fn)` is already set, or `fn` is equal to `sn` which is non-zero. Thus, the right-shifting loop will only ever exit due to `LSB(fn)` being set.",
"body": "I considered suggesting we add an explanatory sentence to \u201cThis is the same as the procedure [\u2026]\u201d because it\u2019s now not as obvious, but it seemed awkward so\u2026 meh.",
0 commit comments