astreum 0.2.13__py3-none-any.whl → 0.2.15__py3-none-any.whl

astreum/models/block.py

@@ -0,0 +1,98 @@
+from ..format import encode, decode
+from ..crypto import ed25519
+import blake3
+
+class Block:
+    def __init__(
+        self,
+        number: int,
+        prev_block_hash: bytes,
+        timestamp: int,
+        accounts_hash: bytes,
+        transactions_total_fees: int,
+        transaction_limit: int,
+        transactions_root_hash: bytes,
+        vdf_difficulty: int,
+        vdf_output: bytes,
+        vdf_proof: bytes,
+        validator_pk: bytes,
+        signature: bytes,
+    ) -> None:
+        self.accounts_hash = accounts_hash
+        self.number = int(number)
+        self.prev_block_hash = prev_block_hash
+        self.timestamp = int(timestamp)
+        self.transactions_total_fees = int(transactions_total_fees)
+        self.transaction_limit = int(transaction_limit)
+        self.transactions_root_hash = transactions_root_hash
+        self.validator_pk = validator_pk
+        self.vdf_difficulty = int(vdf_difficulty)
+        self.vdf_output = vdf_output
+        self.vdf_proof = vdf_proof
+        self.signature = signature
+        self.body_hash = self._compute_body_hash()
+
+    def _body_fields_without_sig(self) -> list:
+        return [
+            self.accounts_hash,
+            self.number,
+            self.prev_block_hash,
+            self.timestamp,
+            self.transactions_total_fees,
+            self.transaction_limit,
+            self.transactions_root_hash,
+            self.validator_pk,
+            self.vdf_difficulty,
+            self.vdf_output,
+            self.vdf_proof,
+        ]
+
+    def _compute_body_hash(self) -> bytes:
+        return blake3.blake3(encode(self._body_fields_without_sig())).digest()
+    
+    def to_bytes(self) -> bytes:
+        return encode(self._body_fields_without_sig() + [self.signature])
+
+    @classmethod
+    def from_bytes(cls, blob: bytes) -> "Block":
+        (
+            accounts_hash,
+            number,
+            prev_block_hash,
+            timestamp,
+            transactions_total_fees,
+            transaction_limit,
+            transactions_root_hash,
+            validator_pk,
+            vdf_difficulty,
+            vdf_output,
+            vdf_proof,
+            signature
+        ) = decode(blob)
+        return cls(
+            number=int(number),
+            prev_block_hash=prev_block_hash,
+            timestamp=int(timestamp),
+            accounts_hash=accounts_hash,
+            transactions_total_fees=int(transactions_total_fees),
+            transaction_limit=int(transaction_limit),
+            transactions_root_hash=transactions_root_hash,
+            vdf_difficulty=int(vdf_difficulty),
+            vdf_output=vdf_output,
+            vdf_proof=vdf_proof,
+            validator_pk=validator_pk,
+            signature=signature,
+        )
+
+    @property
+    def hash(self) -> bytes:
+        return blake3.blake3(self.body_hash + self.signature).digest()
+
+    def verify_block_signature(self) -> bool:
+        try:
+            pub = ed25519.Ed25519PublicKey.from_public_bytes(self.validator_pk)
+            pub.verify(self.signature, self.body_hash)
+            return True
+        except Exception:
+            return False
+  

astreum/models/merkle.py

@@ -0,0 +1,233 @@
+from __future__ import annotations
+
+from typing import Callable, Dict, List, Optional, Tuple
+
+import blake3  # type: ignore
+from ..format import encode, decode
+
+class MerkleNode:
+    """A node in a binary Merkle tree.
+
+    *Leaf*  : ``value`` is **not** ``None``.
+    *Interior*: ``value`` is ``None``.
+    """
+
+    __slots__ = ("left", "right", "value", "_hash")
+
+    def __init__(
+        self,
+        left: Optional[bytes],
+        right: Optional[bytes],
+        value: Optional[bytes],
+    ) -> None:
+        self.left = left
+        self.right = right
+        self.value = value
+        self._hash: Optional[bytes] = None
+
+    # ------------------------------------------------------------------
+    # serialisation helpers
+    # ------------------------------------------------------------------
+    def to_bytes(self) -> bytes:
+        return encode([self.left, self.right, self.value])
+
+    @classmethod
+    def from_bytes(cls, blob: bytes) -> "MerkleNode":
+        left, right, value = decode(blob)
+        return cls(left, right, value)
+
+    # ------------------------------------------------------------------
+    # content hash (blake3)
+    # ------------------------------------------------------------------
+    def _compute_hash(self) -> bytes:
+        if self.value is not None:  # leaf
+            return blake3.blake3(self.value).digest()
+        left = self.left or b""
+        right = self.right or b""
+        return blake3.blake3(left + right).digest()
+
+    def hash(self) -> bytes:
+        if self._hash is None:
+            self._hash = self._compute_hash()
+        return self._hash
+
+
+# ─────────────────────────────────────────────────────────────────────────────
+# Merkle tree – fixed‑height, no dynamic growth
+# ─────────────────────────────────────────────────────────────────────────────
+
+
+class MerkleTree:
+    """Binary Merkle tree addressed by *leaf position* (0‑based).
+
+    * The number of levels is fixed once the tree is built (``_height``).
+    * ``put`` can **only update** existing leaves; it never adds capacity.
+    """
+
+    # ------------------------------------------------------------------
+    # construction helpers
+    # ------------------------------------------------------------------
+    def __init__(
+        self,
+        node_get: Callable[[bytes], Optional[bytes]],
+        root_hash: Optional[bytes] = None,
+        height: Optional[int] = None,
+    ) -> None:
+        self._node_get = node_get
+        self.nodes: Dict[bytes, MerkleNode] = {}
+        self.root_hash = root_hash
+        self._height: Optional[int] = height
+
+    @classmethod
+    def from_leaves(
+        cls,
+        leaves: List[bytes],
+        node_get: Callable[[bytes], Optional[bytes]] | None = None,
+    ) -> "MerkleTree":
+        """Build a complete tree from *leaves* (left‑to‑right order).
+
+        Missing right siblings in the top levels are allowed; they are encoded
+        as interior nodes with a single child.
+        """
+        if not leaves:
+            raise ValueError("must supply at least one leaf")
+
+        node_get = node_get or (lambda _h: None)
+        tree = cls(node_get=node_get)
+
+        # Step 1 – create leaf nodes list[bytes]
+        level_hashes: List[bytes] = []
+        for val in leaves:
+            leaf = MerkleNode(None, None, val)
+            h = leaf.hash()
+            tree.nodes[h] = leaf
+            level_hashes.append(h)
+
+        height = 1  # current level (leaves)
+
+        # Step 2 – build upper levels until single root remains
+        while len(level_hashes) > 1:
+            next_level: List[bytes] = []
+            it = iter(level_hashes)
+            for left_hash in it:
+                try:
+                    right_hash = next(it)
+                except StopIteration:
+                    right_hash = None
+                parent = MerkleNode(left_hash, right_hash, None)
+                ph = parent.hash()
+                tree.nodes[ph] = parent
+                next_level.append(ph)
+            level_hashes = next_level
+            height += 1
+
+        tree.root_hash = level_hashes[0]
+        tree._height = height
+        return tree
+
+    # ------------------------------------------------------------------
+    # internal helpers
+    # ------------------------------------------------------------------
+    def _fetch(self, h: bytes | None) -> Optional[MerkleNode]:
+        if h is None:
+            return None
+        node = self.nodes.get(h)
+        if node is None:
+            raw = self._node_get(h)
+            if raw is None:
+                return None
+            node = MerkleNode.from_bytes(raw)
+            self.nodes[h] = node
+        return node
+
+    def _invalidate(self, node: MerkleNode) -> None:
+        node._hash = None  # type: ignore[attr-defined]
+
+    def _ensure_height(self) -> None:
+        if self._height is None:
+            # Recompute by traversing leftmost branch
+            h = 0
+            nh = self.root_hash
+            while nh is not None:
+                node = self._fetch(nh)
+                nh = node.left if node and node.value is None else None
+                h += 1
+            self._height = h or 1
+
+    def _capacity(self) -> int:
+        self._ensure_height()
+        assert self._height is not None
+        return 1 << (self._height - 1)
+
+    def _path_bits(self, index: int) -> List[int]:
+        self._ensure_height()
+        assert self._height is not None
+        bits = []
+        for shift in range(self._height - 2, -1, -1):
+            bits.append((index >> shift) & 1)
+        return bits
+
+    # ------------------------------------------------------------------
+    # get / put
+    # ------------------------------------------------------------------
+    def get(self, index: int) -> Optional[bytes]:
+        if index < 0 or self.root_hash is None or index >= self._capacity():
+            return None
+
+        node_hash = self.root_hash
+        for bit in self._path_bits(index):
+            node = self._fetch(node_hash)
+            if node is None:
+                return None
+            node_hash = node.right if bit else node.left
+            if node_hash is None:
+                return None
+        leaf = self._fetch(node_hash)
+        return leaf.value if leaf else None
+
+    def put(self, index: int, value: bytes) -> None:
+        """Overwrite *value* at existing leaf *index*.
+
+        Raises ``IndexError`` if *index* is outside current capacity **or** if
+        the path to that leaf is missing in the stored structure.
+        """
+        if index < 0:
+            raise IndexError("negative index")
+        if self.root_hash is None:
+            raise IndexError("tree is empty – build it first with from_leaves()")
+        if index >= self._capacity():
+            raise IndexError("index beyond tree capacity")
+
+        node_hash = self.root_hash
+        stack: List[Tuple[MerkleNode, bytes, bool]] = []
+        for bit in self._path_bits(index):
+            node = self._fetch(node_hash)
+            if node is None:
+                raise IndexError("missing node along path")
+            went_right = bool(bit)
+            child_hash = node.right if went_right else node.left
+            if child_hash is None:
+                raise IndexError("path leads into non‑existent branch")
+            stack.append((node, node.hash(), went_right))
+            node_hash = child_hash
+
+        leaf = self._fetch(node_hash)
+        if leaf is None or leaf.value is None:
+            raise IndexError("target leaf missing")
+        leaf.value = value
+        self._invalidate(leaf)
+        new_hash = leaf.hash()
+
+        # bubble updated hashes
+        for parent, old_hash, went_right in reversed(stack):
+            if went_right:
+                parent.right = new_hash
+            else:
+                parent.left = new_hash
+            self._invalidate(parent)
+            new_hash = parent.hash()
+            if new_hash != old_hash:
+                del self.nodes[old_hash]
+                self.nodes[new_hash] = parent
+        self.root_hash = new_hash
+

astreum/node.py

@@ -325,101 +325,7 @@ class Env:
             f"parent_id={self.parent_id})"
         )
 
-class Block:
-    def __init__(
-        self,
-        *,
-        number: int,
-        prev_block_hash: bytes,
-        timestamp: int,
-        accounts_hash: bytes,
-        total_astre_burned: int,
-        tx_limit: int,
-        tx_root: bytes,
-        vdf_difficulty: int,
-        vdf_output: bytes,
-        vdf_proof: bytes,
-        validator_pk: bytes,
-        signature: bytes,
-    ) -> None:
-        self.accounts_hash = accounts_hash
-        self.number = int(number)
-        self.prev_block_hash = prev_block_hash
-        self.timestamp = int(timestamp)
-        self.total_astre_burned = int(total_astre_burned)
-        self.tx_limit = int(tx_limit)
-        self.tx_root = tx_root
-        self.validator_pk = validator_pk
-        self.vdf_difficulty = int(vdf_difficulty)
-        self.vdf_output = vdf_output
-        self.vdf_proof = vdf_proof
-        self.signature = signature
-        self.body_hash = self._compute_body_hash()
-
-    def _body_fields_without_sig(self) -> list:
-        return [
-            self.accounts_hash,
-            self.number,
-            self.prev_block_hash,
-            self.timestamp,
-            self.total_astre_burned,
-            self.tx_limit,
-            self.tx_root,
-            self.validator_pk,
-            self.vdf_difficulty,
-            self.vdf_output,
-            self.vdf_proof,
-        ]
-
-    def _compute_body_hash(self) -> bytes:
-        return blake3.blake3(encode(self._body_fields_without_sig())).digest()
-    
-    def to_bytes(self) -> bytes:
-        return encode(self._body_fields_without_sig() + [self.signature])
-
-    @classmethod
-    def from_bytes(cls, blob: bytes) -> "Block":
-        (
-            accounts_hash,
-            number,
-            prev_block_hash,
-            timestamp,
-            total_astre_burned,
-            tx_limit,
-            tx_root,
-            validator_pk,
-            vdf_difficulty,
-            vdf_output,
-            vdf_proof,
-            signature
-        ) = decode(blob)
-        return cls(
-            number=int(number),
-            prev_block_hash=prev_block_hash,
-            timestamp=int(timestamp),
-            accounts_hash=accounts_hash,
-            total_astre_burned=int(total_astre_burned),
-            tx_limit=int(tx_limit),
-            tx_root=tx_root,
-            vdf_difficulty=int(vdf_difficulty),
-            vdf_output=vdf_output,
-            vdf_proof=vdf_proof,
-            validator_pk=validator_pk,
-            signature=signature,
-        )
-
-    @property
-    def hash(self) -> bytes:
-        return blake3.blake3(self.body_hash + self.signature).digest()
 
-    def verify_block_signature(self) -> bool:
-        try:
-            pub = ed25519.Ed25519PublicKey.from_public_bytes(self.validator_pk)
-            pub.verify(self.signature, self.body_hash)
-            return True
-        except Exception:
-            return False
-  
 class Node:
     def __init__(self, config: dict = {}):
         self._machine_setup()

{astreum-0.2.13.dist-info → astreum-0.2.15.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: astreum
-Version: 0.2.13
+Version: 0.2.15
 Summary: Python library to interact with the Astreum blockchain and its Lispeum virtual machine.
 Author-email: "Roy R. O. Okello" <roy@stelar.xyz>
 Project-URL: Homepage, https://github.com/astreum/lib

{astreum-0.2.13.dist-info → astreum-0.2.15.dist-info}/RECORD

@@ -1,10 +1,6 @@
 astreum/__init__.py,sha256=y2Ok3EY_FstcmlVASr80lGR_0w-dH-SXDCCQFmL6uwA,28
 astreum/format.py,sha256=X4tG5GGPweNCE54bHYkLFiuLTbmpy5upO_s1Cef-MGA,2711
-astreum/node.py,sha256=B0v9KIoL16TmzQloDdUkPk7e-3_aDc2FS3-ggu1HtB0,49116
-astreum/_node/__init__.py,sha256=7yz1YHo0DCUgUQvJf75qdUo_ocl5-XZRU-Vc2NhcvJs,18639
-astreum/_node/storage/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-astreum/_node/storage/merkle.py,sha256=XCQBrHbwI0FuPTCUwHOy-Kva3uWbvCdw_-13hRPf1UI,10219
-astreum/_node/storage/patricia.py,sha256=tynxn_qETCU9X7yJdeh_0GHpC8Pzcoq4CWrSZlMUeRc,11546
+astreum/node.py,sha256=dPloCXuDyIn3-KDqxlgl3jxsonJlFMLi_quwJRsoLC8,46259
 astreum/crypto/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 astreum/crypto/ed25519.py,sha256=FRnvlN0kZlxn4j-sJKl-C9tqiz_0z4LZyXLj3KIj1TQ,1760
 astreum/crypto/quadratic_form.py,sha256=pJgbORey2NTWbQNhdyvrjy_6yjORudQ67jBz2ScHptg,4037
@@ -14,10 +10,12 @@ astreum/lispeum/__init__.py,sha256=K-NDzIjtIsXzC9X7lnYvlvIaVxjFcY7WNsgLIE3DH3U,5
 astreum/lispeum/parser.py,sha256=jQRzZYvBuSg8t_bxsbt1-WcHaR_LPveHNX7Qlxhaw-M,1165
 astreum/lispeum/tokenizer.py,sha256=J-I7MEd0r2ZoVqxvRPlu-Afe2ZdM0tKXXhf1R4SxYTo,1429
 astreum/models/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+astreum/models/block.py,sha256=NKYyxL6_BrtXRgcgIrnkYsobX0Z_bGqQT-fQ_09zEOo,3226
+astreum/models/merkle.py,sha256=ceH4yJlt82XDTXe46hyoU88QIaGVOsVDsBZeDnOJYv8,8590
 astreum/models/patricia.py,sha256=D7UVU4b6Yvn2_McI35VoMEbpqwR8OmZon5LGoUSRADo,8913
 astreum/models/transaction.py,sha256=Vu0cfmh80S31nEbxyJfv1dk9_zqtgGNyMdhlM0uQF4E,2611
-astreum-0.2.13.dist-info/licenses/LICENSE,sha256=gYBvRDP-cPLmTyJhvZ346QkrYW_eleke4Z2Yyyu43eQ,1089
-astreum-0.2.13.dist-info/METADATA,sha256=ZSKRGYPgPEaAgzNzKgYlEk2hWQP7nOZX3hNl5H76JFs,5478
-astreum-0.2.13.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
-astreum-0.2.13.dist-info/top_level.txt,sha256=1EG1GmkOk3NPmUA98FZNdKouhRyget-KiFiMk0i2Uz0,8
-astreum-0.2.13.dist-info/RECORD,,
+astreum-0.2.15.dist-info/licenses/LICENSE,sha256=gYBvRDP-cPLmTyJhvZ346QkrYW_eleke4Z2Yyyu43eQ,1089
+astreum-0.2.15.dist-info/METADATA,sha256=7Nv0BCooioBjPEUhtTB1SdaNceBCgGf2iPZY2BLSx1E,5478
+astreum-0.2.15.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+astreum-0.2.15.dist-info/top_level.txt,sha256=1EG1GmkOk3NPmUA98FZNdKouhRyget-KiFiMk0i2Uz0,8
+astreum-0.2.15.dist-info/RECORD,,