feat: remove mem address check

chancehudson · Feb 15, 2023 · 14c7266 · 14c7266
1 parent 5946e77
commit 14c7266
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 30 deletions.
diff --git a/contracts/PoseidonT2.sol b/contracts/PoseidonT2.sol
@@ -51,12 +51,6 @@ library PoseidonT2 {
         mstore(0x20, addmod(mulmod(state0, M01, F), mulmod(state1, M11, F), F))
       }
 
-      // we're assuming that 0x80 is usable as scratch memory
-      // make sure we're not overwriting another functions memory
-      if eq(eq(inputs, 0x80), 0) {
-        revert(0, 0)
-      }
-
       // scratch variable for exponentiation
       let p
 

diff --git a/contracts/PoseidonT3.sol b/contracts/PoseidonT3.sol
@@ -62,12 +62,6 @@ library PoseidonT3 {
         mstore(0x80, addmod(addmod(mulmod(state0, M02, F), mulmod(state1, M12, F), F), mulmod(state2, M22, F), F))
       }
 
-      // we're assuming that 0x80 is usable as scratch memory
-      // make sure we're not overwriting another functions memory
-      if eq(eq(inputs, 0x80), 0) {
-        revert(0, 0)
-      }
-
       // scratch variable for exponentiation
       let p
 

diff --git a/contracts/PoseidonT4.sol b/contracts/PoseidonT4.sol
@@ -75,12 +75,6 @@ library PoseidonT4 {
         mstore(0xa0, addmod(addmod(addmod(mulmod(state0, M03, F), mulmod(state1, M13, F), F), mulmod(state2, M23, F), F), mulmod(state3, M33, F), F))
       }
 
-      // we're assuming that 0x80 is usable as scratch memory
-      // make sure we're not overwriting another functions memory
-      if eq(eq(inputs, 0x80), 0) {
-        revert(0, 0)
-      }
-
       // scratch variable for exponentiation
       let p
 

diff --git a/contracts/PoseidonT5.sol b/contracts/PoseidonT5.sol
@@ -120,12 +120,6 @@ library PoseidonT5 {
         )
       }
 
-      // we're assuming that 0x80 is usable as scratch memory
-      // make sure we're not overwriting another functions memory
-      if eq(eq(inputs, 0x80), 0) {
-        revert(0, 0)
-      }
-
       // scratch variable for exponentiation
       let p
 

diff --git a/src/buildPoseidon.mjs b/src/buildPoseidon.mjs
@@ -134,12 +134,6 @@ function fRound(${Array(T)
   f += `
 }
 
-// we're assuming that 0x80 is usable as scratch memory
-// make sure we're not overwriting another functions memory
-if eq(eq(inputs, 0x80), 0) {
-  revert(0, 0)
-}
-
 // scratch variable for exponentiation
 let p
 `