only check error B p256verify

0xPolygonHermez · Oct 23, 2024 · 41412ba · 41412ba
1 parent c482434
commit 41412ba
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/main/precompiled/pre-p256verify.zkasm b/main/precompiled/pre-p256verify.zkasm
@@ -36,13 +36,15 @@ funcP256VERIFY:
    $ => D                              :MLOAD(readXFromCalldataResult)
    ; read y [32 bytes]
    E + 32 => E                         :MSTORE(readXFromCalldataOffset), CALL(readFromCalldataOffset); in: [readXFromCalldataOffset: offset value, readXFromCalldataLength: length value], out: [readXFromCalldataResult: result value]
-   $ => E                              :MLOAD(readXFromCalldataResult), CALL(p256verify) ;in: [A: hash, B: r, C: s, D: x, E: y], out: [A: result, B: result_code]
+   $ => E                              :MLOAD(readXFromCalldataResult)
+
+   ; call p256verify
+                                       :CALL(p256verify) ;in: [A: hash, B: r, C: s, D: x, E: y], out: [A: result, B: result_code]
    B                                   :JMPNZ(endP256VERIFYFail)
-   A                                   :JMPZ(preEndP256VERIFY)
 
    ; write result p256verify into memory
    0 => E
-   A                                   :MSTORE(bytesToStore), CALL(MSTORE32); in: [bytesToStore, E: offset] out: [E: new offset]
+   1                                   :MSTORE(bytesToStore), CALL(MSTORE32); in: [bytesToStore, E: offset] out: [E: new offset]
 
    ; prepare return data
    0                                   :MSTORE(retDataOffset)