Skip to content

crypto: validate BBS proof parameters#1810

Open
Ap4sh wants to merge 1 commit into
simplex-chat:stablefrom
Ap4sh:bbs-proof-verify-validation
Open

crypto: validate BBS proof parameters#1810
Ap4sh wants to merge 1 commit into
simplex-chat:stablefrom
Ap4sh:bbs-proof-verify-validation

Conversation

@Ap4sh

@Ap4sh Ap4sh commented Jun 18, 2026

Copy link
Copy Markdown

Summary

  • reject negative BBS proof message counts before calling libbbs
  • reject proofs whose encoded length does not match the claimed message count and disclosed indexes
  • add BBS regression coverage for invalid proof generation and verification parameters

Tests

  • git diff --check origin/stable..HEAD
  • cabal test simplexmq-test --test-show-details=direct --test-option=--match --test-option='/Core tests/Encryption tests/BBS+/'

@Ap4sh Ap4sh marked this pull request as ready for review June 18, 2026 22:55
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