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

Bonsai: Migrate SnarkProof types to match backend #853

Merged
merged 12 commits into from
Sep 12, 2023

Conversation

mothran
Copy link
Contributor

@mothran mothran commented Sep 11, 2023

Migrated to the more complete SnarkProof type from Bonsai to enable easier ETH verify integrations.

I updated most of the relay codebase to match the the new format, I hope I got everything wired up correctly but if someone who knows how to drive e2e testing with bonsai could help me validate it that would be great!.

Migrated to the SnarkProof + SnarkSeal model from bonsai inline with the
backend changes
@mothran mothran marked this pull request as ready for review September 11, 2023 22:32
Copy link
Member

@tzerrell tzerrell left a comment

Choose a reason for hiding this comment

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

LGTM, but mostly from a DevEx/API perspective, I'm not really able to evaluate the implementation.

Copy link
Contributor

@nategraf nategraf left a comment

Choose a reason for hiding this comment

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

Definitely an improvement to code quality ❤️

I added one comment arguing the semantics of "receipt" and "proof", depending on your definition of semantics.

Copy link
Contributor

Choose a reason for hiding this comment

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

I like this simplification!

bonsai/sdk/src/alpha.rs Outdated Show resolved Hide resolved
@mothran
Copy link
Contributor Author

mothran commented Sep 12, 2023

Update: bonsai-foundry-template ( with some update: risc0/risc0-foundry-template#58) works e2e on my end!

@mothran mothran merged commit e3ff7ff into main Sep 12, 2023
16 checks passed
@mothran mothran deleted the parker/bonsai-snark-types branch September 12, 2023 21:07
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.

None yet

3 participants