From 97a71353a36f33b5ae7b5864dc367de390cc3745 Mon Sep 17 00:00:00 2001 From: Thomas Coratger Date: Fri, 6 Feb 2026 18:31:09 +0100 Subject: [PATCH] attestation: documentation cleanup --- src/lean_spec/subspecs/containers/__init__.py | 2 ++ src/lean_spec/subspecs/containers/attestation/attestation.py | 3 +-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/lean_spec/subspecs/containers/__init__.py b/src/lean_spec/subspecs/containers/__init__.py index 4a269a68..99c13150 100644 --- a/src/lean_spec/subspecs/containers/__init__.py +++ b/src/lean_spec/subspecs/containers/__init__.py @@ -10,6 +10,7 @@ from .attestation import ( AggregatedAttestation, + AggregationBits, Attestation, AttestationData, SignedAggregatedAttestation, @@ -30,6 +31,7 @@ __all__ = [ "AggregatedAttestation", + "AggregationBits", "Attestation", "AttestationData", "Block", diff --git a/src/lean_spec/subspecs/containers/attestation/attestation.py b/src/lean_spec/subspecs/containers/attestation/attestation.py index 683310f7..092e355b 100644 --- a/src/lean_spec/subspecs/containers/attestation/attestation.py +++ b/src/lean_spec/subspecs/containers/attestation/attestation.py @@ -8,8 +8,7 @@ - What is already justified (source) - What should be justified next (target) -Attestations can be aggregated to save space, but the current specification -doesn't do this yet. +Attestations can be aggregated by common data to save space and bandwidth. """ from __future__ import annotations