Skip to content

Harden BLS12-381 implementation contract and tests#7

Merged
satran004 merged 1 commit into
mainfrom
harden-bls12381-adr-0021
Jun 24, 2026
Merged

Harden BLS12-381 implementation contract and tests#7
satran004 merged 1 commit into
mainfrom
harden-bls12381-adr-0021

Conversation

@satran004

Copy link
Copy Markdown
Member

Summary

  • Document ADR-0021 and clarify the pure-Java BLS12-381 provider as correctness-first, not constant-time
  • Reject non-canonical Montgomery limbs and over-wide ctScalarMul scalars instead of allowing silent misuse
  • Add pairing, codec, scalar, field tower, SHAKE/XOF, and setup-cache regression tests
  • Update BBS/BLS docs to recommend native providers such as zeroj-blst for high-value secret-bearing workloads

Verification

  • ./gradlew :zeroj-bls12381:test
  • ./gradlew :zeroj-bbs:test
  • ./gradlew :zeroj-crypto:test --tests com.bloxbean.cardano.zeroj.crypto.setup.SetupCacheTest
  • ./gradlew :zeroj-verifier-groth16:test :zeroj-verifier-plonk:test

@satran004 satran004 merged commit ad392d0 into main Jun 24, 2026
9 checks passed
@satran004 satran004 deleted the harden-bls12381-adr-0021 branch June 24, 2026 18:08
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