Skip to content

[COR-2368] Fix inability to make a zero-knowledge proof in certain cases#667

Open
Ivan-Mahda wants to merge 6 commits intomainfrom
COR-2368-zkp-update
Open

[COR-2368] Fix inability to make a zero-knowledge proof in certain cases#667
Ivan-Mahda wants to merge 6 commits intomainfrom
COR-2368-zkp-update

Conversation

@Ivan-Mahda
Copy link
Copy Markdown
Contributor

@Ivan-Mahda Ivan-Mahda commented Apr 17, 2026

Purpose

Fix such that an attribute can both be used in bullet proofs and revealed at the same time. This was not possible for identity based presentations (actually, it depended on the order of the statements, if the prover would fail

Changes

Removed single statement checks and validation

Checklist

  • My code follows the style of this project.
  • The code compiles without warnings.
  • I have performed a self-review of the changes.
  • I have documented my code, in particular the intent of the
    hard-to-understand areas.
  • (If necessary) I have updated the CHANGELOG.

@Ivan-Mahda Ivan-Mahda requested a review from soerenbf April 20, 2026 08:29
Comment thread deps/concordium-base
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

how come the concordium-base reference was updated as part of this? 🤔

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

I looked at how it was done in other PRs
For example:
https://github.com/Concordium/concordium-node-sdk-js/pull/620/changes
And used command: git submodule update --remote --merge
The reason for this is that some of the changes for zkp were made in concordium-base, so it also needed to be updated.

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