Skip to content

Refactor Non-Interactive Proofs to use type NiProof#154

Merged
survived merged 3 commits intoLFDT-Lockness:cggmp24/mfrom
jfdreis:refactor/NiProofs
Aug 28, 2025
Merged

Refactor Non-Interactive Proofs to use type NiProof#154
survived merged 3 commits intoLFDT-Lockness:cggmp24/mfrom
jfdreis:refactor/NiProofs

Conversation

@jfdreis
Copy link
Contributor

@jfdreis jfdreis commented Aug 26, 2025

This PR partially addresses one of the TODOs in CGGMP24 TODOs:

Refactoring Non Interactive Proofs such that they accept type NiProof = (Commitment, Proof)

Currently, this change has been applied to the Non-Interactive ZK-proof of Paillier-Blum modulus.

Signed-off-by: jfdreis <josevtnreis@gmail.com>
@maurges
Copy link
Contributor

maurges commented Aug 26, 2025

Thanks for the patch, I left a couple of notes

Signed-off-by: jfdreis <josevtnreis@gmail.com>
maurges
maurges previously approved these changes Aug 27, 2025
Signed-off-by: jfdreis <josevtnreis@gmail.com>
Copy link
Contributor

@survived survived left a comment

Choose a reason for hiding this comment

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

Looks great, thank you!

Just a little remark for future PRs: I'd say that it's preferable to write ni_proof instead of niproof, it'd be more correct translation from camel case NiProof

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