feat: stateful precompiles #42
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -50,3 +50,5 @@ profile.cov | |
| logs/ | ||
|
|
||
| tests/spec-tests/ | ||
|
|
||
| precompile/out/ | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change | ||||
|---|---|---|---|---|---|---|
| @@ -0,0 +1,177 @@ | ||||||
| package vm | ||||||
|
|
||||||
| import ( | ||||||
| "fmt" | ||||||
| "math/big" | ||||||
| "reflect" | ||||||
| "strings" | ||||||
|
|
||||||
| "github.com/ethereum/go-ethereum/accounts/abi" | ||||||
| "github.com/ethereum/go-ethereum/common" | ||||||
| "github.com/ethereum/go-ethereum/precompile" | ||||||
| ) | ||||||
|
|
||||||
| type methodID [4]byte | ||||||
|
|
||||||
| type statefulMethod struct { | ||||||
| abiMethod abi.Method | ||||||
| reflectMethod reflect.Method | ||||||
| } | ||||||
|
|
||||||
| type precompileMethods map[methodID]*statefulMethod | ||||||
|
|
||||||
| type precompileManager struct { | ||||||
| evm *EVM | ||||||
| precompiles map[common.Address]precompile.StatefulPrecompiledContract | ||||||
| pMethods map[common.Address]precompileMethods | ||||||
| } | ||||||
|
|
||||||
| func NewPrecompileManager(evm *EVM) PrecompileManager { | ||||||
| precompiles := make(map[common.Address]precompile.StatefulPrecompiledContract) | ||||||
| pMethods := make(map[common.Address]precompileMethods) | ||||||
| return &precompileManager{ | ||||||
| evm: evm, | ||||||
| precompiles: precompiles, | ||||||
| pMethods: pMethods, | ||||||
| } | ||||||
| } | ||||||
|
|
||||||
| func (pm *precompileManager) IsPrecompile(addr common.Address) bool { | ||||||
| _, isEvmPrecompile := pm.evm.precompile(addr) | ||||||
| if isEvmPrecompile { | ||||||
| return true | ||||||
| } | ||||||
|
|
||||||
| _, isStatefulPrecompile := pm.precompiles[addr] | ||||||
| return isStatefulPrecompile | ||||||
| } | ||||||
|
|
||||||
| func (pm *precompileManager) Run( | ||||||
| addr common.Address, | ||||||
| input []byte, | ||||||
| caller common.Address, | ||||||
| value *big.Int, | ||||||
| suppliedGas uint64, | ||||||
| readOnly bool, | ||||||
| ) (ret []byte, remainingGas uint64, err error) { | ||||||
|
|
||||||
| // run core evm precompile | ||||||
| p, isEvmPrecompile := pm.evm.precompile(addr) | ||||||
| if isEvmPrecompile { | ||||||
| return RunPrecompiledContract(p, input, suppliedGas) | ||||||
| } | ||||||
|
|
||||||
| contract, ok := pm.precompiles[addr] | ||||||
| if !ok { | ||||||
| return nil, 0, fmt.Errorf("no precompiled contract at address %v", addr.Hex()) | ||||||
| } | ||||||
|
|
||||||
| // Extract the method ID from the input | ||||||
| methodId := methodID(input) | ||||||
| // Try to get the method from the precompiled contracts using the method ID | ||||||
| method, exists := pm.pMethods[addr][methodId] | ||||||
| if !exists { | ||||||
| return nil, 0, fmt.Errorf("no method with id %v in precompiled contract at address %v", methodId, addr.Hex()) | ||||||
| } | ||||||
|
|
||||||
| gasCost := contract.RequiredGas(input) | ||||||
| if gasCost > suppliedGas { | ||||||
| return nil, 0, ErrOutOfGas | ||||||
| } | ||||||
|
|
||||||
| // Unpack the input arguments using the ABI method's inputs | ||||||
| unpackedArgs, err := method.abiMethod.Inputs.Unpack(input[4:]) | ||||||
| if err != nil { | ||||||
| return nil, 0, err | ||||||
| } | ||||||
|
|
||||||
| // Convert the unpacked args to reflect values. | ||||||
| reflectedUnpackedArgs := make([]reflect.Value, 0, len(unpackedArgs)) | ||||||
| for _, unpacked := range unpackedArgs { | ||||||
| reflectedUnpackedArgs = append(reflectedUnpackedArgs, reflect.ValueOf(unpacked)) | ||||||
| } | ||||||
|
|
||||||
| ctx := precompile.NewStatefulContext(pm.evm.StateDB, addr, caller, value) | ||||||
|
|
||||||
| // Make sure the readOnly is only set if we aren't in readOnly yet. | ||||||
| // This also makes sure that the readOnly flag isn't removed for child calls. | ||||||
| if readOnly && !ctx.IsReadOnly() { | ||||||
| ctx.SetReadOnly(true) | ||||||
| defer func() { ctx.SetReadOnly(false) }() | ||||||
| } | ||||||
|
|
||||||
| results := method.reflectMethod.Func.Call(append( | ||||||
| []reflect.Value{ | ||||||
| reflect.ValueOf(contract), | ||||||
| reflect.ValueOf(ctx), | ||||||
| }, | ||||||
| reflectedUnpackedArgs..., | ||||||
| )) | ||||||
|
|
||||||
| // check if precompile returned an error | ||||||
| if len(results) > 0 { | ||||||
|
There was a problem hiding this comment. can we check that the result parameters (length, type) are what are expected based on the method signature? |
||||||
| if err, ok := results[len(results)-1].Interface().(error); ok && err != nil { | ||||||
| return nil, 0, err | ||||||
| } | ||||||
| } | ||||||
|
|
||||||
| // Pack the result | ||||||
| var output []byte | ||||||
| if len(results) > 1 { | ||||||
| interfaceArgs := make([]interface{}, len(results)-1) | ||||||
| for i, v := range results[:len(results)-1] { | ||||||
| interfaceArgs[i] = v.Interface() | ||||||
| } | ||||||
| output, err = method.abiMethod.Outputs.Pack(interfaceArgs...) | ||||||
| if err != nil { | ||||||
| return nil, 0, err | ||||||
| } | ||||||
|
Comment on lines
+131
to
+134
There was a problem hiding this comment. related to above - if the number/type of args aren't correct, this will probably error? |
||||||
| } | ||||||
|
|
||||||
| suppliedGas -= gasCost | ||||||
|
There was a problem hiding this comment. does the caller check if this went negative? probably but just want to confirm There was a problem hiding this comment. There's a check above, Line 77, gasCost := contract.RequiredGas(input)
if gasCost > suppliedGas {
return nil, 0, ErrOutOfGas
} |
||||||
| return output, suppliedGas, nil | ||||||
| } | ||||||
|
|
||||||
| func (pm *precompileManager) Register(addr common.Address, p precompile.StatefulPrecompiledContract) error { | ||||||
| if _, isEvmPrecompile := pm.evm.precompile(addr); isEvmPrecompile { | ||||||
| return fmt.Errorf("precompiled contract already exists at address %v", addr.Hex()) | ||||||
| } | ||||||
|
|
||||||
| if _, exists := pm.precompiles[addr]; exists { | ||||||
| return fmt.Errorf("precompiled contract already exists at address %v", addr.Hex()) | ||||||
| } | ||||||
|
|
||||||
| // niaeve implementation; parsed abi method names must match precompile method names 1:1 | ||||||
|
There was a problem hiding this comment.
Suggested change
|
||||||
| // | ||||||
| // Note on method naming: | ||||||
| // Method name is the abi method name used for internal representation. It's derived from | ||||||
| // the abi raw name and a suffix will be added in the case of a function overload. | ||||||
| // | ||||||
| // e.g. | ||||||
| // These are two functions that have the same name: | ||||||
| // * foo(int,int) | ||||||
| // * foo(uint,uint) | ||||||
| // The method name of the first one will be resolved as Foo while the second one | ||||||
| // will be resolved as Foo0. | ||||||
| // | ||||||
| // Alternatively could require each precompile to define the func mapping instead of doing this magic | ||||||
|
There was a problem hiding this comment. i think this is a lot better - the solidity/abigen stuff is unused apart from the abi, so we should remove it and just have the native code define the mapping. |
||||||
| abiMethods := p.GetABI().Methods | ||||||
| contractType := reflect.ValueOf(p).Type() | ||||||
| precompileMethods := make(precompileMethods) | ||||||
| for _, abiMethod := range abiMethods { | ||||||
| mName := strings.ToUpper(string(abiMethod.Name[0])) + abiMethod.Name[1:] | ||||||
| reflectMethod, exists := contractType.MethodByName(mName) | ||||||
| if !exists { | ||||||
| return fmt.Errorf("precompiled contract does not implement abi method %s with signature %s", abiMethod.Name, abiMethod.RawName) | ||||||
| } | ||||||
| mID := methodID(abiMethod.ID) | ||||||
| precompileMethods[mID] = &statefulMethod{ | ||||||
| abiMethod: abiMethod, | ||||||
| reflectMethod: reflectMethod, | ||||||
| } | ||||||
| } | ||||||
|
|
||||||
| pm.precompiles[addr] = p | ||||||
| pm.pMethods[addr] = precompileMethods | ||||||
| return nil | ||||||
| } | ||||||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,9 @@ | ||
| # Writing a Precompile Contract | ||
|
|
||
| 1. Create Solidity interface in `contracts/interfaces`, e.g, IExampleContract.sol | ||
|
|
||
| 2. Generate bindings with `./gen.sh` | ||
|
|
||
| 3. Implement the precompile in Go. The struct should implement the `StatefulPrecompiledContract` interface and methods defined in the Solidity interface. | ||
|
|
||
| See NativeMinter as an example implementation |
Oops, something went wrong.
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
do we want to have this functionality here? probably would be better to move to an example branch
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
No, it def needs removed, at least registering one. Could probably just be moved to a precompile doc that explains a bit and shows examples