Skip to content

feat(proof-compression): better proof compression#67

Merged
Artemka374 merged 20 commits intomainfrom
si/better-proof-compression
Jan 17, 2025
Merged

feat(proof-compression): better proof compression#67
Artemka374 merged 20 commits intomainfrom
si/better-proof-compression

Conversation

@saitima
Copy link
Contributor

@saitima saitima commented Jan 10, 2025

What ❔

This PR introduces a type-safe compression pipeline and extension utilities for Boojum proofs to both fflonk and plonk SNARK proofs.

Why ❔

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.
  • Code has been formatted via zk fmt and zk lint.

@saitima saitima requested a review from Artemka374 January 10, 2025 16:51
@saitima saitima force-pushed the si/better-proof-compression branch from 38ec149 to 00ebc2e Compare January 11, 2025 19:37
@saitima saitima force-pushed the si/better-proof-compression branch from 00ebc2e to eab05b8 Compare January 11, 2025 19:40
Artemka374
Artemka374 previously approved these changes Jan 14, 2025
Artemka374
Artemka374 previously approved these changes Jan 15, 2025
@Artemka374 Artemka374 merged commit f4eac96 into main Jan 17, 2025
13 checks passed
@Artemka374 Artemka374 deleted the si/better-proof-compression branch January 17, 2025 14:50
Artemka374 pushed a commit that referenced this pull request Jan 17, 2025
🤖 I have created a release *beep* *boop*
---


##
[0.152.11](v0.152.10...v0.152.11)
(2025-01-17)


### Features

* **proof-compression:** better proof compression
([#67](#67))
([f4eac96](f4eac96))


### Bug Fixes

* better CUDA detection
([#61](#61))
([e902ca4](e902ca4))

---
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.

3 participants