Skip to content

Stub or implement lean_multisig_py (XMSS aggregation) #5

@pirapira

Description

@pirapira

Summary

The XMSS signature aggregation module (subspecs/xmss/aggregation.py) imports lean_multisig_py, an external C/Rust library for signature aggregation proofs. This module is not available in the LeanPython interpreter.

Current behavior

  • ModuleNotFoundError: No module named 'lean_multisig_py'
  • E2E tests use hand-crafted XMSS stub modules to avoid this dependency
  • Real XMSS signature verification and aggregation cannot be tested

Impact

  • AggregatedSignatureProof.aggregate() cannot run
  • Signature.verify() cannot use the real scheme
  • SignedBlock.verify_signatures() is untestable with real crypto
  • All container E2E tests require XMSS stubs

Possible approaches

  1. Add lean_multisig_py as a builtin stub module — provide no-op functions that return dummy values
  2. Implement the aggregation logic in Lean4 — significant effort but would enable full crypto testing
  3. FFI bridge to a Rust/C library — call out to the real implementation

Reference

  • references/leanSpec/src/lean_spec/subspecs/xmss/aggregation.py (imports lean_multisig_py)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions