Skip to content

BM-1469: Support ClaimDigestMatch predicate and integrate Bltvm2 compatible blake3 compression type #1002

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 34 commits into
base: ec2/claim-digest
Choose a base branch
from
Draft

BM-1469: Support ClaimDigestMatch predicate and integrate Bltvm2 compatible blake3 compression type #1002

wants to merge 34 commits into from

Conversation

ec2
Copy link
Contributor

@ec2 ec2 commented Aug 11, 2025 •
edited
Loading

Points to some local dependencies right now so won't run on other computers. Draft PR so I can seek feedback more easily.
TODO:
[] Bento Integration
[] Fix predicate eval

ec2 added 25 commits August 1, 2025 18:08
@ec2
point bonsai sdk to shrink-bitvm2 branch
28cf40e
@ec2
implement shrink methods on Prover trait
78e786b
@ec2
selector
f344330
@ec2
Merge branch 'main' into ec2/bitvm
00572d1
@ec2
Add flag in Filfillment solidity struct to indicate is imageId is cla…
7dd797c 
…imDigest
@ec2
Merge branch 'angelo/claim-digest' into ec2/bitvm
85e5d25
@ec2
add to deploy
131f7ea
@ec2
with_shrink_bitvm2_proof
82074f8
@ec2
debug logging
5b1da5c
@ec2
i think it works?
553e17f
@ec2
add test, but it fails
608021f
@ec2
work-ish
5ee26d8
@ec2
Ok things work. But how do we enforce guests to hash journal?
1eac4b3
@ec2
fulfil test
edc3a8b
@ec2
move shrink bitvm2 in separate crate
5ef81c4
@ec2
complete some todos in boundless cli
0acf554
@ec2
enforce 32byte journal if shrink bitvm2
3f8701e
@ec2
bitvm2 contract deploy test-utils
232028e
@ec2
fix submit batch claim digest for shrink bvm2
9e91f85
@ec2
test-utils deploy bvm2 verifier
8ac0398
@ec2
should work with example now
0513cba
@ec2
example should work
adc5aa6
@ec2
submitter: use claim digest provided in the predicate
495c51f
@ec2
some comments
3ff03e7
@ec2
Merge branch 'ec2/claim-digest' into ec2/bitvm
f5ffd54
@ec2 ec2 changed the base branch from main to ec2/claim-digest August 12, 2025 15:47
@github-actions github-actions bot changed the title Support ClaimDigestMatch predicate and integrate Bltvm2 compatible blake3 compression type BM-1469: Support ClaimDigestMatch predicate and integrate Bltvm2 compatible blake3 compression type Aug 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@capossele capossele Awaiting requested review from capossele capossele will be requested when the pull request is marked ready for review capossele is a code owner

@Wollac Wollac Awaiting requested review from Wollac Wollac will be requested when the pull request is marked ready for review Wollac is a code owner

@zeroecco zeroecco Awaiting requested review from zeroecco zeroecco will be requested when the pull request is marked ready for review zeroecco is a code owner

@austinabell austinabell Awaiting requested review from austinabell austinabell will be requested when the pull request is marked ready for review austinabell is a code owner

@willemolding willemolding Awaiting requested review from willemolding willemolding will be requested when the pull request is marked ready for review willemolding is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@ec2