astreum 0.1.14__py3-none-any.whl → 0.1.15__py3-none-any.whl

astreum/node/validation/state.py

@@ -0,0 +1,230 @@
+"""
+Blockchain state management.
+
+This module manages the blockchain state, including accounts, blocks, and
+transactions.
+"""
+
+import time
+from typing import Dict, List, Optional, Set, Any
+from dataclasses import dataclass, field
+from ..utils import hash_data
+from ..models import Block, Transaction, Account as ModelAccount
+from .account import Account
+from .constants import VALIDATION_ADDRESS, BURN_ADDRESS, MIN_STAKE_AMOUNT
+
+
+class BlockchainState:
+    """
+    Manages the state of the blockchain.
+    
+    This class tracks the current state of accounts, blocks, and transactions,
+    and provides methods to update the state with new blocks and transactions.
+    """
+    
+    def __init__(self, config: Optional[dict] = None):
+        """
+        Initialize blockchain state.
+        
+        Args:
+            config: Optional configuration
+        """
+        self.config = config or {}
+        
+        # Dictionaries to track blockchain state
+        self.accounts = {}  # address -> Account
+        self.blocks = {}  # hash -> Block
+        self.transactions = {}  # hash -> Transaction
+        
+        # Track the latest block
+        self.latest_block = None
+        
+        # Pending transactions
+        self.pending_transactions = set()  # Set of transaction hashes
+        
+        # State of validators and stakes
+        self.validators = {}  # address -> stake amount
+        
+        # Initialize the genesis block if not provided
+        if not self.latest_block:
+            self._initialize_genesis()
+    
+    def _initialize_genesis(self):
+        """Initialize the genesis block and state."""
+        # In a full implementation, this would initialize the genesis
+        # block and state from configuration
+        print("Initializing genesis block and state")
+    
+    def add_block(self, block: Block) -> bool:
+        """
+        Add a block to the blockchain state.
+        
+        Args:
+            block: Block to add
+            
+        Returns:
+            True if block was added successfully, False otherwise
+        """
+        # Convert block to validation format directly
+        validation_block = {
+            'number': block.number,
+            'timestamp': block.time,
+            'producer': block.validator.public_key if block.validator else b'',
+            'previous': block.previous.get_hash() if block.previous else b'',
+            'transactions': self._extract_transactions(block),
+            'vdf_proof': block.signature[:8],  # Use part of signature as VDF proof for demo
+            'signature': block.signature
+        }
+        
+        # Check for duplicate (already processed) blocks
+        block_hash = block.get_hash()
+        if block_hash in self.blocks:
+            print(f"Block {block_hash.hex()} already in blockchain")
+            return True
+        
+        # Convert block's accounts to validation accounts
+        account_dict = {}
+        # Here we would deserialize the accounts data from the block
+        # In a real implementation, this would reconstruct accounts from serialized data
+        
+        # For now, we'll just log that we would process the block
+        print(f"Processing block at height {block.number}")
+        
+        # Add the block to our state
+        self.blocks[block_hash] = block
+        
+        # Update latest block if this is a new latest block
+        if not self.latest_block or block.number > self.latest_block.number:
+            self.latest_block = block
+        
+        # Process transactions in the block
+        # This would update account states, apply transaction effects, etc.
+        
+        return True
+    
+    def _extract_transactions(self, block: Block) -> List[dict]:
+        """
+        Extract transactions from a block.
+        
+        Args:
+            block: The model Block instance
+            
+        Returns:
+            List of transactions in validation format
+        """
+        transactions = []
+        # Parse transaction data from the block
+        # In a real implementation, this would deserialize the transactions field
+        # For now, we'll return an empty list as a placeholder
+        return transactions
+    
+    def add_transaction(self, transaction: Transaction) -> bool:
+        """
+        Add a transaction to the pending set.
+        
+        Args:
+            transaction: Transaction to add
+            
+        Returns:
+            True if transaction was added successfully, False otherwise
+        """
+        # Convert transaction to validation format directly
+        validation_tx = {
+            'sender': transaction.sender.public_key if transaction.sender else b'',
+            'recipient': transaction.receipient.public_key if transaction.receipient else b'',
+            'amount': transaction.amount,
+            'counter': transaction.counter,
+            'data': transaction.data,
+            'signature': transaction.signature
+        }
+        
+        # Generate a transaction hash
+        tx_hash = hash_data(str(validation_tx).encode())
+        
+        # Check for duplicate transactions
+        if tx_hash in self.transactions or tx_hash in self.pending_transactions:
+            print(f"Transaction {tx_hash.hex()} already processed or pending")
+            return False
+        
+        # Validate the transaction
+        # In a real implementation, this would check signature, sender balance, etc.
+        
+        # Add to pending transactions
+        self.pending_transactions.add(tx_hash)
+        
+        return True
+    
+    def is_staking_transaction(self, tx: Transaction) -> bool:
+        """
+        Check if a transaction is a staking transaction.
+        
+        Args:
+            tx: The model Transaction instance
+            
+        Returns:
+            True if this is a staking transaction, False otherwise
+        """
+        # A transaction is a staking transaction if it's sending to the validation address
+        if tx.receipient and hasattr(tx.receipient, 'public_key'):
+            return tx.receipient.public_key == VALIDATION_ADDRESS
+        return False
+    
+    def get_account(self, address: bytes) -> Optional[Account]:
+        """
+        Get an account by address.
+        
+        Args:
+            address: Account address
+            
+        Returns:
+            Account if found, None otherwise
+        """
+        return self.accounts.get(address)
+    
+    def get_validator_stake(self, address: bytes) -> int:
+        """
+        Get the stake of a validator.
+        
+        Args:
+            address: Validator address
+            
+        Returns:
+            Stake amount (0 if not a validator)
+        """
+        return self.validators.get(address, 0)
+    
+    def is_validator(self, address: bytes) -> bool:
+        """
+        Check if an address is a validator.
+        
+        Args:
+            address: Address to check
+            
+        Returns:
+            True if address is a validator, False otherwise
+        """
+        return self.get_validator_stake(address) >= MIN_STAKE_AMOUNT
+    
+    def get_pending_transactions(self) -> List[Transaction]:
+        """
+        Get all pending transactions.
+        
+        Returns:
+            List of pending transactions
+        """
+        # In a real implementation, this would return the actual transaction objects
+        # For now, we'll just return an empty list
+        return []
+
+
+def create_blockchain(config: Optional[dict] = None) -> BlockchainState:
+    """
+    Create a new blockchain state.
+    
+    Args:
+        config: Optional configuration
+        
+    Returns:
+        New BlockchainState instance
+    """
+    return BlockchainState(config)

astreum/node/validation/vdf.py

@@ -0,0 +1,80 @@
+"""
+Verifiable Delay Function (VDF) implementation for Astreum.
+
+This module provides functionality for computing and verifying VDFs,
+which are used in the consensus mechanism to create artificial time delays.
+"""
+
+import time
+import hashlib
+from typing import Optional
+from .constants import VDF_DIFFICULTY
+
+
+def compute_vdf(input_data: bytes, difficulty: Optional[int] = None) -> bytes:
+    """
+    Compute VDF output for given input data.
+    
+    Args:
+        input_data: Input data for VDF
+        difficulty: VDF difficulty level (if None, uses default)
+        
+    Returns:
+        VDF output
+    """
+    if difficulty is None:
+        difficulty = VDF_DIFFICULTY
+        
+    # Simple VDF implementation
+    # In a real implementation, this would be a proper VDF algorithm
+    # like Wesolowski VDF or Pietrzak VDF
+    
+    # For this implementation, we'll use a simple hash-based time delay
+    result = input_data
+    for _ in range(difficulty):
+        result = hashlib.sha256(result).digest()
+        
+    return result
+
+
+def verify_vdf(input_data: bytes, output: bytes, difficulty: Optional[int] = None) -> bool:
+    """
+    Verify VDF computation.
+    
+    Args:
+        input_data: Input data for VDF
+        output: Purported VDF output
+        difficulty: VDF difficulty level (if None, uses default)
+        
+    Returns:
+        True if output is valid, False otherwise
+    """
+    if difficulty is None:
+        difficulty = VDF_DIFFICULTY
+        
+    # Compute expected output and compare
+    expected = compute_vdf(input_data, difficulty)
+    return expected == output
+
+
+def validate_block_vdf(block_number: int, previous_hash: bytes, vdf_proof: bytes) -> bool:
+    """
+    Validate the VDF proof for a block.
+    
+    Args:
+        block_number: Block number
+        previous_hash: Hash of previous block
+        vdf_proof: VDF proof to validate
+        
+    Returns:
+        True if VDF proof is valid, False otherwise
+    """
+    # Skip VDF validation for genesis block
+    if block_number == 0:
+        return True
+        
+    # Compute expected input for the VDF
+    vdf_input = previous_hash
+    
+    # Verify the VDF
+    return verify_vdf(vdf_input, vdf_proof)

{astreum-0.1.14.dist-info → astreum-0.1.15.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: astreum
-Version: 0.1.14
+Version: 0.1.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
@@ -13,6 +13,7 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: pycryptodomex==3.21.0
 Requires-Dist: cryptography==44.0.2
+Requires-Dist: blake3==1.0.4
 
 # lib
 

{astreum-0.1.14.dist-info → astreum-0.1.15.dist-info}/RECORD

@@ -2,8 +2,9 @@ astreum/__init__.py,sha256=di8SwGUW1lNKUwvNWCjH9eLmz__sk1SbtuNZVjjpRe4,59
 astreum/lispeum/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 astreum/lispeum/expression.py,sha256=3zOEoXFHpzEFUIi1clONY55WYAh5K0YkYhaLmtvQj0I,2939
 astreum/lispeum/parser.py,sha256=SU8mjPj1ub4xQbU4CeX15HmKZAj4vI6TeefX2B72VCo,1191
-astreum/lispeum/storage.py,sha256=34BXwn6RVPqdGc6q-SxHT8Qn-lH8YDtnvwJh_7E-gNQ,13948
+astreum/lispeum/storage.py,sha256=l_ch4Ch180FvduaSe71bG4-68E8oojsZSvcsU3Eu3so,13836
 astreum/lispeum/tokenizer.py,sha256=4obr1Jt-k1TqhsImHWUn7adQl9Ks5_VmcEFOTlQwocQ,1437
+astreum/lispeum/utils.py,sha256=R68KoM_HdEDQeowxWJUswAgdHdwrfrlsB1zwuZURaVg,279
 astreum/lispeum/special/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 astreum/lispeum/special/definition.py,sha256=ukQJ-Mz57bpqbTPQiwmevdE4uxec3Zt--apT3VhUYqU,840
 astreum/lispeum/special/list/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
@@ -20,18 +21,33 @@ astreum/lispeum/special/number/addition.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5
 astreum/machine/__init__.py,sha256=GOdZl1tS9uIJHbq5WVcplifMDPDLQroX7CVew-K2YbA,15262
 astreum/machine/environment.py,sha256=K0084U6B7wwjrDZ9b2_7cEcbBzsB7UOy_Zpbrr7B3GY,834
 astreum/machine/error.py,sha256=MvqBaZZt33rNELNhUJ2lER3TE3aS8WVqsWF2hz2AwoA,38
-astreum/node/__init__.py,sha256=Zvu7_oadjB8V3TQpDR9pTdURXZpcHKI5Qhxz4Ykep7U,28271
-astreum/node/models.py,sha256=9Uf2_u55uxWG0ujjySvFJUO5Ub-EzlMnnMJWcgJHjHk,11980
+astreum/node/__init__.py,sha256=K7F21c7V9vlJuTWoSw9arsLA8RF5KNR5I6QS3Frl_Ys,19481
+astreum/node/utils.py,sha256=amGhNYHVMjvAO-9vBRAcim-S5LlLSRudqooBN-XPdm4,702
 astreum/node/relay/__init__.py,sha256=0zvbchIbLUPqGA7QXJbXokKupcIq6Iu3X3VUpxejIQc,14981
 astreum/node/relay/bucket.py,sha256=pcmollbbM-xeHlmDxLZnzvf0Ut-9v9RoN6SijYiQuu8,2893
-astreum/node/relay/envelope.py,sha256=TfkynttoPX7smvMV7xEAdtIlfz-Z-EZjuhZ826csZxA,10078
+astreum/node/relay/envelope.py,sha256=sDKsIvJruQKLWgWs92sx1mCjMHF7yQVoLguPygw2Pz8,10037
 astreum/node/relay/message.py,sha256=uezmGjNaQK4fZmYQLCHd2YpiosaaFb8DOa3H58HS1jA,2887
 astreum/node/relay/peer.py,sha256=DlvTR9j0BZQ1dW-p_9UGgfLvQqwNdpNLMSCYEW4FhyI,5899
 astreum/node/relay/route.py,sha256=fyOSsAe1mfsCVeN6LtQ_OEUEb1FiC5dobZBEJKNGU9U,5814
+astreum/node/storage/__init__.py,sha256=eJL7ILUGKSKDhXZqkn3Rk5TUza39vIcwPwAW_AaIHTk,326
+astreum/node/storage/merkle.py,sha256=gZf18ZhaJffckmuQbc92MwfxepBLwINdORuM6EeyJBc,23879
+astreum/node/storage/storage.py,sha256=czJDhRK2rQxjOo88fhZ6j10f55RW8hWp1qq7c4yur6Y,10086
+astreum/node/storage/trie.py,sha256=DrYNEgTS6j7WL-LtVzzCIDjSmjphjV-jL1bGXBlcyfQ,4930
+astreum/node/storage/utils.py,sha256=CxKH9GbW31aVYs2Hwg1SirCykSnH_3_JisEayDrpOvY,5169
+astreum/node/validation/__init__.py,sha256=D9Gmc5x5V5xgXtM32axuDMSzgKiDCz7MiUShNnuFKYc,1636
+astreum/node/validation/account.py,sha256=gFoJHoSAZs7BKGaewNaLiziivKINTCh8MBpOoN-YajA,27951
+astreum/node/validation/constants.py,sha256=ImIdLZFtMKx1iWg60YssEKl2tdDqZQnIa2JaJE6CX0o,422
+astreum/node/validation/stake.py,sha256=Z9EPM-X9c92fpsZIYsdVpvgz4DhxQViPM-RDktWUZq8,7141
+astreum/node/validation/state.py,sha256=QMXY7h4da-o79wMjJW93ixtepyhgcbJEf101yVuZurg,7661
+astreum/node/validation/vdf.py,sha256=HDdnqn9O_LicfE7SNCmncawKoR-ojLyjlpn74OvRNOU,2194
+astreum/node/validation/block/__init__.py,sha256=n2HaMG_5cpa7y5xko-c7vbHz8rL-1wAGthmr8boNrCs,216
+astreum/node/validation/block/create.py,sha256=apD9h92b9Y146zeppSzKNk_NJPgyBy7FhxoEkypQQNk,2515
+astreum/node/validation/block/model.py,sha256=d7x3_tX2MPLnGODL_5_vNjQfLdYa405blc-zL9o8HFA,2589
+astreum/node/validation/block/validate.py,sha256=niLexCNhEwUJLclyrdNZSvHcVa_J6jlu7J3FiWY7XBU,6232
 astreum/utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 astreum/utils/bytes_format.py,sha256=X4tG5GGPweNCE54bHYkLFiuLTbmpy5upO_s1Cef-MGA,2711
-astreum-0.1.14.dist-info/LICENSE,sha256=gYBvRDP-cPLmTyJhvZ346QkrYW_eleke4Z2Yyyu43eQ,1089
-astreum-0.1.14.dist-info/METADATA,sha256=W3SxJCJeN-OxSs_rGNuG1FrqQunyOFYBOlaCZkjlEyk,3261
-astreum-0.1.14.dist-info/WHEEL,sha256=52BFRY2Up02UkjOa29eZOS2VxUrpPORXg1pkohGGUS8,91
-astreum-0.1.14.dist-info/top_level.txt,sha256=1EG1GmkOk3NPmUA98FZNdKouhRyget-KiFiMk0i2Uz0,8
-astreum-0.1.14.dist-info/RECORD,,
+astreum-0.1.15.dist-info/LICENSE,sha256=gYBvRDP-cPLmTyJhvZ346QkrYW_eleke4Z2Yyyu43eQ,1089
+astreum-0.1.15.dist-info/METADATA,sha256=dkXfuFNHZTgGlPpIHmcYC8hReofWF52gD_4_6JcCQSA,3290
+astreum-0.1.15.dist-info/WHEEL,sha256=52BFRY2Up02UkjOa29eZOS2VxUrpPORXg1pkohGGUS8,91
+astreum-0.1.15.dist-info/top_level.txt,sha256=1EG1GmkOk3NPmUA98FZNdKouhRyget-KiFiMk0i2Uz0,8
+astreum-0.1.15.dist-info/RECORD,,