Skip to content

fix: under constrained bug binary merkle root - #1012

Merged
vplasencia merged 3 commits into
mainfrom
fix/under-constrained-bug-binary-merkle-root
Jul 22, 2025
Merged

fix: under constrained bug binary merkle root#1012
vplasencia merged 3 commits into
mainfrom
fix/under-constrained-bug-binary-merkle-root

Conversation

@vplasencia

Copy link
Copy Markdown
Member

Description

This PR updates the @zk-kit/binary-merkle-root.circom dependency to incorporate a recent bug fix from ZK-Kit.

Details

Due to changes in the Semaphore circuit, a new Trusted Setup Ceremony is required. This PR includes the updated libraries along with the results of the staging ceremony.

Staging Trusted Setup Ceremony: https://pse-p0tion-staging.web.app/projects/Semaphore%20Binary%20Merkle%20Root%20Fix

Related Issue(s)

Closes #999

Checklist

  • I have performed a self-review of my code
  • I have commented my code, particularly in hard-to-understand areas
  • My changes generate no new warnings
  • I have run yarn format and yarn lint without getting any errors
  • I have added tests that prove my fix is effective or that my feature works
  • New and existing unit tests pass locally with my changes

Important

We do not accept pull requests for minor grammatical fixes (e.g., correcting typos, rewording sentences) or for fixing broken links, unless they significantly improve clarity or functionality. These contributions, while appreciated, are not a priority for merging. If you notice any of these issues, please create a GitHub Issue to report them so they can be properly tracked and addressed.

* fix(circuits)!: update binary merkle root circuit version

re #999

* chore: update snarkjs version from 0.7.4 to 0.7.5
refactor: update the proof package and smart contracts with new zk artifacts
@vplasencia
vplasencia requested a review from a team as a code owner July 22, 2025 19:44
@openzeppelin-code

Copy link
Copy Markdown

fix: under constrained bug binary merkle root

Generated at commit: 49053534d272022e3168ecdbc7fc0a0ac12ab11f

🚨 Report Summary

Severity Level Results
Contracts Critical
High
Medium
Low
Note
Total
0
0
0
5
15
20
Dependencies Critical
High
Medium
Low
Note
Total
0
0
0
0
0
0

For more details view the full report in OpenZeppelin Code Inspector

@vplasencia
vplasencia merged commit 88004d9 into main Jul 22, 2025
4 checks passed
@vplasencia
vplasencia deleted the fix/under-constrained-bug-binary-merkle-root branch July 22, 2025 21:02
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.

Update binary-merkle-root.circom version

2 participants