Native EVM

specs/RuntimeSpec/Components/Precompiles/EVM.md

@@ -0,0 +1,12 @@
+# EVM pre-compile
+
+This provides interface and details of the implementing EVM pre-compile.
+See more details about pre-compiles in [FunctionCall section](../../FunctionCall.md#pre-compiled-contracts).
+
+## Details
+
+TBD
+
+### Pre-compiles inside EVM
+
+There are a list of pre-compiles in EVM that provide an interface to native functions.

specs/RuntimeSpec/Components/Precompiles/README.md

@@ -0,0 +1,7 @@
+# Precompiles
+
+See more details about pre-compiles in [FunctionCall section](../../FunctionCall.md#pre-compiled-contracts).
+
+Available pre-compiles:
+ - 0x0: No Op contract
+ - 0x1: [Ethereum Virtual Machine](./EVM.md)

specs/RuntimeSpec/FunctionCall.md

@@ -45,6 +45,19 @@ During execution, VM does the following:
 - sets the return data
 - creates new receipts through [PromisesAPI](Components/BindingsSpec/PromisesAPI.md)
 
+## Pre-compiled contracts
+
+Pre-compiled contracts ("pre-compiles") are contracts that are natively built within the client's binary.
+
+They are identified by special `code_hash` in `Account` structure.
+When `FunctionCall` is executed, first it's checked if the account's `code_hash` is in the matching pre-compiles codes. Then instead of WASM, given pre-compile will be used.
+
+Pre-compiles should initialize with `default` and have two public function calls:
+ - `function_call(&mut self, method_name: String, args: &[u8])` to execute a function call that might change state.
+ - `view_call(&self, method_name: String, args: &[u8])` to run a view call.
+
+[See full list of pre-compiles](./Components/Precompiles/README.md)
+
 ## Output
 
 The output of the `FunctionCall`:

specs/SUMMARY.md

@@ -33,6 +33,8 @@
       - [Economics API](RuntimeSpec/Components/BindingsSpec/EconomicsAPI.md)
       - [Math API](RuntimeSpec/Components/BindingsSpec/MathAPI.md)
       - [Miscellaneous API](RuntimeSpec/Components/BindingsSpec/MiscellaneousAPI.md)
+    - [Pre-compiles](RuntimeSpec/Components/Precompiles/README.md)
+      - [EVM](RuntimeSpec/Components/Precompiles/EVM.md)
 - [GenesisConfig](GenesisConfig/GenesisConfig.md)
   - [RuntimeConfig](GenesisConfig/RuntimeConfig.md)
     - [RuntimeFeeConfig](GenesisConfig/RuntimeFeeConfig.md)