@inco/lightning 1.0.0-testnet-1 → 1.0.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (121) hide show
  1. package/README.md +21 -36
  2. package/manifest.yaml +86 -0
  3. package/package.json +12 -1
  4. package/src/CreateXHelper.sol +5 -1
  5. package/src/DeployUtils.sol +5 -1
  6. package/src/Errors.sol +5 -1
  7. package/src/IncoLightning.sol +5 -1
  8. package/src/IncoVerifier.sol +5 -1
  9. package/src/Lib.alphanet.sol +1 -1
  10. package/src/Lib.demonet.sol +1 -1
  11. package/src/Lib.devnet.sol +1 -1
  12. package/src/Lib.mainnet.sol +1242 -0
  13. package/src/Lib.sol +2 -2
  14. package/src/Lib.template.sol +6 -1
  15. package/src/Lib.testnet.sol +1 -1
  16. package/src/Types.sol +5 -1
  17. package/src/interfaces/IIncoLightning.sol +5 -1
  18. package/src/interfaces/IIncoVerifier.sol +5 -1
  19. package/src/libs/incoLightning_alphanet_v0_297966649.sol +1 -1
  20. package/src/libs/incoLightning_alphanet_v1_725458969.sol +1 -1
  21. package/src/libs/incoLightning_alphanet_v2_976644394.sol +1 -1
  22. package/src/libs/incoLightning_demonet_v0_863421733.sol +1 -1
  23. package/src/libs/incoLightning_demonet_v11_473256067.sol +1 -1
  24. package/src/libs/incoLightning_demonet_v2_467437523.sol +1 -1
  25. package/src/libs/incoLightning_devnet_v0_340846814.sol +1 -1
  26. package/src/libs/incoLightning_devnet_v10_266391127.sol +1 -1
  27. package/src/libs/incoLightning_devnet_v12_873394282.sol +1 -1
  28. package/src/libs/incoLightning_devnet_v1_904635675.sol +1 -1
  29. package/src/libs/incoLightning_devnet_v2_295237520.sol +1 -1
  30. package/src/libs/incoLightning_devnet_v3_976859633.sol +1 -1
  31. package/src/libs/incoLightning_devnet_v4_409204766.sol +1 -1
  32. package/src/libs/incoLightning_devnet_v5_203964628.sol +1 -1
  33. package/src/libs/incoLightning_devnet_v6_281949651.sol +1 -1
  34. package/src/libs/incoLightning_devnet_v7_24560427.sol +1 -1
  35. package/src/libs/incoLightning_devnet_v8_985328058.sol +1 -1
  36. package/src/libs/incoLightning_devnet_v9_269218568.sol +1 -1
  37. package/src/libs/incoLightning_mainnet_v12_473307884.sol +1242 -0
  38. package/src/libs/incoLightning_testnet_v0_183408998.sol +1 -1
  39. package/src/libs/incoLightning_testnet_v11_340321378.sol +1 -1
  40. package/src/libs/incoLightning_testnet_v12_687186260.sol +1 -1
  41. package/src/libs/incoLightning_testnet_v2_889158349.sol +1 -1
  42. package/src/lightning-parts/AccessControl/AdvancedAccessControl.sol +5 -1
  43. package/src/lightning-parts/AccessControl/AdvancedAccessControl.types.sol +5 -1
  44. package/src/lightning-parts/AccessControl/BaseAccessControlList.sol +5 -1
  45. package/src/lightning-parts/AccessControl/interfaces/IAdvancedAccessControl.sol +5 -1
  46. package/src/lightning-parts/AccessControl/interfaces/IBaseAccessControlList.sol +5 -1
  47. package/src/lightning-parts/AccessControl/test/TestAdvancedAccessControl.t.sol +5 -1
  48. package/src/lightning-parts/AccessControl/test/TestBaseAccessControl.t.sol +5 -1
  49. package/src/lightning-parts/DecryptionAttester.sol +5 -1
  50. package/src/lightning-parts/DecryptionAttester.types.sol +5 -1
  51. package/src/lightning-parts/EList.sol +5 -1
  52. package/src/lightning-parts/EncryptedInput.sol +5 -1
  53. package/src/lightning-parts/EncryptedOperations.sol +5 -1
  54. package/src/lightning-parts/Fee.sol +5 -1
  55. package/src/lightning-parts/TEELifecycle.sol +5 -0
  56. package/src/lightning-parts/TEELifecycle.types.sol +5 -1
  57. package/src/lightning-parts/TrivialEncryption.sol +5 -1
  58. package/src/lightning-parts/interfaces/IDecryptionAttester.sol +5 -1
  59. package/src/lightning-parts/interfaces/IEList.sol +5 -1
  60. package/src/lightning-parts/interfaces/IEncryptedInput.sol +5 -1
  61. package/src/lightning-parts/interfaces/IEncryptedOperations.sol +5 -1
  62. package/src/lightning-parts/interfaces/ITEELifecycle.sol +5 -1
  63. package/src/lightning-parts/interfaces/ITrivialEncryption.sol +5 -1
  64. package/src/lightning-parts/primitives/EListHandleGeneration.sol +5 -1
  65. package/src/lightning-parts/primitives/EListHandleMetadata.sol +5 -1
  66. package/src/lightning-parts/primitives/EventCounter.sol +5 -1
  67. package/src/lightning-parts/primitives/HandleGeneration.sol +5 -1
  68. package/src/lightning-parts/primitives/HandleMetadata.sol +5 -1
  69. package/src/lightning-parts/primitives/LightningAddressGetter.sol +5 -1
  70. package/src/lightning-parts/primitives/SignatureVerifier.sol +5 -1
  71. package/src/lightning-parts/primitives/VerifierAddressGetter.sol +5 -1
  72. package/src/lightning-parts/primitives/interfaces/IEListHandleMetadata.sol +5 -1
  73. package/src/lightning-parts/primitives/interfaces/IEventCounter.sol +5 -1
  74. package/src/lightning-parts/primitives/interfaces/IHandleGeneration.sol +5 -1
  75. package/src/lightning-parts/primitives/interfaces/ISignatureVerifier.sol +5 -1
  76. package/src/lightning-parts/primitives/interfaces/IVerifierAddressGetter.sol +5 -1
  77. package/src/lightning-parts/primitives/test/SignatureVerifier.t.sol +5 -1
  78. package/src/lightning-parts/test/Elist.t.sol +5 -1
  79. package/src/lightning-parts/test/Fee.t.sol +5 -1
  80. package/src/lightning-parts/test/HandleMetadata.t.sol +5 -1
  81. package/src/lightning-parts/test/InputsFee.t.sol +5 -1
  82. package/src/lightning-parts/test/TestDecryptionAttestationInSynchronousFlow.t.sol +5 -1
  83. package/src/misc/ABIHelper.sol +5 -1
  84. package/src/periphery/IncoUtils.sol +5 -1
  85. package/src/periphery/SaltLib.sol +5 -1
  86. package/src/periphery/SessionVerifier.sol +5 -1
  87. package/src/shared/IOwnable.sol +5 -1
  88. package/src/shared/IUUPSUpgradable.sol +5 -1
  89. package/src/shared/JsonUtils.sol +5 -1
  90. package/src/shared/TestUtils.sol +5 -1
  91. package/src/shared/TypeUtils.sol +5 -1
  92. package/src/test/AddTwo.sol +5 -1
  93. package/src/test/EListTester.sol +5 -1
  94. package/src/test/FakeIncoInfra/FakeComputeServer.sol +5 -1
  95. package/src/test/FakeIncoInfra/FakeDecryptionAttester.sol +5 -1
  96. package/src/test/FakeIncoInfra/FakeIncoInfraBase.sol +5 -1
  97. package/src/test/FakeIncoInfra/FakeQuoteVerifier.sol +5 -1
  98. package/src/test/FakeIncoInfra/KVStore.sol +5 -1
  99. package/src/test/FakeIncoInfra/MockOpHandler.sol +5 -1
  100. package/src/test/FakeIncoInfra/MockRemoteAttestation.sol +5 -1
  101. package/src/test/FakeIncoInfra/getOpForSelector.sol +5 -1
  102. package/src/test/IncoTest.sol +6 -2
  103. package/src/test/OpsTest.sol +5 -1
  104. package/src/test/TEELifecycle/TEELifecycleMockTest.t.sol +5 -1
  105. package/src/test/TestAddTwo.t.sol +5 -1
  106. package/src/test/TestDeploy.t.sol +5 -1
  107. package/src/test/TestEventCounter.t.sol +5 -1
  108. package/src/test/TestExtractDataOfEventTooLarge.t.sol +5 -1
  109. package/src/test/TestFakeInfra.t.sol +5 -1
  110. package/src/test/TestFeeWithdrawal.t.sol +5 -1
  111. package/src/test/TestIncoUtils.t.sol +5 -1
  112. package/src/test/TestLib.t.sol +5 -1
  113. package/src/test/TestPause.t.sol +5 -1
  114. package/src/test/TestReceive.t.sol +5 -1
  115. package/src/test/TestUpgrade.t.sol +5 -1
  116. package/src/test/TestVerifierPause.t.sol +5 -1
  117. package/src/test/TestVersion.t.sol +5 -1
  118. package/src/version/IncoLightningConfig.sol +6 -2
  119. package/src/version/SessionVerifierConfig.sol +5 -1
  120. package/src/version/Version.sol +5 -1
  121. package/src/version/interfaces/IVersion.sol +5 -1
package/README.md CHANGED
@@ -2,7 +2,11 @@
2
2
 
3
3
  ![coverage](./coverage.svg)
4
4
 
5
- The core Inco Lightning smart contracts library for building confidential applications on EVM chains.
5
+ The core [Inco Lightning](https://docs.inco.org) smart contracts library for building confidential applications on EVM chains.
6
+
7
+ ## Documentation
8
+
9
+ Full guides, tutorials, and API references live at [docs.inco.org](https://docs.inco.org).
6
10
 
7
11
  ## Architecture
8
12
 
@@ -11,41 +15,22 @@ The Inco Lightning protocol consists of two main contracts that work together:
11
15
  - **IncoLightning**: The core encrypted operations contract - handles encrypted inputs, operations (arithmetic, bitwise, comparisons), trivial encryption, and access control
12
16
  - **IncoVerifier**: The attestation contract - manages TEE lifecycle, decryption attestations, and advanced access control with signed vouchers
13
17
 
14
- ```mermaid
15
- flowchart TB
16
- subgraph IncoLightning["IncoLightning (Operations)"]
17
- EI[EncryptedInput]
18
- EO[EncryptedOperations]
19
- TE[TrivialEncryption]
20
- ACL[BaseAccessControlList]
21
- FEE[Fee Management]
22
- end
23
-
24
- subgraph IncoVerifier["IncoVerifier (Attestation)"]
25
- AAC[AdvancedAccessControl]
26
- DA[DecryptionAttester]
27
- TEE[TEELifecycle]
28
- SV[SignatureVerifier]
29
- end
30
-
31
- subgraph External["External"]
32
- CLIENT[Client App]
33
- COVAL[Covalidator TEE]
34
- QV[Quote Verifier]
35
- end
36
-
37
- CLIENT -->|"encrypted input"| EI
38
- CLIENT -->|"plaintext → encrypted"| TE
39
- EI --> EO
40
- TE --> EO
41
- EO -->|"operations emit events"| COVAL
42
- EO --> ACL
43
- ACL -->|"verify access proofs"| AAC
44
- COVAL -->|"decryption attestations"| DA
45
- COVAL -->|"TEE quotes"| TEE
46
- TEE --> QV
47
- DA --> SV
48
- TEE --> SV
18
+ ```
19
+ Client App
20
+ |
21
+ v
22
+ +---------------------+ verify +----------------------+
23
+ | IncoLightning | --------> | IncoVerifier |
24
+ | (encrypted ops) | proofs | (attestation) |
25
+ | EncryptedInput | | AdvancedAccessCtrl |
26
+ | EncryptedOps | | DecryptionAttester |
27
+ | TrivialEncryption | | TEELifecycle |
28
+ | AccessControlList | | SignatureVerifier |
29
+ | Fee Management | +----------------------+
30
+ +---------------------+ ^ ^
31
+ | events | | quotes/attestations
32
+ v | |
33
+ Covalidator TEE ---------------------+ +-- Quote Verifier
49
34
  ```
50
35
 
51
36
  ### Key Components
package/manifest.yaml CHANGED
@@ -1,3 +1,74 @@
1
+ incoLightning_mainnet_v12_473307884:
2
+ executor:
3
+ name: incoLightning_mainnet_v12_473307884
4
+ majorVersion: 12
5
+ deployer: "0x9eb3483532302Ab76290BACf9D6DC4efD3fa0d1B"
6
+ owner: "0x9eb3483532302Ab76290BACf9D6DC4efD3fa0d1B"
7
+ pepper: mainnet
8
+ executorAddress: "0x4b9911b0191B0b6a6eA8F2Ed562e20Cff5AC8624"
9
+ salt: "0x9eb3483532302ab76290bacf9d6dc4efd3fa0d1b0081cf3196a86345f5e790ec"
10
+ verifierAddress: "0x867758FFe098fB0D74826A8DCf60127696440f09"
11
+ deployments:
12
+ - name: incoLightning_12_0_3__473307884
13
+ chainId: "8453"
14
+ chainName: Base
15
+ version:
16
+ major: 12
17
+ minor: 0
18
+ patch: 3
19
+ shortSalt: "473307884"
20
+ blockNumber: "47416715"
21
+ deployDate: 2026-06-16T15:13:03.693Z
22
+ commit: v1.0.0-5-gf61cd8df-dirty
23
+ active: true
24
+ includesPreviewFeatures: false
25
+ executorImpl: "0x853C0Fc64FEbC97DA6dFB4256F3EEAFf71d7DF87"
26
+ verifierImpl: "0xB8Afb191f58Db7Be49689c88BEF777aBCBA34fd8"
27
+ - name: incoLightning_12_0_3__473307884
28
+ chainId: "84532"
29
+ chainName: Base Sepolia
30
+ version:
31
+ major: 12
32
+ minor: 0
33
+ patch: 3
34
+ shortSalt: "473307884"
35
+ blockNumber: "42919237"
36
+ deployDate: 2026-06-16T10:46:07.167Z
37
+ commit: v1.0.0-4-gbfffce49-dirty
38
+ active: true
39
+ includesPreviewFeatures: false
40
+ executorImpl: "0x853C0Fc64FEbC97DA6dFB4256F3EEAFf71d7DF87"
41
+ verifierImpl: "0xB8Afb191f58Db7Be49689c88BEF777aBCBA34fd8"
42
+ - name: incoLightning_12_0_2__473307884
43
+ chainId: "84532"
44
+ chainName: Base Sepolia
45
+ version:
46
+ major: 12
47
+ minor: 0
48
+ patch: 2
49
+ shortSalt: "473307884"
50
+ blockNumber: "42622919"
51
+ deployDate: 2026-06-09T14:08:51.495Z
52
+ commit: tee-admin-ui-v1.0.0-rc-5-patch-4-g335b3df5-dirty
53
+ active: true
54
+ includesPreviewFeatures: false
55
+ executorImpl: "0x3aEEd93765d214Cc286a0C6650427fc5f0766152"
56
+ verifierImpl: "0xa662CAdDcB4C4d8f5cDF5E400E06C39c38d3f62e"
57
+ - name: incoLightning_12_0_2__473307884
58
+ chainId: "8453"
59
+ chainName: Base
60
+ version:
61
+ major: 12
62
+ minor: 0
63
+ patch: 2
64
+ shortSalt: "473307884"
65
+ blockNumber: "46627676"
66
+ deployDate: 2026-05-29T08:51:44.617Z
67
+ commit: tee-admin-ui-v1.0.0-rc-1-2-gaebaf3c8-dirty
68
+ active: true
69
+ includesPreviewFeatures: false
70
+ executorImpl: "0x3aEEd93765d214Cc286a0C6650427fc5f0766152"
71
+ verifierImpl: "0xa662CAdDcB4C4d8f5cDF5E400E06C39c38d3f62e"
1
72
  incoLightning_testnet_v12_687186260:
2
73
  executor:
3
74
  name: incoLightning_testnet_v12_687186260
@@ -35,6 +106,21 @@ incoLightning_devnet_v12_873394282:
35
106
  salt: "0x8202d2d747784cb7d48868e44c42c4bf162a70bc00f5bad44b2a772fe6ca626a"
36
107
  verifierAddress: "0x75dE330840A8ff79C8a71b0b9bA2cAd635D1Fd88"
37
108
  deployments:
109
+ - name: incoLightning_12_0_3__873394282
110
+ chainId: "84532"
111
+ chainName: Base Sepolia
112
+ version:
113
+ major: 12
114
+ minor: 0
115
+ patch: 3
116
+ shortSalt: "873394282"
117
+ blockNumber: "42917299"
118
+ deployDate: 2026-06-16T09:41:28.145Z
119
+ commit: v1.0.0-3-g503c35e3
120
+ active: true
121
+ includesPreviewFeatures: false
122
+ executorImpl: "0x37038d716aAe4D588D6aF43D0f078E4Ea72dd6eF"
123
+ verifierImpl: "0x835933F50A17100d93D129803b8C596799660F7a"
38
124
  - name: incoLightning_12_0_1__873394282
39
125
  chainId: "84532"
40
126
  chainName: Base Sepolia
package/package.json CHANGED
@@ -1,6 +1,17 @@
1
1
  {
2
2
  "name": "@inco/lightning",
3
- "version": "1.0.0-testnet-1",
3
+ "version": "1.0.1",
4
+ "description": "Core Inco Lightning smart contracts for building confidential applications on EVM chains.",
5
+ "homepage": "https://docs.inco.org",
6
+ "keywords": [
7
+ "inco",
8
+ "confidential",
9
+ "encryption",
10
+ "evm",
11
+ "ethereum",
12
+ "solidity",
13
+ "smart-contracts"
14
+ ],
4
15
  "repository": "https://github.com/Inco-fhevm/inco-monorepo",
5
16
  "files": [
6
17
  "src/",
@@ -1,4 +1,8 @@
1
- // SPDX-License-Identifier: UNLICENSED
1
+ // SPDX-License-Identifier: BUSL-1.1
2
+ // Copyright (c) 2026 Liquidbox Corp.
3
+ // Licensed under the Business Source License 1.1. See LICENSE.md.
4
+ // Terms of use: https://www.inco.org/terms-of-services
5
+ // Security contact team@inco.network
2
6
  pragma solidity ^0.8;
3
7
 
4
8
  import {CreateX} from "./pasted-dependencies/CreateX.sol";
@@ -1,4 +1,8 @@
1
- // SPDX-License-Identifier: No License
1
+ // SPDX-License-Identifier: BUSL-1.1
2
+ // Copyright (c) 2026 Liquidbox Corp.
3
+ // Licensed under the Business Source License 1.1. See LICENSE.md.
4
+ // Terms of use: https://www.inco.org/terms-of-services
5
+ // Security contact team@inco.network
2
6
  pragma solidity ^0.8;
3
7
 
4
8
  import {IncoLightning} from "./IncoLightning.sol";
package/src/Errors.sol CHANGED
@@ -1,4 +1,8 @@
1
- // SPDX-License-Identifier: No License
1
+ // SPDX-License-Identifier: BUSL-1.1
2
+ // Copyright (c) 2026 Liquidbox Corp.
3
+ // Licensed under the Business Source License 1.1. See LICENSE.md.
4
+ // Terms of use: https://www.inco.org/terms-of-services
5
+ // Security contact team@inco.network
2
6
  pragma solidity ^0.8;
3
7
 
4
8
  error HandleAlreadyExists(bytes32 handle);
@@ -1,4 +1,8 @@
1
- // SPDX-License-Identifier: No License
1
+ // SPDX-License-Identifier: BUSL-1.1
2
+ // Copyright (c) 2026 Liquidbox Corp.
3
+ // Licensed under the Business Source License 1.1. See LICENSE.md.
4
+ // Terms of use: https://www.inco.org/terms-of-services
5
+ // Security contact team@inco.network
2
6
  pragma solidity ^0.8.29;
3
7
 
4
8
  import {IIncoLightning} from "./interfaces/IIncoLightning.sol";
@@ -1,4 +1,8 @@
1
- // SPDX-License-Identifier: No License
1
+ // SPDX-License-Identifier: BUSL-1.1
2
+ // Copyright (c) 2026 Liquidbox Corp.
3
+ // Licensed under the Business Source License 1.1. See LICENSE.md.
4
+ // Terms of use: https://www.inco.org/terms-of-services
5
+ // Security contact team@inco.network
2
6
  pragma solidity ^0.8.29;
3
7
 
4
8
  import {AdvancedAccessControl} from "./lightning-parts/AccessControl/AdvancedAccessControl.sol";
@@ -2,7 +2,7 @@
2
2
  // This file was generated by the IncoLightning library generator.
3
3
  // The original template is located at Lib.template.sol
4
4
 
5
- /// SPDX-License-Identifier: No License
5
+ /// SPDX-License-Identifier: BUSL-1.1
6
6
  pragma solidity ^0.8;
7
7
 
8
8
  import { IncoLightning } from "./IncoLightning.sol";
@@ -2,7 +2,7 @@
2
2
  // This file was generated by the IncoLightning library generator.
3
3
  // The original template is located at Lib.template.sol
4
4
 
5
- /// SPDX-License-Identifier: No License
5
+ /// SPDX-License-Identifier: BUSL-1.1
6
6
  pragma solidity ^0.8;
7
7
 
8
8
  import { IncoLightning } from "./IncoLightning.sol";
@@ -2,7 +2,7 @@
2
2
  // This file was generated by the IncoLightning library generator.
3
3
  // The original template is located at Lib.template.sol
4
4
 
5
- /// SPDX-License-Identifier: No License
5
+ /// SPDX-License-Identifier: BUSL-1.1
6
6
  pragma solidity ^0.8;
7
7
 
8
8
  import { IncoLightning } from "./IncoLightning.sol";