codex-storage
/
codex-contracts-eth
mirror of https://github.com/codex-storage/codex-contracts-eth.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
445 Commits 26 Branches 0 Tags 348 MiB

Default Branch

master

945f6008c8 · Increase proof period to 90 seconds on hardhat network · Updated 2024-11-14 13:53:37 +00:00
 ZIP  TAR.GZ

Branches

workaround-websocket-subscriptions

cc69f3a3ae · Add workaround for websocket subscription issues · Updated 2024-11-08 15:19:18 +00:00
1
1
 ZIP  TAR.GZ
feat/deploy-smart-contracts-for-codex_testnet

bacdc8a65c · Add codex_testnet deployment artifacts · Updated 2024-11-03 07:36:14 +00:00
2
1
 ZIP  TAR.GZ
certora-totalsent-le-totalreceived

85d70ba96e · chore(ci): update certora-cli version · Updated 2024-10-21 10:25:42 +00:00
5
2
 ZIP  TAR.GZ
feat/repair-reward

4aacb6f485 · feat: repair reward · Updated 2024-10-11 07:14:00 +00:00
7
1
 ZIP  TAR.GZ
feat/require-proof-to-free-slot

c3cc2cda7d · update Certora spec · Updated 2024-10-09 05:24:23 +00:00
10
2
 ZIP  TAR.GZ
feat/slot-reservations/2-add-dispersal-parameter

2331ae1f0a · clean up · Updated 2024-09-23 01:27:59 +00:00
16
8
 ZIP  TAR.GZ
contract-balance-spec

1e5c8df2fb · chore(certora): contract balance increases when new storage requests are added · Updated 2024-08-27 14:37:31 +00:00
19
1
 ZIP  TAR.GZ
fix/vacuous-rule

6ae0d85d4e · fix(certora): make vacuous rule pass · Updated 2024-08-27 08:52:56 +00:00
21
1
 ZIP  TAR.GZ
failed-state-transitions

ba42fb3428 · WIP · Updated 2024-08-16 16:11:24 +00:00
35
2
 ZIP  TAR.GZ
custom-errors

576fefe46e · refactor: Use custom errors instead of string messages · Updated 2024-08-06 09:07:03 +00:00
42
1
 ZIP  TAR.GZ
feat/add-slots-subsets

c2a17a3a28 · rename all occurrences of 'group' to 'bucket' · Updated 2024-07-26 05:27:20 +00:00
47
6
 ZIP  TAR.GZ
chore/move-circuit-files

f9a9fe9024 · Remove vscode settings files · Updated 2024-03-27 01:55:40 +00:00
50
2
 ZIP  TAR.GZ
chore/document-increaseAllowance-use

1da7ae190a · clean up · Updated 2023-09-13 00:03:31 +00:00
138
2
 ZIP  TAR.GZ
chore/ethers6

9e95b28be5 · chore: bump dependencies · Updated 2023-08-09 13:16:55 +00:00
141
3
 ZIP  TAR.GZ
bumb-hardhat-and-hardhat-deploy

d6fbfdc5d8 · Bump node to the latest LTS - 18.17.0 · Updated 2023-08-08 10:04:35 +00:00
141
2
 ZIP  TAR.GZ
feat/add-expiry-to-storage-requested-event

df219c85d7 · copy slotIndex before delete for emit · Updated 2023-06-21 07:54:41 +00:00
162
3
 ZIP  TAR.GZ
feat/emit-request-queue-item-params

e96d2b244b · clean up · Updated 2023-06-13 07:16:12 +00:00
168
2
 ZIP  TAR.GZ
chore/update-deps

3a900ca247 · chore: bump solidity · Updated 2023-04-27 13:12:45 +00:00
164
2
 ZIP  TAR.GZ
get-active-slot-no-slot-collateral

fb76f7d0b2 · retreive active slot for sales state restoration · Updated 2023-03-30 01:36:19 +00:00
170
1
 ZIP  TAR.GZ
store-slot-index

974e5470b5 · fix test · Updated 2023-02-13 06:45:47 +00:00
170
3
 ZIP  TAR.GZ