Blockchain-level things

					$Υ$

				
			
		
	
 is the Ethereum state transition function

$T$ is a transaction

$\textbf{σ}$ is the world state, a mapping from addresses to account states

Hence the fundamental Ethereum equation:

		$[\\textbf{σ}_{t+1} ≡Υ(\\textbf{σ}_t,T)$](<https://karmacoma.notion.site/Research-Project-Thwarting-EVM-Transaction-Simulation-8d9a2cc84a9f47eeb64c4aa6c2f534f5>) 

<aside> ☝️ we get a new world state by applying the state transition function to a transaction on the current world state

</aside>

					$B$

				
			
		
	
 is a block (group of transactions + link to previous block hash)


	
	


	
		
			
				
					$Π$

				
			
		
	
 is the block-level state-transition function


	
	


	
		
			
				
					 $Ω$

				
			
		
	
 is the block-finalisation state transition 


	
	


	
		
			
				
					$β$

				
			
		
	
 is the chain id (on mainnet, 


	
	


	
		
			
				
					$β = 1$)

Account states

The world state is a mapping from addresses to account state. For a given 160-bit address $a$:

$\textbf{σ}[a]_n$ is the account nonce (number of transactions sent from this address)

$\textbf{σ}[a]_b$ is the account balance in wei

$\textbf{σ}[a]_s$ is the account storageRoot