Skip to content

Conversation

@drahnr
Copy link

@drahnr drahnr commented Aug 18, 2025

@drahnr drahnr force-pushed the bernhard-617-batch-proof branch from 69a1424 to 5c849d3 Compare August 18, 2025 17:59
@drahnr drahnr force-pushed the bernhard-617-batch-proof branch from b6850b8 to b64093a Compare August 18, 2025 18:01
@drahnr drahnr requested a review from igamigo August 18, 2025 18:28
@drahnr drahnr added the no docs This PR does not require an update to documentation files label Aug 18, 2025
Copy link
Collaborator

@igamigo igamigo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! LGTM

@drahnr
Copy link
Author

drahnr commented Aug 22, 2025

@igamigo this is currently out of sync with the node PR, which I'll update shortly. So please hold off on merging just yet :)

@drahnr
Copy link
Author

drahnr commented Aug 22, 2025

I reverted some changes in 0xMiden/miden-node#1158 ( see 0xMiden/miden-node#1158 (comment) ), so this is good to once the former landed.

@drahnr drahnr marked this pull request as ready for review August 22, 2025 12:36
Copy link
Contributor

@tomyrd tomyrd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, left a couple of comments. We should wait for the node PR to be merged before this one (and also update the referenced branch).

Comment on lines +227 to +233
partial_storage_smts.iter().try_for_each(|(_slot, partial_smt)| {
for (key, _value) in partial_smt.entries() {
// validate all required inner nodes of the merkle path for the specific leaf exist
let _proof = partial_smt.open(key)?;
}
}
Ok::<_, crate::rpc::RpcError>(())
})?;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is this needed? Checking the internal logic of PartialSmt and Smt, PartialSmt::entries will return an iterator over the tracked leaves and PartialSmt::open will only fail if the leaf isn't tracked.

@igamigo
Copy link
Collaborator

igamigo commented Nov 7, 2025

@drahnr, I think we could close this for now, no?

@bobbinth
Copy link
Contributor

bobbinth commented Nov 7, 2025

Yes, I think this is obsolete now. We may still come back to the general idea of this, but it'll probably look very different from this PR.

@bobbinth bobbinth closed this Nov 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no docs This PR does not require an update to documentation files

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants