I have a question about calculating the dynamic gas portion (dynamic_gas ), and the gas available for execution in the sub call (subcall_gas ) for AUTHCALL.
According to the provided pseudo-codes, if the value is not zero, the cost of gas should add 6700, it is not 9000 because no gas stipend even if the value is not zero. The value added to gas is CallValueTransferGas - CallStipend, which means stipend gas is included in 9000 value transfer gas.
if value > 0:
dynamic_gas += 6700 # NB: Not 9000, like in `CALL`
But in go-ethereum, the stipend gas is not included in 9000.
When executing the opcode CALL, if value is not 0, firstly add 9000 gas in function gasCall() :
Then value will be checked in function opCall(), if it is not 0, 2300 stipend gas will be added :
Therefore, I think the dynamic_gas should add 9000 not 6700 in provided pseudo-codes.