refactor(types): port leanSpec Type-1 / Type-2 aggregation envelope#361

Merged

MegaRedHand merged 8 commits into

type1-type2-aggregation

May 12, 2026

Commits on May 11, 2026

Add TypeOneInfo, TypeOneMultiSignature, TypeOneInfos, TypeTwoMultiSignature, and the BytecodeClaim placeholder to ethlambda-types, mirroring leanSpec commit
pablodeymo
committed
Migrate the gossip-layer attestation pipeline to the new Type-1 multi-signature envelope: SignedAggregatedAttestation.proof, AggregatedGroupOutput.proof, the storage PayloadBuffer, and
pablodeymo
committed
Replace SignedBlock.signature with a single SignedBlock.proof: ByteListMiB carrying the SSZ-encoded TypeTwoMultiSignature that merges every per-attestation Type-1 plus a singleton
pablodeymo
committed
Merge main (PR #357: Hive lean spec-assets test-driver) into type1-type2-aggregation. PR #357 moved the per-test-binary fixture types (signature_types.rs, common.rs, build_signed_block)
pablodeymo
committed
Merge branch 'main' into type1-type2-aggregation
pablodeymo
authored

Commits on May 12, 2026