@semaphore-protocol/contracts 4.5.0 → 4.7.0

package/README.md

@@ -46,18 +46,16 @@ To learn more about contracts visit [semaphore.pse.dev](https://docs.semaphore.p
 
 ## 🛠 Install
 
-### npm or yarn
+You can install the semaphore protocol contracts with any node package manager (`bun`, `npm`, `pnpm`,`yarn`) or the solidity package manager [`soldeer`](https://soldeer.xyz).
 
-Install the `@semaphore-protocol/contracts` package with npm:
-
-```bash
+```commandline
+bun add @semaphore-protocol/contracts
 npm i @semaphore-protocol/contracts
-```
-
-or yarn:
-
-```bash
+pnpm add @semaphore-protocol/contracts
 yarn add @semaphore-protocol/contracts
+
+# for soldeer, an explicit version is required, e.g:
+soldeer install semaphore-protocol-contracts~4.6.0
 ```
 
 ## 📜 Usage

package/Semaphore.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 import {ISemaphore} from "./interfaces/ISemaphore.sol";
 import {ISemaphoreVerifier} from "./interfaces/ISemaphoreVerifier.sol";

package/base/Constants.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 /// @dev Minimum supported tree depth.
 uint8 constant MIN_DEPTH = 1;

package/base/SemaphoreGroups.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 import {ISemaphoreGroups} from "../interfaces/ISemaphoreGroups.sol";
 import {InternalLeanIMT, LeanIMTData} from "@zk-kit/lean-imt.sol/InternalLeanIMT.sol";

package/base/SemaphoreVerifier.sol

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Part of this file was generated with [snarkJS](https://github.com/iden3/snarkjs).
 
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 import {MAX_DEPTH} from "./Constants.sol";
 import {SemaphoreVerifierKeyPts} from "./SemaphoreVerifierKeyPts.sol";
@@ -59,7 +59,10 @@ contract SemaphoreVerifier {
                 mstore(add(mIn, 32), y)
                 mstore(add(mIn, 64), s)
 
-                success := staticcall(sub(gas(), 2000), 7, mIn, 96, mIn, 64)
+                // ecMul gas cost is fixed at 6000. Add 33.3% gas for safety buffer.
+                // Last checked in 2024 Oct, evm codename Cancun
+                // ref: https://www.evm.codes/precompiled?fork=cancun#0x07
+                success := staticcall(8000, 7, mIn, 96, mIn, 64)
 
                 if iszero(success) {
                     mstore(0, 0)
@@ -69,7 +72,10 @@ contract SemaphoreVerifier {
                 mstore(add(mIn, 64), mload(pR))
                 mstore(add(mIn, 96), mload(add(pR, 32)))
 
-                success := staticcall(sub(gas(), 2000), 6, mIn, 128, pR, 64)
+                // ecAdd gas cost is fixed at 150. Add 33.3% gas for safety buffer.
+                // Last checked in 2024 Oct, evm codename Cancun
+                // ref: https://www.evm.codes/precompiled?fork=cancun#0x06
+                success := staticcall(200, 6, mIn, 128, pR, 64)
 
                 if iszero(success) {
                     mstore(0, 0)
@@ -149,7 +155,10 @@ contract SemaphoreVerifier {
                 mstore(add(_pPairing, 704), mload(add(vkPoints, 64)))
                 mstore(add(_pPairing, 736), mload(add(vkPoints, 96)))
 
-                let success := staticcall(sub(gas(), 2000), 8, _pPairing, 768, _pPairing, 0x20)
+                // ecPairing gas cost at 181000 given 768 bytes input. Add 33.3% gas for safety buffer.
+                // Last checked in 2024 Oct, evm codename Cancun
+                // ref: https://www.evm.codes/precompiled?fork=cancun#0x08
+                let success := staticcall(241333, 8, _pPairing, 768, _pPairing, 0x20)
 
                 isOk := and(success, mload(_pPairing))
             }

package/base/SemaphoreVerifierKeyPts.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: MIT
 // Part of this file was generated with [snarkJS](https://github.com/iden3/snarkjs).
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 library SemaphoreVerifierKeyPts {
     error Semaphore__VKPtBytesMaxDepthInvariantViolated(uint256 actual, uint256 expected);

package/interfaces/ISemaphore.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 /// @title Semaphore contract interface.
 interface ISemaphore {

package/interfaces/ISemaphoreGroups.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 /// @title SemaphoreGroups contract interface.
 interface ISemaphoreGroups {

package/interfaces/ISemaphoreVerifier.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 /// @title SemaphoreVerifier contract interface.
 interface ISemaphoreVerifier {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@semaphore-protocol/contracts",
-  "version": "4.5.0",
+  "version": "4.7.0",
   "description": "Semaphore contracts to manage groups and broadcast anonymous signals.",
   "license": "MIT",
   "files": [