astreum 0.2.16__tar.gz → 0.2.18__tar.gz

{astreum-0.2.16/src/astreum.egg-info → astreum-0.2.18}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: astreum
-Version: 0.2.16
+Version: 0.2.18
 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.16 → astreum-0.2.18}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "astreum"
-version = "0.2.16"
+version = "0.2.18"
 authors = [
   { name="Roy R. O. Okello", email="roy@stelar.xyz" },
 ]

astreum-0.2.18/src/astreum/models/account.py

@@ -0,0 +1,91 @@
+from __future__ import annotations
+
+from typing import Optional, Callable
+
+from .merkle import MerkleTree
+
+_FIELD_ORDER = ["balance", "data", "nonce"]
+_INT_FIELDS = {"balance", "nonce"}
+
+def _int_to_min_bytes(i: int) -> bytes:
+    length = (i.bit_length() + 7) // 8 or 1
+    return i.to_bytes(length, "big")
+
+class Account:
+    def __init__(
+        self,
+        body_hash: bytes,
+        *,
+        body_tree: Optional[MerkleTree] = None,
+        get_node_fn: Optional[Callable[[bytes], Optional[bytes]]] = None,
+    ) -> None:
+        self._body_hash = body_hash
+        self._body_tree = body_tree
+        self._balance: Optional[int] = None
+        self._data: Optional[bytes] = None
+        self._nonce: Optional[int] = None
+
+        if self._body_tree and get_node_fn:
+            self._body_tree._node_get = get_node_fn
+
+    @classmethod
+    def create(
+        cls,
+        balance: int,
+        data: bytes,
+        nonce: int,
+    ) -> Account:
+        """Build an Account body from explicit fields in alphabetical order."""
+        # prepare values dict
+        values = {"balance": balance, "data": data, "nonce": nonce}
+
+        # build leaves in alphabetical order
+        leaves: list[bytes] = []
+        for name in _FIELD_ORDER:
+            v = values[name]
+            if name in _INT_FIELDS:
+                leaves.append(_int_to_min_bytes(v))  # type: ignore[arg-type]
+            else:
+                leaves.append(v)
+
+        tree = MerkleTree.from_leaves(leaves)
+        return cls(tree.root_hash, body_tree=tree)
+
+    def body_hash(self) -> bytes:
+        """Return the Merkle root of the account body."""
+        return self._body_hash
+
+    def _require_tree(self) -> MerkleTree:
+        if not self._body_tree:
+            raise ValueError("Body tree unavailable for this Account")
+        return self._body_tree
+
+    def balance(self) -> int:
+        """Fetch & cache the `balance` field (leaf 0)."""
+        if self._balance is not None:
+            return self._balance
+        raw = self._require_tree().get(0)
+        if raw is None:
+            raise ValueError("Merkle leaf 0 (balance) missing")
+        self._balance = int.from_bytes(raw, "big")
+        return self._balance
+
+    def data(self) -> bytes:
+        """Fetch & cache the `data` field (leaf 1)."""
+        if self._data is not None:
+            return self._data
+        raw = self._require_tree().get(1)
+        if raw is None:
+            raise ValueError("Merkle leaf 1 (data) missing")
+        self._data = raw
+        return self._data
+
+    def nonce(self) -> int:
+        """Fetch & cache the `nonce` field (leaf 2)."""
+        if self._nonce is not None:
+            return self._nonce
+        raw = self._require_tree().get(2)
+        if raw is None:
+            raise ValueError("Merkle leaf 2 (nonce) missing")
+        self._nonce = int.from_bytes(raw, "big")
+        return self._nonce

astreum-0.2.18/src/astreum/models/block.py

@@ -0,0 +1,130 @@
+from __future__ import annotations
+
+from typing import List, Dict, Any, Optional, Union
+from ..crypto import ed25519
+from .merkle import MerkleTree
+
+# Constants for integer field names
+_INT_FIELDS = {
+    "delay_difficulty",
+    "number",
+    "timestamp",
+    "transaction_limit",
+    "transactions_total_fees",
+}
+
+class Block:
+    def __init__(
+        self,
+        block_hash: bytes,
+        body_tree: Optional[MerkleTree] = None,
+        signature: Optional[bytes] = None,
+    ) -> None:
+        self._block_hash = block_hash
+        self._body_tree = body_tree
+        self._signature = signature
+        # store field names in alphabetical order for consistent indexing
+        self._field_names = [
+            "accounts_hash",
+            "delay_difficulty",
+            "delay_output",
+            "delay_proof",
+            "number",
+            "prev_block_hash",
+            "timestamp",
+            "transaction_limit",
+            "transactions_root_hash",
+            "transactions_total_fees",
+            "validator_pk",
+        ]
+
+    @property
+    def hash(self) -> bytes:
+        """Return the block hash (Merkle root of body_root || signature)."""
+        return self._block_hash
+
+    @classmethod
+    def create(
+        cls,
+        number: int,
+        prev_block_hash: bytes,
+        timestamp: int,
+        accounts_hash: bytes,
+        transactions_total_fees: int,
+        transaction_limit: int,
+        transactions_root_hash: bytes,
+        delay_difficulty: int,
+        delay_output: bytes,
+        delay_proof: bytes,
+        validator_pk: bytes,
+        signature: bytes,
+    ) -> Block:
+        """Build a new block by hashing the provided fields into Merkle trees."""
+        # map fields by name
+        field_map: Dict[str, Any] = {
+            "accounts_hash": accounts_hash,
+            "delay_difficulty": delay_difficulty,
+            "delay_output": delay_output,
+            "delay_proof": delay_proof,
+            "number": number,
+            "prev_block_hash": prev_block_hash,
+            "timestamp": timestamp,
+            "transaction_limit": transaction_limit,
+            "transactions_root_hash": transactions_root_hash,
+            "transactions_total_fees": transactions_total_fees,
+            "validator_pk": validator_pk,
+        }
+        
+        leaves: List[bytes] = []
+        for name in sorted(field_map):
+            v = field_map[name]
+            if isinstance(v, bytes):
+                leaf_bytes = v
+            elif isinstance(v, int):
+                length = (v.bit_length() + 7) // 8 or 1
+                leaf_bytes = v.to_bytes(length, "big")
+            else:
+                raise TypeError(f"Unsupported field type for '{name}': {type(v)}")
+            leaves.append(leaf_bytes)
+        
+        body_tree = MerkleTree.from_leaves(leaves)
+        body_root = body_tree.root_hash
+        top_tree = MerkleTree.from_leaves([body_root, signature])
+        block_hash = top_tree.root_hash
+
+        return cls(block_hash, body_tree, signature)
+
+    def get_body_hash(self) -> bytes:
+        """Return the Merkle root of the body fields."""
+        if not self._body_tree:
+            raise ValueError("Body tree not available for this block instance.")
+        return self._body_tree.root_hash
+
+    def get_signature(self) -> bytes:
+        """Return the block's signature leaf."""
+        if self._signature is None:
+            raise ValueError("Signature not available for this block instance.")
+        return self._signature
+
+    def get_field(self, name: str) -> Union[int, bytes]:
+        """Query a single body field by name, returning an int or bytes."""
+        if name not in self._field_names:
+            raise KeyError(f"Unknown field: {name}")
+        if not self._body_tree:
+            raise ValueError("Body tree not available for field queries.")
+        idx = self._field_names.index(name)
+        leaf_bytes = self._body_tree.leaves[idx]
+        if name in _INT_FIELDS:
+            return int.from_bytes(leaf_bytes, "big")
+        return leaf_bytes
+
+    def verify_block_signature(self) -> bool:
+        """Verify the block's Ed25519 signature against its body root."""
+        pub = ed25519.Ed25519PublicKey.from_public_bytes(
+            self.get_field("validator_pk")
+        )
+        try:
+            pub.verify(self.get_signature(), self.get_body_hash())
+            return True
+        except Exception:
+            return False

astreum-0.2.18/src/astreum/models/transaction.py

@@ -0,0 +1,106 @@
+from __future__ import annotations
+
+from typing import Dict, List, Optional, Union, Any, Callable
+
+from .merkle import MerkleTree
+from ..crypto import ed25519
+
+_FIELD_ORDER: List[str] = [
+    "amount",
+    "balance",
+    "fee",
+    "nonce",
+    "recipient_pk",
+    "sender_pk",
+]
+
+_INT_FIELDS = {"amount", "balance", "fee", "nonce"}
+
+def _int_to_min_bytes(i: int) -> bytes:
+    length = (i.bit_length() + 7) // 8 or 1
+    return i.to_bytes(length, "big")
+
+class Transaction:
+    # init
+    def __init__(
+        self,
+        tx_hash: bytes,
+        *,
+        tree: Optional[MerkleTree] = None,
+        get_node_fn: Optional[Callable[[bytes], Optional[bytes]]] = None,
+    ) -> None:
+        self._hash = tx_hash
+        self._tree = tree
+        self._field_cache: Dict[str, Union[int, bytes]] = {}
+
+        if self._tree and get_node_fn:
+            self._tree.set_external_node_fetcher(get_node_fn)
+
+    @classmethod
+    def create(
+        cls,
+        *,
+        amount: int,
+        balance: int,
+        fee: int,
+        nonce: int,
+        recipient_pk: bytes,
+        sender_pk: bytes,
+    ) -> "Transaction":
+        vals: Dict[str, Any] = locals().copy()
+        leaves = [
+            vals[name] if isinstance(vals[name], bytes) else _int_to_min_bytes(vals[name])
+            for name in _FIELD_ORDER
+        ]
+
+        tree = MerkleTree.from_leaves(leaves)
+        return cls(tx_hash=tree.root_hash, tree=tree)
+
+    @property
+    def hash(self) -> bytes:
+        return self._hash
+
+    def _require_tree(self) -> MerkleTree:
+        if not self._tree:
+            raise ValueError("Merkle tree unavailable for this Transaction")
+        return self._tree
+
+    def _field(self, idx: int, name: str) -> Union[int, bytes]:
+        if name in self._field_cache:
+            return self._field_cache[name]
+
+        raw = self._require_tree().get(idx)
+        if raw is None:
+            raise ValueError(f"Leaf {idx} (‘{name}’) missing from Merkle tree")
+
+        value = int.from_bytes(raw, "big") if name in _INT_FIELDS else raw
+        self._field_cache[name] = value
+        return value
+
+    def get_amount(self) -> int:
+        return self._field(0, "amount")
+    
+    def get_balance(self) -> int:
+        return self._field(1, "balance")
+    
+    def get_fee(self) -> int:
+        return self._field(2, "fee")
+    
+    def get_nonce(self) -> int:
+        return self._field(3, "nonce")
+    
+    def get_recipient_pk(self) -> bytes:
+        return self._field(4, "recipient_pk")
+    
+    def get_sender_pk(self) -> bytes:
+        return self._field(5, "sender_pk")
+    
+    def sign(self, priv: ed25519.Ed25519PrivateKey) -> bytes:
+        return priv.sign(self.hash)
+
+    def verify_signature(self, sig: bytes, sender_pk: bytes) -> bool:
+        try:
+            ed25519.Ed25519PublicKey.from_public_bytes(sender_pk).verify(sig, self.hash)
+            return True
+        except Exception:
+            return False

{astreum-0.2.16 → astreum-0.2.18/src/astreum.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: astreum
-Version: 0.2.16
+Version: 0.2.18
 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.16 → astreum-0.2.18}/src/astreum.egg-info/SOURCES.txt

@@ -18,6 +18,7 @@ src/astreum/lispeum/__init__.py
 src/astreum/lispeum/parser.py
 src/astreum/lispeum/tokenizer.py
 src/astreum/models/__init__.py
+src/astreum/models/account.py
 src/astreum/models/block.py
 src/astreum/models/merkle.py
 src/astreum/models/patricia.py

astreum-0.2.16/src/astreum/models/block.py

@@ -1,98 +0,0 @@
-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-0.2.16/src/astreum/models/transaction.py

@@ -1,83 +0,0 @@
-from ..format import encode, decode
-from ..crypto import ed25519
-import blake3
-
-class Transaction:
-    def __init__(
-        self,
-        sender_pk: bytes,
-        recipient_pk: bytes,
-        amount: int,
-        fee: int,
-        nonce: int,
-        signature: bytes | None = None,
-    ) -> None:
-        self.sender_pk = sender_pk
-        self.recipient_pk = recipient_pk
-        self.amount = amount
-        self.fee = fee
-        self.nonce = nonce
-        self.signature = signature
-
-        if self.amount < 0 or self.fee < 0:
-            raise ValueError("amount and fee must be non-negative")
-        
-        if self.fee % 2 != 0:
-            raise ValueError("fee must be divisible by two")
-
-        self.tx_body_hash: bytes = blake3.blake3(self._body_bytes()).digest()
-        
-        if self.signature is not None:
-            self.tx_hash = blake3.blake3(self.tx_body_hash + self.signature).digest()
-        else:
-            self.tx_hash = None
-
-    def sign(self, priv_key: ed25519.Ed25519PrivateKey) -> None:
-        if self.signature is not None:
-            raise ValueError("transaction already signed")
-        sig = priv_key.sign(self.tx_body_hash)
-        self.signature = sig
-        self.tx_hash = blake3.blake3(self.tx_body_hash + sig).digest()
-
-    def verify_signature(self) -> bool:
-        if self.signature is None:
-            return False
-        try:
-            pub = ed25519.Ed25519PublicKey.from_public_bytes(self.sender_pk)
-            pub.verify(self.signature, self.tx_body_hash)
-            return True
-        except Exception:
-            return False
-
-    def to_bytes(self) -> bytes:
-        sig = self.signature or b""
-        return encode([
-            self.sender_pk,
-            self.recipient_pk,
-            self.amount,
-            self.fee,
-            self.nonce,
-            sig,
-        ])
-
-    @classmethod
-    def from_bytes(cls, blob: bytes) -> 'Transaction':
-        sender, recipient, amount, fee, nonce, sig = decode(blob)
-        return cls(sender, recipient, int(amount), int(fee), int(nonce), sig)
-
-    def _body_bytes(self) -> bytes:
-        return encode([
-            self.sender_pk,
-            self.recipient_pk,
-            self.amount,
-            self.fee,
-            self.nonce,
-        ])
-
-    def __eq__(self, other: "Transaction") -> bool:
-        if not isinstance(other, Transaction):
-            return NotImplemented
-        return self.tx_hash == other.tx_hash
-
-    def __hash__(self) -> int:
-        return int.from_bytes(self.tx_hash, 'big')