Skip to content

Addressing audits findings#86

Open
drskalman wants to merge 14 commits into
masterfrom
skalman/fix-audit-findings
Open

Addressing audits findings#86
drskalman wants to merge 14 commits into
masterfrom
skalman/fix-audit-findings

Conversation

@drskalman

Copy link
Copy Markdown
Collaborator

Addressing issues came out of the code audit.

@drskalman drskalman marked this pull request as ready for review May 19, 2026 08:02
@drskalman drskalman self-assigned this May 19, 2026
drskalman added 10 commits May 21, 2026 10:06
- Only perform subgroup checks when verifying signature.
- Add test for failure of strirct unforgiblity.
- Remove redundant imports
- fix shifting 6bit instead of 64bits in delinear.rs (srlabs finding 659
- Change Verifier to support verifiying multimessage signature using
  aux pubkey
- Update example and tests.
…get verifier.

- Add separate aggregator for the verifier and the prover.
- verify_using_aggregated_auxiliary_public_keys accepted signed.
- Rejects an empty `(message, publickey)` set.
- Pre-allocate seed and reuse it for each aux key.
- fix docs
- add more example (as tests) on how prover and verifier are using the aggregator
…ges and pub keys preventing subset sum attack.
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.

1 participant