@inco/lightning 0.5.2 → 0.6.0

package/manifest.yaml

@@ -1,25 +1,39 @@
-incoLightning_devnet_v1_887305889:
+incoLightning_devnet_v1_904635675:
   executor:
-    name: incoLightning_devnet_v1_887305889
+    name: incoLightning_devnet_v1_904635675
     majorVersion: 1
     deployer: "0x8202D2D747784Cb7D48868E44C42C4bf162a70BC"
     pepper: devnet
-    executorAddress: "0x7b98b0482099611B0ebEA0F98f81FF555406794A"
-    salt: "0x8202d2d747784cb7d48868e44c42c4bf162a70bc00e0709ca1c4596e431f34a1"
+    executorAddress: "0x3473820DcAa71Af8157b93C7f2bf1c676A2A39A6"
+    salt: "0x8202d2d747784cb7d48868e44c42c4bf162a70bc007d63c0fdca6698ac7cc51b"
   deployments:
-    - name: incoLightningPreview_1_0_0__887305889
+    - name: incoLightningPreview_1_0_2__904635675
+      chainId: "9746"
+      chainName: Plasma Testnet
+      version:
+        major: 1
+        minor: 0
+        patch: 2
+        shortSalt: "904635675"
+      decryptSigner: "0x138AcbDC1FA02b955949d8Da09E546Ea7748710f"
+      eciesPublicKey: "0x038a582d29083c2f3fefe024bf4dd9ab913ab8973716977da5f01106e0b84095b1"
+      blockNumber: "3696905"
+      deployDate: 2025-10-03T13:24:44.682Z
+      commit: v0.5.3-6-g8db0f27f-dirty
+      active: true
+    - name: incoLightningPreview_1_0_0__904635675
       chainId: "9746"
       chainName: Plasma Testnet
       version:
         major: 1
         minor: 0
         patch: 0
-        shortSalt: "887305889"
+        shortSalt: "904635675"
       decryptSigner: "0x138AcbDC1FA02b955949d8Da09E546Ea7748710f"
       eciesPublicKey: "0x038a582d29083c2f3fefe024bf4dd9ab913ab8973716977da5f01106e0b84095b1"
-      blockNumber: "2994009"
-      deployDate: 2025-09-25T09:51:49.838Z
-      commit: v0.5.0-dirty
+      blockNumber: "3344310"
+      deployDate: 2025-09-29T11:14:02.599Z
+      commit: v0.5.1-5-g4135c790-dirty
       active: true
 incoLightning_testnet_v0_183408998:
   executor:

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@inco/lightning",
-  "version": "0.5.2",
+  "version": "0.6.0",
   "repository": "https://github.com/Inco-fhevm/inco-monorepo",
   "files": [
     "src/",
@@ -21,7 +21,6 @@
     "@safe-global/safe-smart-account": "https://github.com/safe-global/safe-smart-account.git#v1.5.0",
     "ds-test": "https://github.com/dapphub/ds-test",
     "forge-std": "https://github.com/foundry-rs/forge-std",
-    "solady": "https://github.com/Vectorized/solady.git#v0.1.24",
     "tsx": "^4.19.3"
   },
   "devDependencies": {

package/src/DeployUtils.sol

@@ -6,15 +6,15 @@ import {Script} from "forge-std/Script.sol";
 import {IIncoLightning} from "./interfaces/IIncoLightning.sol";
 import {Vm} from "forge-std/Vm.sol";
 import {
-CreateX,
-createXAddress,
-createXDeployer
+    CreateX,
+    createXAddress,
+    createXDeployer
 } from "./pasted-dependencies/CreateX.sol";
 import {ERC1967Proxy} from "@openzeppelin/contracts/proxy/ERC1967/ERC1967Proxy.sol";
 import {
-CONTRACT_NAME,
-MAJOR_VERSION,
-VERIFIER_NAME
+    CONTRACT_NAME,
+    MAJOR_VERSION,
+    VERIFIER_NAME
 } from "./version/IncoLightningConfig.sol";
 import {IncoVerifier} from "./IncoVerifier.sol";
 import {IIncoVerifier} from "./interfaces/IIncoVerifier.sol";
@@ -51,22 +51,13 @@ contract DeployUtils is Script {
         string memory pepper
     ) internal pure returns (bytes32) {
         return
-                            bytes32(
+            bytes32(
                 abi.encodePacked(
                     deployer,
                     crossChainDeployAuthorizedFlag,
                     bytes11(
                         keccak256(
-                            abi.encodePacked(
-                                name,
-                                majorVersionNumber,
-                                // "ghost" minor and patch versions are passed in the salt for retro compatibility
-                                // of the deployment address
-                                // todo #1037 remove permanently fake minor and patch versions from the salt
-                                uint8(1),
-                                uint8(29),
-                                pepper
-                            )
+                            abi.encodePacked(name, majorVersionNumber, pepper)
                         )
                     )
                 )
@@ -91,8 +82,8 @@ contract DeployUtils is Script {
         string memory pepper,
         IQuoteVerifier quoteVerifier
     )
-    internal
-    returns (IIncoLightning lightningProxy, IIncoVerifier verifierProxy)
+        internal
+        returns (IIncoLightning lightningProxy, IIncoVerifier verifierProxy)
     {
         (bytes32 lightningSalt, bytes32 verifierSalt) = getIncoSalts(
             deployer,

package/src/Lib.alphanet.sol

@@ -353,16 +353,19 @@ library e {
         return inco.eNot(s(a));
     }
 
+    /// @dev costs the inco fee
     function rand() internal returns (euint256) {
-        return euint256.wrap(inco.eRand(ETypes.Uint256));
+        return euint256.wrap(inco.eRand{value: inco.getFee()}(ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(uint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(euint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(s(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(s(upperBound)), ETypes.Uint256));
     }
 
     function asEuint256(uint256 a) internal returns (euint256) {
@@ -385,16 +388,19 @@ library e {
         return euint256.wrap(inco.eCast(ebool.unwrap(a), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function newEuint256(bytes memory ciphertext, address user) internal returns (euint256) {
-        return inco.newEuint256(ciphertext, user);
+        return inco.newEuint256{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEbool(bytes memory ciphertext, address user) internal returns (ebool) {
-        return inco.newEbool(ciphertext, user);
+        return inco.newEbool{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEaddress(bytes memory ciphertext, address user) internal returns (eaddress) {
-        return inco.newEaddress(ciphertext, user);
+        return inco.newEaddress{value: inco.getFee()}(ciphertext, user);
     }
 
     function allow(euint256 a, address to) internal {

package/src/Lib.demonet.sol

@@ -353,16 +353,19 @@ library e {
         return inco.eNot(s(a));
     }
 
+    /// @dev costs the inco fee
     function rand() internal returns (euint256) {
-        return euint256.wrap(inco.eRand(ETypes.Uint256));
+        return euint256.wrap(inco.eRand{value: inco.getFee()}(ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(uint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(euint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(s(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(s(upperBound)), ETypes.Uint256));
     }
 
     function asEuint256(uint256 a) internal returns (euint256) {
@@ -385,16 +388,19 @@ library e {
         return euint256.wrap(inco.eCast(ebool.unwrap(a), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function newEuint256(bytes memory ciphertext, address user) internal returns (euint256) {
-        return inco.newEuint256(ciphertext, user);
+        return inco.newEuint256{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEbool(bytes memory ciphertext, address user) internal returns (ebool) {
-        return inco.newEbool(ciphertext, user);
+        return inco.newEbool{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEaddress(bytes memory ciphertext, address user) internal returns (eaddress) {
-        return inco.newEaddress(ciphertext, user);
+        return inco.newEaddress{value: inco.getFee()}(ciphertext, user);
     }
 
     function allow(euint256 a, address to) internal {

package/src/Lib.devnet.sol

@@ -8,7 +8,7 @@ pragma solidity ^0.8;
 import { IncoLightning } from "./IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "./Types.sol";
 
-IncoLightning constant inco = IncoLightning(0x7b98b0482099611B0ebEA0F98f81FF555406794A);
+IncoLightning constant inco = IncoLightning(0x3473820DcAa71Af8157b93C7f2bf1c676A2A39A6);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
 
 function typeOf(bytes32 handle) pure returns (ETypes) {
@@ -353,16 +353,19 @@ library e {
         return inco.eNot(s(a));
     }
 
+    /// @dev costs the inco fee
     function rand() internal returns (euint256) {
-        return euint256.wrap(inco.eRand(ETypes.Uint256));
+        return euint256.wrap(inco.eRand{value: inco.getFee()}(ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(uint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(euint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(s(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(s(upperBound)), ETypes.Uint256));
     }
 
     function asEuint256(uint256 a) internal returns (euint256) {
@@ -385,16 +388,19 @@ library e {
         return euint256.wrap(inco.eCast(ebool.unwrap(a), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function newEuint256(bytes memory ciphertext, address user) internal returns (euint256) {
-        return inco.newEuint256(ciphertext, user);
+        return inco.newEuint256{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEbool(bytes memory ciphertext, address user) internal returns (ebool) {
-        return inco.newEbool(ciphertext, user);
+        return inco.newEbool{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEaddress(bytes memory ciphertext, address user) internal returns (eaddress) {
-        return inco.newEaddress(ciphertext, user);
+        return inco.newEaddress{value: inco.getFee()}(ciphertext, user);
     }
 
     function allow(euint256 a, address to) internal {

package/src/Lib.sol

@@ -8,7 +8,7 @@ pragma solidity ^0.8;
 import { IncoLightning } from "./IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "./Types.sol";
 
-IncoLightning constant inco = IncoLightning(0x7b98b0482099611B0ebEA0F98f81FF555406794A);
+IncoLightning constant inco = IncoLightning(0x3473820DcAa71Af8157b93C7f2bf1c676A2A39A6);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
 
 function typeOf(bytes32 handle) pure returns (ETypes) {
@@ -353,16 +353,19 @@ library e {
         return inco.eNot(s(a));
     }
 
+    /// @dev costs the inco fee
     function rand() internal returns (euint256) {
-        return euint256.wrap(inco.eRand(ETypes.Uint256));
+        return euint256.wrap(inco.eRand{value: inco.getFee()}(ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(uint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(euint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(s(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(s(upperBound)), ETypes.Uint256));
     }
 
     function asEuint256(uint256 a) internal returns (euint256) {
@@ -385,16 +388,19 @@ library e {
         return euint256.wrap(inco.eCast(ebool.unwrap(a), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function newEuint256(bytes memory ciphertext, address user) internal returns (euint256) {
-        return inco.newEuint256(ciphertext, user);
+        return inco.newEuint256{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEbool(bytes memory ciphertext, address user) internal returns (ebool) {
-        return inco.newEbool(ciphertext, user);
+        return inco.newEbool{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEaddress(bytes memory ciphertext, address user) internal returns (eaddress) {
-        return inco.newEaddress(ciphertext, user);
+        return inco.newEaddress{value: inco.getFee()}(ciphertext, user);
     }
 
     function allow(euint256 a, address to) internal {

package/src/Lib.template.sol

@@ -365,24 +365,27 @@ library e {
         return inco.eNot(s(a));
     }
 
+    /// @dev costs the inco fee
     function rand() internal returns (euint256) {
-        return euint256.wrap(inco.eRand(ETypes.Uint256));
+        return euint256.wrap(inco.eRand{value: inco.getFee()}(ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(uint256 upperBound) internal returns (euint256) {
         return
             euint256.wrap(
-                inco.eRandBounded(
+                inco.eRandBounded{value: inco.getFee()}(
                     euint256.unwrap(asEuint256(upperBound)),
                     ETypes.Uint256
                 )
             );
     }
 
+    /// @dev costs the inco fee
     function randBounded(euint256 upperBound) internal returns (euint256) {
         return
             euint256.wrap(
-                inco.eRandBounded(
+                inco.eRandBounded{value: inco.getFee()}(
                     euint256.unwrap(s(upperBound)),
                     ETypes.Uint256
                 )
@@ -409,25 +412,28 @@ library e {
         return euint256.wrap(inco.eCast(ebool.unwrap(a), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function newEuint256(
         bytes memory ciphertext,
         address user
     ) internal returns (euint256) {
-        return inco.newEuint256(ciphertext, user);
+        return inco.newEuint256{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEbool(
         bytes memory ciphertext,
         address user
     ) internal returns (ebool) {
-        return inco.newEbool(ciphertext, user);
+        return inco.newEbool{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEaddress(
         bytes memory ciphertext,
         address user
     ) internal returns (eaddress) {
-        return inco.newEaddress(ciphertext, user);
+        return inco.newEaddress{value: inco.getFee()}(ciphertext, user);
     }
 
     function allow(euint256 a, address to) internal {

package/src/Lib.testnet.sol

@@ -353,16 +353,19 @@ library e {
         return inco.eNot(s(a));
     }
 
+    /// @dev costs the inco fee
     function rand() internal returns (euint256) {
-        return euint256.wrap(inco.eRand(ETypes.Uint256));
+        return euint256.wrap(inco.eRand{value: inco.getFee()}(ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(uint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(euint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(s(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(s(upperBound)), ETypes.Uint256));
     }
 
     function asEuint256(uint256 a) internal returns (euint256) {
@@ -385,16 +388,19 @@ library e {
         return euint256.wrap(inco.eCast(ebool.unwrap(a), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function newEuint256(bytes memory ciphertext, address user) internal returns (euint256) {
-        return inco.newEuint256(ciphertext, user);
+        return inco.newEuint256{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEbool(bytes memory ciphertext, address user) internal returns (ebool) {
-        return inco.newEbool(ciphertext, user);
+        return inco.newEbool{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEaddress(bytes memory ciphertext, address user) internal returns (eaddress) {
-        return inco.newEaddress(ciphertext, user);
+        return inco.newEaddress{value: inco.getFee()}(ciphertext, user);
     }
 
     function allow(euint256 a, address to) internal {

package/src/Types.sol

@@ -36,7 +36,10 @@ pragma solidity ^0.8;
         DecryptionRequested, // 28
         RequestFulfilled, // 29
         EOP30, EOP31, EOP32, EOP33, EOP34, EOP35, EOP36, EOP37, EOP38, EOP39,
-        EOP40, EOP41, EOP42, EOP43, EOP44, EOP45, EOP46, EOP47, EOP48, EOP49,
+        // Pseudo-operation for an ACL (persistent) allow
+        Allow, // 40
+        Reveal, // 41
+        EOP42, EOP43, EOP44, EOP45, EOP46, EOP47, EOP48, EOP49,
         EOP50, EOP51, EOP52, EOP53, EOP54, EOP55, EOP56, EOP57, EOP58, EOP59,
         EOP60, EOP61, EOP62, EOP63, EOP64, EOP65, EOP66, EOP67, EOP68, EOP69,
         EOP70, EOP71, EOP72, EOP73, EOP74, EOP75, EOP76, EOP77, EOP78, EOP79,

package/src/libs/incoLightning_alphanet_v0_297966649.sol

@@ -353,16 +353,19 @@ library e {
         return inco.eNot(s(a));
     }
 
+    /// @dev costs the inco fee
     function rand() internal returns (euint256) {
-        return euint256.wrap(inco.eRand(ETypes.Uint256));
+        return euint256.wrap(inco.eRand{value: inco.getFee()}(ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(uint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(euint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(s(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(s(upperBound)), ETypes.Uint256));
     }
 
     function asEuint256(uint256 a) internal returns (euint256) {
@@ -385,16 +388,19 @@ library e {
         return euint256.wrap(inco.eCast(ebool.unwrap(a), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function newEuint256(bytes memory ciphertext, address user) internal returns (euint256) {
-        return inco.newEuint256(ciphertext, user);
+        return inco.newEuint256{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEbool(bytes memory ciphertext, address user) internal returns (ebool) {
-        return inco.newEbool(ciphertext, user);
+        return inco.newEbool{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEaddress(bytes memory ciphertext, address user) internal returns (eaddress) {
-        return inco.newEaddress(ciphertext, user);
+        return inco.newEaddress{value: inco.getFee()}(ciphertext, user);
     }
 
     function allow(euint256 a, address to) internal {

package/src/libs/incoLightning_demonet_v0_863421733.sol

@@ -353,16 +353,19 @@ library e {
         return inco.eNot(s(a));
     }
 
+    /// @dev costs the inco fee
     function rand() internal returns (euint256) {
-        return euint256.wrap(inco.eRand(ETypes.Uint256));
+        return euint256.wrap(inco.eRand{value: inco.getFee()}(ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(uint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(euint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(s(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(s(upperBound)), ETypes.Uint256));
     }
 
     function asEuint256(uint256 a) internal returns (euint256) {
@@ -385,16 +388,19 @@ library e {
         return euint256.wrap(inco.eCast(ebool.unwrap(a), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function newEuint256(bytes memory ciphertext, address user) internal returns (euint256) {
-        return inco.newEuint256(ciphertext, user);
+        return inco.newEuint256{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEbool(bytes memory ciphertext, address user) internal returns (ebool) {
-        return inco.newEbool(ciphertext, user);
+        return inco.newEbool{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEaddress(bytes memory ciphertext, address user) internal returns (eaddress) {
-        return inco.newEaddress(ciphertext, user);
+        return inco.newEaddress{value: inco.getFee()}(ciphertext, user);
     }
 
     function allow(euint256 a, address to) internal {

package/src/libs/incoLightning_devnet_v0_340846814.sol

@@ -353,16 +353,19 @@ library e {
         return inco.eNot(s(a));
     }
 
+    /// @dev costs the inco fee
     function rand() internal returns (euint256) {
-        return euint256.wrap(inco.eRand(ETypes.Uint256));
+        return euint256.wrap(inco.eRand{value: inco.getFee()}(ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(uint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(asEuint256(upperBound)), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function randBounded(euint256 upperBound) internal returns (euint256) {
-        return euint256.wrap(inco.eRandBounded(euint256.unwrap(s(upperBound)), ETypes.Uint256));
+        return euint256.wrap(inco.eRandBounded{value: inco.getFee()}(euint256.unwrap(s(upperBound)), ETypes.Uint256));
     }
 
     function asEuint256(uint256 a) internal returns (euint256) {
@@ -385,16 +388,19 @@ library e {
         return euint256.wrap(inco.eCast(ebool.unwrap(a), ETypes.Uint256));
     }
 
+    /// @dev costs the inco fee
     function newEuint256(bytes memory ciphertext, address user) internal returns (euint256) {
-        return inco.newEuint256(ciphertext, user);
+        return inco.newEuint256{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEbool(bytes memory ciphertext, address user) internal returns (ebool) {
-        return inco.newEbool(ciphertext, user);
+        return inco.newEbool{value: inco.getFee()}(ciphertext, user);
     }
 
+    /// @dev costs the inco fee
     function newEaddress(bytes memory ciphertext, address user) internal returns (eaddress) {
-        return inco.newEaddress(ciphertext, user);
+        return inco.newEaddress{value: inco.getFee()}(ciphertext, user);
     }
 
     function allow(euint256 a, address to) internal {