Skip to content
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.

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

get storage recursive proof #330

Merged
merged 2 commits into from
Jun 10, 2024
Merged

get storage recursive proof #330

merged 2 commits into from
Jun 10, 2024

Conversation

akonior
Copy link
Collaborator

@akonior akonior commented Jun 7, 2024

No description provided.

@akonior akonior force-pushed the arek/get_storage_recursive branch from 5e66924 to 47113f1 Compare June 7, 2024 08:24
@akonior akonior force-pushed the arek/get_storage_recursive branch from e1a10ae to b036fd8 Compare June 7, 2024 09:01
@akonior akonior force-pushed the arek/get_storage_recursive branch from b036fd8 to c800523 Compare June 7, 2024 09:03
@akonior akonior force-pushed the arek/get_storage_recursive branch from c800523 to 0894363 Compare June 7, 2024 09:17
@akonior akonior marked this pull request as ready for review June 7, 2024 09:37
@akonior akonior force-pushed the arek/get_storage_recursive branch from 0894363 to 7fae049 Compare June 7, 2024 09:49
fn success() {
let result = StorageWithinBlock { block_hash: hash, account, values };
// This is not a correct proof but it passes because nargo does not verify it. Nargo thinks that it's bb's job, but doesn't call bb.
let recursive_proof = RecursiveProof { proof: zeroed(), verification_key: zeroed(), key_hash: zeroed() };
Copy link
Collaborator

Choose a reason for hiding this comment

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

You can use zeroed on the whole struct once instead of using on each field

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

done

@akonior akonior added this pull request to the merge queue Jun 10, 2024
Merged via the queue into main with commit 3e7c89f Jun 10, 2024
6 checks passed
@akonior akonior deleted the arek/get_storage_recursive branch June 10, 2024 11:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants