Add docs on claim digest match and blake3 #8
Conversation
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
Collaborator
|
@ec2 is this up to date? Otherwise happy to merge this, just need to fetch latest master changes to fix CI test failing |
capossele
reviewed
Jan 6, 2026
developers/tutorials/proof-types.mdx
Outdated
| {/* </StripRustCodeComments> */} | ||
|
|
||
| In addition, Boundless also supports requesting a Blake3 Groth16 proof. This proof type allows for proofs to be verified in environments where SHA2 hashing is impossible or expensive (e.g. BitVM). You can specify this in your proof request by setting the `proof_type` to `ProofType::Blake3Groth16`: | ||
| Note: Blake3 Groth16 proofs require is only supported with the `ClaimDigestMatch` predicate, meaning that you should only use this if you do not require the journal to be delivered on-chain. |
There was a problem hiding this comment.
Might be important to note that with this proof type the journal must be of 32 bytes
willpote
reviewed
Jan 8, 2026
developers/tutorials/proof-types.mdx
Outdated
| {/* </StripRustCodeComments> */} | ||
|
|
||
| In addition, Boundless also supports requesting a Blake3 Groth16 proof. This proof type allows for proofs to be verified in environments where SHA2 hashing is impossible or expensive (e.g. BitVM). You can specify this in your proof request by setting the `proof_type` to `ProofType::Blake3Groth16`: | ||
| Note: Blake3 Groth16 proofs require is only supported with the `ClaimDigestMatch` predicate, meaning that you should only use this if you do not require the journal to be delivered on-chain. |
willpote
reviewed
Jan 8, 2026
developers/tutorials/proof-types.mdx
Outdated
| - If you only need on-chain verification, use the default merkle inclusion proof | ||
| - If you need cross-chain verification or raw proof data, use Groth16 | ||
| - If you need to compose the proof by verifying it within another zkVM guest program, use Groth16 | ||
| - If you don't need the journal to be authenticated, consider using the ClaimDigestMatch predicate |
There was a problem hiding this comment.
Hmm, is authenticated the correct term? Cause doesn't claim digest essentially authenticate the journal also?
Member
Author
|
Hey! Just got back from vacay, sorry for late reply. Looks like the PR feedback was addresed! It should be good to merge |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
No description provided.