Skip to content

feat: updating to most recent booju,m, and making more public#109

Merged
mm-zk merged 1 commit intomainfrom
mmzk_0821_updating_more_open
Aug 21, 2025
Merged

feat: updating to most recent booju,m, and making more public#109
mm-zk merged 1 commit intomainfrom
mmzk_0821_updating_more_open

Conversation

@mm-zk
Copy link
Contributor

@mm-zk mm-zk commented Aug 21, 2025

What ❔

  • Updating dependencies to the most recent ones (especially boojum ones)
  • making parts of the proof compression more public

Why ?

Will allow us to run GPU for zkos wrapper.

@mm-zk mm-zk requested a review from EmilLuta August 21, 2025 11:38
Copy link
Contributor

@EmilLuta EmilLuta left a comment

Choose a reason for hiding this comment

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

Let's rerun CI once the versions are in place from this PR. I want CI to pass before merging.

@mm-zk mm-zk changed the title chore: updating to most recent booju,m, and making more public feat: updating to most recent booju,m, and making more public Aug 21, 2025
@mm-zk mm-zk merged commit c4d579b into main Aug 21, 2025
29 of 55 checks passed
@mm-zk mm-zk deleted the mmzk_0821_updating_more_open branch August 21, 2025 15:37
mm-zk pushed a commit that referenced this pull request Aug 21, 2025
🤖 I have created a release *beep* *boop*
---


##
[0.154.7](v0.154.6...v0.154.7)
(2025-08-21)


### Features

* updating to most recent booju,m, and making more public
([#109](#109))
([c4d579b](c4d579b))

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).

---------

Co-authored-by: zksync-era-bot <zksync-era-bot@users.noreply.github.com>
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.

2 participants