Commit Graph

Select branches

Hide Pull Requests

certora-totalsent-le-totalreceived

chore/add-graph-file

chore/adjust-hardhat-timeout

chore/document-increaseAllowance-use

chore/move-circuit-files

chore/sepolia-deployment

chore/update-deps

contract-balance-spec

failed-state-transitions

feat/add-expiry-to-storage-requested-event

feat/add-slots-subsets

feat/decrease-period-for-proofs-on-new-thread

feat/emit-request-queue-item-params

feat/etherscan-verification

feat/increase-period-for-windows-ci

feat/protocol-burn-fee

feat/require-proof-to-free-slot

feat/slot-reservations/2-add-dispersal-parameter

feat/upgradable-contract

feat/verify-proof

fix/transfer-from-error-handling

fix/vacuous-rule

get-active-slot-no-slot-collateral

license-compliance/update-licenses-2026-01-21

list-of-active-requests

list-of-active-sales

master

smt-checking

store-slot-index

testnet_deployment

vault-integration

vault-integration-merge-certora

workaround-websocket-subscriptions

#1

#10

#11

#113

#118

#12

#120

#121

#122

#123

#13

#134

#135

#136

#138

#14

#140

#141

#142

#144

#145

#146

#147

#148

#15

#152

#155

#158

#16

#160

#162

#163

#166

#167

#168

#169

#170

#171

#176

#177

#178

#179

#180

#181

#183

#185

#188

#189

#19

#190

#191

#193

#194

#196

#197

#198

#199

#2

#20

#200

#201

#202

#203

#204

#205

#206

#207

#208

#209

#210

#211

#212

#213

#214

#215

#216

#217

#218

#219

#22

#220

#221

#222

#223

#223

#226

#227

#228

#228

#229

#23

#231

#234

#235

#236

#237

#238

#24

#241

#242

#242

#243

#244

#245

#246

#247

#248

#248

#249

#25

#250

#251

#252

#253

#253

#254

#255

#255

#256

#257

#257

#258

#258

#259

#26

#260

#261

#262

#27

#28

#29

#3

#30

#31

#32

#33

#34

#35

#36

#37

#4

#41

#44

#47

#48

#5

#51

#52

#54

#55

#56

#58

#59

#6

#60

#61

#62

#63

#64

#65

#66

#67

#68

#69

#7

#72

#73

#74

#75

#77

#78

#79

#8

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#90

#91

#92

#93

#94

#96

#97

#99

Mono Color

• d578c9dce6 fix(license): Add/Update license files for compliance license-compliance/update-licenses-2026-01-21 License Compliance Bot 2026-01-21 02:57:11 +00:00
• e159ceee44 Rename Codex to Logos Storage (#262) master Arnaud 2025-12-16 07:19:52 +01:00
• da1400ce9a Adds env-var configurable configuration (#261) Ben Bierens 2025-08-25 11:08:06 +02:00
• 92b796f537 fix(tests): maximum gas deviation for reserveSlot (#250) markspanbroekandAdam Uhlíř 2025-08-13 16:36:57 +02:00
• a86575b262 ci: add a way to pass contracts repository ref (#260) Slava 2025-07-28 13:47:50 +03:00
• e22799e1f8 ci: devnet contracts deployment (#259) Slava 2025-07-16 07:36:34 +03:00
• d6cf524255 feat: etherscan verification feat/etherscan-verification Adam Uhlíř 2025-07-01 15:48:54 +02:00
• 64174d8ce6 docs: safe multisig upgrade documentation feat/upgradable-contract Adam Uhlíř 2025-07-01 14:40:59 +02:00
• 9967bc89e8 chore: sepolia deployment chore/sepolia-deployment Adam Uhlíř 2025-07-01 12:19:51 +02:00
• 03b5227356 test: upgrade tests Adam Uhlíř 2025-06-26 09:59:05 +02:00
• 5717ff0713 docs: upgrade documentation and tweaks Adam Uhlíř 2025-06-26 09:58:38 +02:00
• 17cb41726b feat: upgradable Marketplace contract Adam Uhlíř 2025-06-19 13:04:24 +02:00
• cd6a78e548 reduce proof period feat/decrease-period-for-proofs-on-new-thread Eric 2025-06-26 15:59:02 +10:00
• a179deb2f9 chore: deploy smart contracts for Devnet on Status L2 Tetsnet (#256) Slava 2025-06-24 14:41:36 +03:00
• dee3d7b654 feat: move to hardhat ignition for deployments (#231) Arnaud 2025-06-20 16:05:57 +02:00
• 2dddc26015 chore: status L2 Linea test deployment (#226) Arnaud 2025-06-20 08:14:39 +02:00
• 449d64ffc0 chore: codex_testnet deployment artifacts (#254) Slava 2025-06-19 17:51:36 +03:00
• a4ca4f9cb6 chore(codex-devnet): update verifier artifacts (#253) Slava 2025-06-19 15:26:15 +03:00
• 886e8c5b0f chore: codex_testnet deployment artifacts (#247) Slava 2025-06-17 15:56:22 +03:00
• ce15c6af45 Updates verifier network artifacts (#252) Ben Bierens 2025-06-17 14:16:00 +02:00
• 2e7f81da9a Use codex_testnet verifier artifact for dist-tests (#251) Ben Bierens 2025-06-17 14:08:09 +02:00
• 0fc4621c96 Use trySafeTransfer instead of transfer fix/transfer-from-error-handling Arnaud 2025-06-13 15:49:26 +02:00
• 4e212dd063 Update solhint to 5.1.0 Arnaud 2025-06-13 15:48:59 +02:00
• 0c12a370b9 Use trySafeTransferFrom instead of transferFrom Arnaud 2025-06-13 12:06:02 +02:00
• ad991304b1 certora: cleanup vault-integration-merge-certora Mark Spanbroek 2025-06-12 17:14:49 +02:00
• 0305965bd5 certora: update certora-cli to 7.29.3 Mark Spanbroek 2025-06-12 17:03:00 +02:00
• 6d16b0c613 certora: run vault rules as part of the CI Mark Spanbroek 2025-06-12 16:58:58 +02:00
• cbe52b4934 certora: remove configuration that fixes solidity to solc8.28 Mark Spanbroek 2025-06-12 16:55:16 +02:00
• 26e8fce9bb finished Codex's invariants and more spec cleaning Aleksander Kryukov 2025-06-02 16:42:31 +01:00
• 1742b1dae5 spec cleaning Aleksander Kryukov 2025-06-02 10:31:23 +01:00
• d0e4208854 tmp save Aleksander Kryukov 2025-05-30 00:32:25 +01:00
• 25c8f11a06 bug finding invariants Aleksander Kryukov 2025-04-29 11:57:37 +01:00
• 73ac5820a6 started implementing solvency Aleksander Kryukov 2025-04-16 23:21:47 +01:00
• 3cda5a0ce0 adding CVLStatus to use in quantifiers Aleksander Kryukov 2025-04-16 23:09:30 +01:00
• c35b8b6d74 attempt to use sum ghost Aleksander Kryukov 2025-04-09 00:29:56 +01:00
• ae94d1ebf3 try to hook on _funds. fixed required Aleksander Kryukov 2025-04-06 00:39:55 +01:00
• b5ab3869b9 marketplace: better tests for repair vault-integration Mark SpanbroekandAdam Uhlíř 2025-06-12 15:50:09 +02:00
• d7554ce0d2 marketplace: improve withdraw test Mark SpanbroekandAdam Uhlíř 2025-06-12 08:05:24 +02:00
• 4410941061 marketplace: add test for hosts that makes request fail Mark SpanbroekandAdam Uhlíř 2025-06-11 17:00:52 +02:00
• cd8b6572f3 marketplace: fix test Mark SpanbroekandAdam Uhlíř 2025-06-11 17:00:24 +02:00
• 075d97e5da marketplace: clarify why we flow & transfer funds before burning Mark SpanbroekandAdam Uhlíř 2025-05-27 13:07:10 +02:00
• 895e36fbba marketplace: clarify why we flow funds from client to itself Mark SpanbroekandAdam Uhlíř 2025-05-27 12:52:52 +02:00
• bdee8de9cc marketplace: move collateralPerSlot() to Requests.sol Mark SpanbroekandAdam Uhlíř 2025-05-27 12:46:23 +02:00
• 1fb3d2130b marketplace: cleanup Mark SpanbroekandAdam Uhlíř 2025-05-27 11:38:22 +02:00
• 724344cb5e marketplace: allow slot payout for failed requests Mark SpanbroekandAdam Uhlíř 2025-05-27 11:02:11 +02:00
• 2cd45214cf marketplace: no longer expose forciblyFreeSlot in tests Mark Spanbroek 2025-05-27 10:52:21 +02:00
• 47f3c1e36d marketplace: keep request in myRequests when freeing slot Mark Spanbroek 2025-05-27 10:44:34 +02:00
• 9603025202 marketplace: simplify requestEnd() Mark Spanbroek 2025-04-16 13:50:46 +02:00
• 7a566182d5 marketplace: re-instate currentCollateral() Mark Spanbroek 2025-03-25 09:51:28 +01:00
• 6971766b62 marketplace: cleanup tests Mark Spanbroek 2025-03-25 09:51:53 +01:00
• 6bd4144714 marketplace: repair reward is paid out at the end Mark Spanbroek 2025-03-12 10:52:11 +01:00
• e4348de891 certora: update state changes spec now that we have vault Mark Spanbroek 2025-03-06 14:17:47 +01:00
• 51862f67e9 certora: remove check on ERC20 token Mark Spanbroek 2025-03-06 10:22:46 +01:00
• 2d21d65624 certora: update marketplace spec now that we have vault Mark Spanbroek 2025-03-06 10:21:06 +01:00
• 52cf22789c proofs: use Timestamp instead of uint64 Mark Spanbroek 2025-03-06 15:14:15 +01:00
• 468bc2e833 marketplace: remove 'Paid' state Mark Spanbroek 2025-02-27 10:45:39 +01:00
• 5fb63c4939 marketplace: cleanup Mark Spanbroek 2025-02-27 10:01:45 +01:00
• 06a9e417b2 marketplace: remove accounting that is now done by vault Mark Spanbroek 2025-02-27 09:57:33 +01:00
• e60ff36202 marketplace: formatting Mark Spanbroek 2025-02-27 09:44:01 +01:00
• 17646f15b9 marketplace: designate validator rewards Mark Spanbroek 2025-02-27 09:39:13 +01:00
• b6f5d65630 marketplace: transfer repair reward in vault Mark Spanbroek 2025-02-27 09:31:51 +01:00
• 5c9910d29d marketplace: optimize storage reads and writes Mark Spanbroek 2025-02-27 08:42:19 +01:00
• 5e8031eda5 marketplace: remove accounting that is now done by vault Mark Spanbroek 2025-02-27 08:37:23 +01:00
• c626372d55 marketplace: burn tokens in vault when slashing Mark Spanbroek 2025-02-27 08:23:56 +01:00
• 3ea02914fa marketplace: simplify withdrawing by client Mark Spanbroek 2025-02-26 15:00:13 +01:00
• 9570404fba marketplace: remove accounting that is now done by vault Mark Spanbroek 2025-02-26 14:27:30 +01:00
• 15c58e1a81 marketplace: remove fuzzing Mark Spanbroek 2025-02-26 14:13:05 +01:00
• 761fbd4f84 marketplace: collateral is uint128 Mark Spanbroek 2025-02-26 14:03:02 +01:00
• 4f45856a5e marketplace: use Timestamp, Duration and TokensPerSecond types Mark Spanbroek 2025-02-26 12:26:04 +01:00
• ccf91075bf vault: move Timestamp and TokensPerSecond libraries one level up Mark Spanbroek 2025-02-26 10:36:04 +01:00
• 0910c83428 marketplace: use vault in marketplace Mark Spanbroek 2025-02-25 15:53:01 +01:00
• 6ebed47327 marketplace: remove support for changing payout addresses Mark Spanbroek 2025-02-25 11:03:06 +01:00
• aee61bdb45 marketplace: deploy vault and set it in the marketplace Mark Spanbroek 2025-02-24 17:11:00 +01:00
• 341b303789 marketplace: use SafeERC20 for transfers Mark Spanbroek 2025-02-24 16:32:13 +01:00
• 3b1e6703cd adjusting hardhat timeout for better stability chore/adjust-hardhat-timeout Dmitriy Ryajov 2025-06-10 18:42:04 -06:00
• 08e91c2443 chore(hardhat): bumping hardhat to v2.24.2 (#245) Dmitriy RyajovandArnaud 2025-06-09 12:25:00 -06:00
• 533cad59fa chore: increase period during for windows ci feat/increase-period-for-windows-ci Eric 2025-03-26 21:11:07 +11:00
• 4b2fc07ca9 chore: Updates zkey archive to include graph file (#246) Ben Bierens 2025-06-09 09:45:19 +02:00
• 98e73ed0a0 Ensure to get the next block timestamp Arnaud 2025-06-09 09:16:56 +02:00
• abdbb48a3c bumping hardhat to v2.24.2 Dmitriy Ryajov 2025-06-06 11:33:59 -06:00
• 3661376327 fix(integration): fixes hardhat not recognising custom error (#243) EricandDmitriy Ryajov 2025-06-06 05:42:01 +10:00
• 06c76e59b5 build: docker uses npm ci (#244) Adam Uhlíř 2025-06-05 10:25:12 +02:00
• aee91f1ac4 chore: add a new canMarkProofAsMissing function (#229) Arnaud 2025-06-03 09:06:57 +02:00
• b5ca8a61db chore: codex_testnet deployment artifacts (#241) Slava 2025-05-30 12:30:12 +03:00
• 3f096224bb adding graph file for new proving backend chore/add-graph-file Dmitriy Ryajov 2025-05-29 23:47:07 -06:00
• 470a4df415 fix(vault): do no allow reuse of fund ids (#238) markspanbroek 2025-05-19 12:23:01 +02:00
• a1680df42e fix: avoid redeploying token contract (#236) Adam Uhlíř 2025-05-15 11:49:38 +02:00
• 8d19f7650b chore: codex_testnet deployment artifacts (#237) Slava 2025-05-15 07:24:53 +03:00
• 92537a5120 fix(slot reservations): clear AddressSet instead of delete (#235) EricandArnaud 2025-05-15 11:40:14 +10:00
• baded845f3 fix(slot-reservations): Allows slot to be reserved when in repair (#234) Eric 2025-05-15 11:37:50 +10:00
• e49abc4104 Vault (#220) 3 people 2025-04-16 11:57:07 +02:00
• 0bf138512b fix: only slots host should be able to submit proof (#227) Adam Uhlíř 2025-03-26 11:05:21 +01:00
• fd17feaa4c chore: formatting feat/protocol-burn-fee Adam Uhlíř 2025-03-25 13:50:42 +01:00
• da59b7f31c feat: protocol fee Adam Uhlíř 2025-03-24 17:36:21 +01:00
• 129e82f707 marketplace: repair reward is paid out at the end Mark Spanbroek 2025-03-12 10:52:11 +01:00
• 095e90fc0f certora: update state changes spec now that we have vault Mark Spanbroek 2025-03-06 14:17:47 +01:00
• 8e6ff63dc3 certora: remove check on ERC20 token Mark Spanbroek 2025-03-06 10:22:46 +01:00
• fbc34c97e9 certora: update marketplace spec now that we have vault Mark Spanbroek 2025-03-06 10:21:06 +01:00
• 6992757f3f proofs: use Timestamp instead of uint64 Mark Spanbroek 2025-03-06 15:14:15 +01:00
• a0b92b74c8 marketplace: remove 'Paid' state Mark Spanbroek 2025-02-27 10:45:39 +01:00