CREATE tests

ac

@@ -0,0 +1,35 @@
+# SELFDESTRUCT testing
+
+- STATICX
+	- i.e. done in an execution context spawned through STATICCALL
+- OOGX
+	- zero / nonzero balance
+	- warmth / cold recipient
+	- self recipient
+	- new account cost for recipient
+- REVERT'ed later or not
+- inside of a CREATE / deployment transaction
+	- leads to early deployment of empty code
+	- said account will be wiped off the world later
+	- can still have storage in the mean time
+
+- carried out several times in the same account, same transaction
+- reverted yes or no at the end
+- done indirectly (i.e. through DELEGATECALL / CALLCODE)
+- interaction with storage
+
+More involved:
+- deploying from an account MARKED_FOR_SELFDESTRUCT
+- deploying with CREATE from an account MARKED_FOR_SELFDESTRUCT
+
+This would be to reproduce CREATE address collisions
+
+
+# PRC calls
+
+- all 9 precompiles
+- testing all possible success / failure paths (some extensive work was already done for EC stuff)
+- in particular for gas
+- testing variations on CALLDATA
+- testing the output RETURNDATA
+- interaction with DELEGATECALL / CALLCODE ?

arithmetization/src/main/java/net/consensys/linea/zktracer/module/hub/Hub.java

@@ -625,7 +625,7 @@ public void traceContextEnter(MessageFrame frame) {
           frameType,
           newChildContextNumber(),
           this.deploymentStatusOf(frame.getContractAddress()),
-          frame.getValue(),
+          frame.getApparentValue(),
           frame.getRemainingGas(),
           frame.getRecipientAddress(),
           this.deploymentNumberOf(frame.getRecipientAddress()),

arithmetization/src/main/java/net/consensys/linea/zktracer/module/hub/fragment/common/CommonFragmentValues.java

@@ -257,9 +257,6 @@ public long computeGasNext(short exceptions) {
 
     final long gasAfterDeductingCost = computeGasRemaining() - computeGasCost();
 
-    OpCode opCode = hub.opCode();
-    GasProjection gasUtility = Hub.GAS_PROJECTOR.of(hub.messageFrame(), opCode);
-
     return switch (hub.opCodeData().instructionFamily()) {
       case KEC, COPY, STACK_RAM, STORAGE, LOG, HALT -> gasAfterDeductingCost;
       case CREATE -> gasAfterDeductingCost;

arithmetization/src/main/java/net/consensys/linea/zktracer/module/hub/fragment/imc/StpCall.java

@@ -59,16 +59,17 @@ public class StpCall implements TraceSubFragment {
   @EqualsAndHashCode.Include long gasPaidOutOfPocket;
   @EqualsAndHashCode.Include long stipend;
 
-  public StpCall(Hub hub, long memoryExpansionGas) {
-    this.memoryExpansionGas = memoryExpansionGas;
+  public StpCall(Hub hub, MessageFrame frame, long memoryExpansionGas) {
     this.opCode = hub.opCode();
-    this.gasActual = hub.messageFrame().getRemainingGas();
     checkArgument(this.opCode.isCall() || this.opCode.isCreate());
 
+    this.memoryExpansionGas = memoryExpansionGas;
+    this.gasActual = frame.getRemainingGas();
+
     if (this.opCode.isCall()) {
       this.stpCallForCalls(hub);
     } else {
-      this.stpCallForCreates(hub);
+      this.stpCallForCreates(frame);
     }
   }
 
@@ -114,8 +115,7 @@ private long gasPaidOutOfPocketForCalls() {
     }
   }
 
-  private void stpCallForCreates(Hub hub) {
-    MessageFrame frame = hub.messageFrame();
+  private void stpCallForCreates(MessageFrame frame) {
 
     this.gas = ZERO; // irrelevant
     this.value = EWord.of(frame.getStackItem(0));
@@ -132,7 +132,7 @@ private long computeGasPaidOutOfPocketForCreates() {
       return 0;
     } else {
       long gasMinusUpfrontCost = gasActual - upfrontGasCost;
-      return gasMinusUpfrontCost - (gasMinusUpfrontCost >> 6);
+      return gasMinusUpfrontCost - gasMinusUpfrontCost / 64;
     }
   }
 

arithmetization/src/main/java/net/consensys/linea/zktracer/module/hub/fragment/scenario/CreateScenarioFragment.java

@@ -32,7 +32,16 @@ public enum CreateScenario {
     CREATE_NON_EMPTY_INIT_CODE_FAILURE_WILL_REVERT,
     CREATE_NON_EMPTY_INIT_CODE_FAILURE_WONT_REVERT,
     CREATE_NON_EMPTY_INIT_CODE_SUCCESS_WILL_REVERT,
-    CREATE_NON_EMPTY_INIT_CODE_SUCCESS_WONT_REVERT
+    CREATE_NON_EMPTY_INIT_CODE_SUCCESS_WONT_REVERT;
+
+    public boolean isAnyOf(CreateScenario... createScenarios) {
+      for (CreateScenario createScenario : createScenarios) {
+        if (createScenario.equals(this)) {
+          return true;
+        }
+      }
+      return false;
+    }
   }
 
   @Setter @Getter private CreateScenario scenario;