Integrate aggregated signatures as per LeanSpec #1092

Open

Assignees

Labels

opened

on Dec 22, 2025

Describe the feature

leanEthereum/leanSpec#238

Additional context

No response

Metadata

Assignees

shariqnaiyer

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests