docs(specs): name the component that enforces the commitment algorithm; let a metadata-only Consumer reject stale evidence - #24
Merged
Conversation
xgreenx
force-pushed
the
spec/req-38-25a
branch
3 times, most recently
from
September 3, 2026 00:55
fe5c1bb to
3e95995
Compare
xgreenx
marked this pull request as ready for review
September 3, 2026 00:56
Wondertan
approved these changes
Sep 3, 2026
Wondertan
changed the base branch from
docs/ceremony-browser-contract
to
main
September 3, 2026 09:07
…a-only Consumer rejects stale evidence REQ-COMMON-38 asked the Platform Verifier to reject a commitment made with another hash algorithm, which nothing on a Consumer Chain can see. The Proving Circuit opens commitments with the pinned algorithm and no other; a commitment made any other way fails the proof. The requirement says that now. REQ-COMMON-25A asked every Consumer to complete an operation with stale metadata. A Consumer whose only effect is the metadata write would spend the Authorization Digest for nothing; it now rejects stale evidence, and TEST-COMMON-13 distinguishes the two cases. Signed-off-by: xgreenx <xgreenx9999@gmail.com> Assisted-by: Claude Fable 5.1
Wondertan
force-pushed
the
spec/req-38-25a
branch
from
September 3, 2026 09:13
3603227 to
4f205fd
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
IdentityNames(StaleProof). Consumers with a further effect still complete it.Lint: no findings introduced over the base.