@inco/lightning 0.8.0-devnet-6 → 0.8.0-devnet-8

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@inco/lightning",
-  "version": "0.8.0-devnet-6",
+  "version": "0.8.0-devnet-8",
   "repository": "https://github.com/Inco-fhevm/inco-monorepo",
   "files": [
     "src/",
@@ -14,7 +14,7 @@
     "generate": "bun run generate:libraries",
     "generate:libraries": "bun run ../pega/lib/deployment/cmd/generate-libraries.ts",
     "publish:github": "bun publish --registry=https://npm.pkg.github.com",
-    "publish:npm": "bun publish --access public"
+    "publish:npm": "npm publish --tag ${NPM_DIST_TAG:-alpha} --access public"
   },
   "dependencies": {
     "@inco/shared": "^0.1.0",
@@ -30,6 +30,7 @@
     "lcov-badge2": "^1.1.2"
   },
   "publishConfig": {
-    "registry": "https://npm.pkg.github.com"
+    "access": "public",
+    "registry": "https://registry.npmjs.org/"
   }
 }

package/src/IncoLightning.sol

@@ -54,6 +54,7 @@ contract IncoLightning is
     /// @param owner The address that will own this contract and can authorize upgrades
     function initialize(address owner) public initializer {
         __Ownable_init(owner);
+        _setAcceptedVersion(2, true);
     }
 
     /// @notice Withdraws accumulated protocol fees to the owner
@@ -63,6 +64,18 @@ contract IncoLightning is
         _withdrawFeesTo(owner());
     }
 
+    /// @notice Adds a version to the accepted input versions whitelist.
+    /// @param version The version number to accept (must be non-negative).
+    function addAcceptedVersion(uint16 version) external onlyOwner {
+        _setAcceptedVersion(version, true);
+    }
+
+    /// @notice Removes a version from the accepted input versions whitelist.
+    /// @param version The version number to remove.
+    function removeAcceptedVersion(uint16 version) external onlyOwner {
+        _setAcceptedVersion(version, false);
+    }
+
     /// @notice Required for CreateX deterministic deployment
     /// @dev Empty fallback allows the contract to be deployed via CreateX's create2 mechanism
     fallback() external {}

package/src/Lib.alphanet.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "./IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "./Types.sol";
+import { DecryptionAttestation } from "./lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0xc0d693DeEF0A91CE39208676b6da09B822abd199);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/Lib.demonet.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "./IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "./Types.sol";
+import { DecryptionAttestation } from "./lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0xA95EAbCE575f5f1e52605358Ee893F6536166378);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/Lib.devnet.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "./IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "./Types.sol";
+import { DecryptionAttestation } from "./lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0x4046b737B454b0430FBF29cea070e3337AdE95aD);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/Lib.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "./IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "./Types.sol";
+import { DecryptionAttestation } from "./lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0x4046b737B454b0430FBF29cea070e3337AdE95aD);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/Lib.template.sol

@@ -4,6 +4,7 @@ pragma solidity ^0.8;
 
 import {IncoLightning} from "./IncoLightning.sol";
 import {ebool, euint256, eaddress, ETypes} from "./Types.sol";
+import {DecryptionAttestation} from "./lightning-parts/DecryptionAttester.types.sol";
 
 // forge-lint: disable-next-line(screaming-snake-case-const)
 IncoLightning constant inco = IncoLightning(0x000000000000000000000000000000000000baBe);
@@ -822,6 +823,28 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    /// @param handle The encrypted handle
+    /// @param value The claimed decrypted value
+    /// @param signatures The covalidator signatures
+    /// @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation =
+            DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    /// @param handle The encrypted handle
+    /// @param value The claimed decrypted value
+    /// @param signatures The covalidator signatures
+    /// @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation =
+            DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     /// @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/Lib.testnet.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "./IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "./Types.sol";
+import { DecryptionAttestation } from "./lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0x168FDc3Ae19A5d5b03614578C58974FF30FCBe92);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/interfaces/IIncoLightning.sol

@@ -21,4 +21,8 @@ interface IIncoLightning is
 
     function withdrawFees() external;
 
+    function addAcceptedVersion(uint16 version) external;
+
+    function removeAcceptedVersion(uint16 version) external;
+
 }

package/src/libs/incoLightning_alphanet_v0_297966649.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "../IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "../Types.sol";
+import { DecryptionAttestation } from "../lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0x4651DfD7729aE5568092E7351fAaD872266d4CBd);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/libs/incoLightning_alphanet_v1_725458969.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "../IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "../Types.sol";
+import { DecryptionAttestation } from "../lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0x28676Cd3b10b03b2FDF105Ba280425b45a674F2A);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/libs/incoLightning_alphanet_v2_976644394.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "../IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "../Types.sol";
+import { DecryptionAttestation } from "../lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0xc0d693DeEF0A91CE39208676b6da09B822abd199);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/libs/incoLightning_demonet_v0_863421733.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "../IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "../Types.sol";
+import { DecryptionAttestation } from "../lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0xeBAFF6D578733E4603b99CBdbb221482F29a78E1);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/libs/incoLightning_demonet_v2_467437523.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "../IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "../Types.sol";
+import { DecryptionAttestation } from "../lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0xA95EAbCE575f5f1e52605358Ee893F6536166378);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/libs/incoLightning_devnet_v0_340846814.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "../IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "../Types.sol";
+import { DecryptionAttestation } from "../lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0x3B22be60Ae699933959CA3cE147C96caa88Ccd3D);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/libs/incoLightning_devnet_v1_904635675.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "../IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "../Types.sol";
+import { DecryptionAttestation } from "../lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0x3473820DcAa71Af8157b93C7f2bf1c676A2A39A6);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/libs/incoLightning_devnet_v2_295237520.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "../IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "../Types.sol";
+import { DecryptionAttestation } from "../lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0xC64BB070D6F5aa796e79fA19c1008647ffF736ED);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/libs/incoLightning_devnet_v3_976859633.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "../IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "../Types.sol";
+import { DecryptionAttestation } from "../lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0x4732520194584a04Cac0224e067658619F4086bD);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {

package/src/libs/incoLightning_devnet_v4_409204766.sol

@@ -7,6 +7,7 @@ pragma solidity ^0.8;
 
 import { IncoLightning } from "../IncoLightning.sol";
 import { ebool, euint256, eaddress, ETypes } from "../Types.sol";
+import { DecryptionAttestation } from "../lightning-parts/DecryptionAttester.types.sol";
 
 IncoLightning constant inco = IncoLightning(0x4046b737B454b0430FBF29cea070e3337AdE95aD);
 address constant deployedBy = 0x8202D2D747784Cb7D48868E44C42C4bf162a70BC;
@@ -823,6 +824,26 @@ library e {
         inco.reveal(eaddress.unwrap(a));
     }
 
+    /// @notice Verifies a decryption attestation for a euint256
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(euint256 handle, uint256 value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: euint256.unwrap(handle), value: bytes32(value)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
+    /// @notice Verifies a decryption attestation for an ebool
+    ///  @param handle The encrypted handle
+    ///  @param value The claimed decrypted value
+    ///  @param signatures The covalidator signatures
+    ///  @return True if the attestation is valid
+    function verifyDecryption(ebool handle, bool value, bytes[] memory signatures) internal view returns (bool) {
+        DecryptionAttestation memory attestation = DecryptionAttestation({handle: ebool.unwrap(handle), value: value ? bytes32(uint256(1)) : bytes32(0)});
+        return inco.incoVerifier().isValidDecryptionAttestation(attestation, signatures);
+    }
+
     /// @notice Allows this contract to access an encrypted uint256
     ///  @param a The encrypted uint256
     function allowThis(euint256 a) internal {