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

Proof file restructure #1846

Merged

mitschabaude merged 4 commits into main from feature/provable-proofs

Oct 2, 2024

Collaborator

mitschabaude commented Oct 2, 2024 •

edited

Loading

to make zkprogram / proof stuff easier to work with, split zkprogram.ts into 3 files
- I want to work on Make Proof a normal Provable to compose within Structs #1039 and having these changes in the same PR would make it unreviewable
- no changes to any code here, just shifting around code
unrelatedly, export some utility types from o1js that were missing

mitschabaude added 3 commits

September 23, 2024 14:38


          add missing exports

c1e8d6e


          split out feature flags and proof into their own files

dfce473


          Merge branch 'feature/type-exports' into feature/provable-proofs

e5f0bf4

Trivo25 approved these changes

View reviewed changes


          prune imports

6017d63

Collaborator Author

mitschabaude commented Oct 2, 2024

pushed another small change I forgot, prune imports in the new proof file

mitschabaude merged commit e255dcb into main

25 checks passed

mitschabaude deleted the feature/provable-proofs branch

October 2, 2024 12:55

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet