Skip to content

Add BLS signature support to cardano-base #567

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
hjeljeli32 wants to merge 27 commits into from
Closed

Add BLS signature support to cardano-base #567

hjeljeli32 wants to merge 27 commits into from

Conversation

@hjeljeli32
Copy link
Collaborator

@hjeljeli32 hjeljeli32 commented Nov 6, 2025

Description

Draft PR to introduce initial BLS support.

  • Haskell↔C (blst) bindings for BLS12-381
  • minpk and minsig design modules targeting the minimal DSIGN interface
  • Tests for key generation, signing, and proof of possession (happy and negative cases)
  • Docs for the Consensus Team
  • Benchmarking

Related to: input-output-hk/ouroboros-leios#547

Checklist

  • Commit sequence broadly makes sense and commits have useful messages
  • New tests are added if needed and existing tests are updated
  • All visible changes are prepended to the latest section of a CHANGELOG.md for the affected packages.
    New section is never added with the code changes. (See RELEASING.md)
  • When applicable, versions are updated in .cabal and CHANGELOG.md files according to the
    versioning process.
  • The version bounds in .cabal files for all affected packages are updated.
    If you change the bounds in a cabal file, that package itself must have a version increase. (See RELEASING.md)
  • Self-reviewed the diff

perturbing and others added 15 commits October 28, 2025 15:28
@perturbing @hjeljeli32
add c bindings for basic bls sig key ops
6970d45 
(cherry picked from commit f1d9056)
@hjeljeli32
style: fourmolu formatting for BLS internals
a213428
@perturbing @hjeljeli32
fix typo and remove pragma
af8bd6d 
(cherry picked from commit 869259d)
@perturbing @hjeljeli32
add basic key generation, pk derivation and sign interface
c368cef 
(cherry picked from commit d75caa3)
@perturbing @hjeljeli32
add types for bls pk and sig, add bls signature check
00dce97 
(cherry picked from commit 251aa8d)
@perturbing @hjeljeli32
add tests for basic bls sigs
c842e9a 
(cherry picked from commit 8e15235)
@perturbing @hjeljeli32
add intial PoP functionality
2f70ad5 
(cherry picked from commit 24643f1)
@perturbing @hjeljeli32
Refactor BLS12-381 final verification API
bd45f8c 
(cherry picked from commit d2660cb)
@perturbing @hjeljeli32
add tests for PoP
6306054 
(cherry picked from commit d0cd888)
@hjeljeli32
bls: add Eq instance for ProofOfPossession
81fda2c
@hjeljeli32
bls/tests: add tests for KeyGen, Sign, PoP
c3048a7
@hjeljeli32
bls: add ser/de helpers for SK, PK, Sigatures
05afd5f
@hjeljeli32
bls: integrate BLS12381MinPk DSIGN module
ff8b936
@hjeljeli32
bls: integrate BLS12381MinSig DSIGN module
31e1c35
@hjeljeli32
bls/docs: add Haddock headers and update READMEs
e14547e
@hjeljeli32 hjeljeli32 requested a review from perturbing November 6, 2025 02:05
@hjeljeli32 hjeljeli32 self-assigned this Nov 6, 2025
@ch1bo ch1bo linked an issue Nov 13, 2025 that may be closed by this pull request
Add BLS signature support to cardano-base input-output-hk/ouroboros-leios#547
Open
@ch1bo ch1bo mentioned this pull request Nov 13, 2025
Open
@hjeljeli32 hjeljeli32 force-pushed the perturbing/leios-add-bls-sig branch from 5972d4e to 8ef8c03 Compare November 14, 2025 03:43
@hjeljeli32 hjeljeli32 force-pushed the perturbing/leios-add-bls-sig branch from ca3dba6 to fc2182b Compare November 21, 2025 08:00
@hjeljeli32 hjeljeli32 force-pushed the perturbing/leios-add-bls-sig branch from 0b26aa3 to 35aefe6 Compare November 28, 2025 09:05
@perturbing perturbing mentioned this pull request Dec 9, 2025
Open
6 tasks
@ch1bo ch1bo changed the base branch from master to leios-staging December 18, 2025 12:19
@ch1bo ch1bo self-requested a review December 18, 2025 12:19
@neilmayhew neilmayhew deleted the branch leios-staging December 18, 2025 17:03
@neilmayhew neilmayhew closed this Dec 18, 2025
@ch1bo
Copy link

ch1bo commented Dec 19, 2025

Superseded by #587

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@perturbing perturbing Awaiting requested review from perturbing

@ch1bo ch1bo Awaiting requested review from ch1bo

Assignees

@hjeljeli32 hjeljeli32

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Add BLS signature support to cardano-base

5 participants

@hjeljeli32 @ch1bo @neilmayhew @perturbing