Skip to content

feat: add post-quantum ML-DSA-44 signer, verifier and varsig algorithm#32

Open
alanshaw wants to merge 1 commit into
mainfrom
ash/feat/ml-dsa-44
Open

feat: add post-quantum ML-DSA-44 signer, verifier and varsig algorithm#32
alanshaw wants to merge 1 commit into
mainfrom
ash/feat/ml-dsa-44

Conversation

@alanshaw

Copy link
Copy Markdown
Member

Adds ML-DSA-44 (FIPS 204 module-lattice digital signature) as a new principal type, so UCANs can be issued and verified with post-quantum keys in did:key form.

Uses filippo.io/mldsa until Go 1.27 is released (expected August). It is a copy of the reviewed code in the standard library, so it should be a straight swap when available.

For consistency with other signers, the ML-DSA-44 signer uses deterministic signing.

@alanshaw alanshaw requested a review from a team June 17, 2026 09:26
@bajtos bajtos requested a review from Copilot June 17, 2026 14:09

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

Adds ML-DSA-44 (FIPS 204 ML-DSA) support as a new principal type and varsig signature algorithm so UCANs can be issued/verified using post-quantum did:key keys (backed by filippo.io/mldsa).

Changes:

  • Introduces a new varsig signature algorithm codec for ML-DSA-44 (0x1210).
  • Adds ML-DSA-44 principal signer (0x131a) and did:key verifier (0x1210) implementations.
  • Adds unit tests and wires the new filippo.io/mldsa dependency in go.mod/go.sum.

Reviewed changes

Copilot reviewed 6 out of 7 changed files in this pull request and generated 1 comment.

Show a summary per file
File Description
varsig/algorithm/mldsa44/codec.go Adds ML-DSA-44 varsig signature algorithm codec + registration.
principal/mldsa44/verifier/verifier.go Adds did:key verifier implementation + decoder registration.
principal/mldsa44/verifier/verifier_test.go Tests parsing/encoding/decoding/verifier raw handling.
principal/mldsa44/signer.go Adds signer implementation (keygen/parse/decode/sign).
principal/mldsa44/signer_test.go Tests signer encode/decode, format/parse, signing and raw handling.
go.mod Adds filippo.io/mldsa requirement.
go.sum Adds checksums for filippo.io/mldsa.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment on lines +17 to +21
func init() {
keyverifier.Register(Code, func(b []byte) (principal.Verifier, error) {
return Decode(b)
})
}
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