Commit Graph

Select branches

Hide Pull Requests

bumb-hardhat-and-hardhat-deploy

certora-totalsent-le-totalreceived

chore/document-increaseAllowance-use

chore/ethers6

chore/move-circuit-files

chore/update-deps

contract-balance-spec

custom-errors

failed-state-transitions

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

feat/add-slots-subsets

feat/emit-request-queue-item-params

feat/price-per-byte

feat/request-duration-limit

feat/require-proof-to-free-slot

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

feat/verify-proof

fix/configuration-shadowed-warning

fix/vacuous-rule

get-active-slot-no-slot-collateral

list-of-active-requests

list-of-active-sales

master

perf/params-sizing

smt-checking

store-slot-index

testnet_deployment

workaround-websocket-subscriptions

#1

#10

#11

#113

#118

#12

#120

#121

#122

#123

#13

#134

#135

#136

#138

#14

#140

#141

#141

#142

#144

#145

#146

#147

#148

#15

#152

#155

#158

#16

#160

#162

#163

#166

#167

#168

#169

#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

#203

#204

#205

#206

#206

#207

#207

#208

#208

#22

#23

#24

#25

#26

#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

#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

#97

#99

Mono Color

• 3d5fa4708b
  feat(slot-reservations): Add expansion parameter Eric 2024-09-19 16:48:16 +10:00
• d2ba8693e7
  Remove return value for reserveSlot Eric 2024-09-19 14:25:41 +10:00
• b62c72b5e1
  uses msg.sender for slot reservation address Eric 2024-09-18 20:22:17 +10:00
• 64ce222e24
  feat(slot-reservations): Allow slots to be reserved Eric 2024-09-18 19:34:43 +10:00
• bba8736132 refactor(certora): use ghost variables for requestContext and slots r4bbit 2024-08-26 15:56:30 +02:00
• dfecbb647e
  Merge 1e5c8df2fb7dda4f658416ac30169d3331cd108a into 38caabeee393b97c8f62e17ea0428d118c7a39f0 Andrea Franz 2024-08-28 09:18:37 +02:00
• 8d418e2314 refactor(certora): use ghost variables for requestContext and slots r4bbit 2024-08-26 15:56:30 +02:00
• 38caabeee3 fix(certora): remove incorrect requirment in paidSlotAlwaysHasCancelledOrFinishedRequest r4bbit 2024-08-26 14:49:42 +02:00
• 9de8400318 fix(certora): remove incorrect requirment in paidSlotAlwaysHasCancelledOrFinishedRequest r4bbit 2024-08-26 14:49:42 +02:00
• cc0b2732ad fix(Marketplace): ensure requests include ask with sufficient slots r4bbit 2024-08-23 09:46:28 +02:00
• 1e5c8df2fb
  chore(certora): contract balance increases when new storage requests are added contract-balance-spec Andrea Franz 2024-08-27 11:08:33 +02:00
• 3c9e350ae7
  fix(Marketplace): ensure requests include ask with sufficient slots r4bbit 2024-08-23 09:46:28 +02:00
• 6d319c76b9 fix(certora): make vacuous rule pass r4bbit 2024-08-27 10:52:56 +02:00
• 50e90b6816 chore(CI): update certora-cli to 7.10.2 r4bbit 2024-08-27 12:47:22 +02:00
• 00093fdae2
  fix(certora): make vacuous rule pass r4bbit 2024-08-27 10:52:56 +02:00
• c3c3ae4cf7
  chore(CI): update certora-cli to 7.10.2 r4bbit 2024-08-27 12:47:22 +02:00
• 6ae0d85d4e
  fix(certora): make vacuous rule pass fix/vacuous-rule r4bbit 2024-08-27 10:52:56 +02:00
• 3a6249e886 fix(certora): make rule for allowed request state changes work again r4bbit 2024-08-21 21:31:56 +02:00
• 7dc26ccc47 chore(certora): add rule that cancelled requests stay cancelled and finished requests stay finished r4bbit 2024-08-21 21:30:20 +02:00
• 09ca8481fb fix(certora): fix rule that describes allowed request state changes r4bbit 2024-08-21 21:12:26 +02:00
• faeb808d41 fix(certora): fix invariant that requests are started when slots filled r4bbit 2024-08-21 20:58:18 +02:00
• 7c542e72b6 chore(certora); add rule to verify slot is failed or free when request has failed r4bbit 2024-08-21 20:53:38 +02:00
• 7dc5566cd9 chore(certora): add invariant that cancelled slots always belong to cancelled requests r4bbit 2024-08-21 20:49:33 +02:00
• 0acb522fe7 chore(certora): add invariant that paid slots always have a finished or cancelled request r4bbit 2024-08-21 20:48:47 +02:00
• a1229b5af3 chore(certora): introduce invariant that finished slots always belong to finished requests r4bbit 2024-08-21 20:47:14 +02:00
• 5b5a3c9e2e chore(certora): introduce invariant that failed requests are always ended r4bbit 2024-08-21 20:45:49 +02:00
• 7ce7a5dda0 chore(certora): add invariant that cancelled requests are always expired r4bbit 2024-08-21 20:37:43 +02:00
• ebdf9ed366 fix(certora): fix rule that missed slots == number of issed periods r4bbit 2024-08-21 20:22:39 +02:00
• ec68bdb1ff
  fix(certora): make rule for allowed request state changes work again r4bbit 2024-08-21 21:31:56 +02:00
• 696128d96b
  chore(certora): add rule that cancelled requests stay cancelled and finished requests stay finished r4bbit 2024-08-21 21:30:20 +02:00
• 47708128ce
  fix(certora): fix rule that describes allowed request state changes r4bbit 2024-08-21 21:12:26 +02:00
• 0bd34aba3c
  fix(certora): fix invariant that requests are started when slots filled r4bbit 2024-08-21 20:58:18 +02:00
• afb64a0120
  chore(certora); add rule to verify slot is failed or free when request has failed r4bbit 2024-08-21 20:53:38 +02:00
• 2f57e554c9
  chore(certora): add invariant that cancelled slots always belong to cancelled requests r4bbit 2024-08-21 20:49:33 +02:00
• 3ee2ebdb9c
  chore(certora): add invariant that paid slots always have a finished or cancelled request r4bbit 2024-08-21 20:48:47 +02:00
• 6d3c3635af
  chore(certora): introduce invariant that finished slots always belong to finished requests r4bbit 2024-08-21 20:47:14 +02:00
• 98b463a58a
  chore(certora): introduce invariant that failed requests are always ended r4bbit 2024-08-21 20:45:49 +02:00
• 1f5fefb73d
  chore(certora): add invariant that cancelled requests are always expired r4bbit 2024-08-21 20:37:43 +02:00
• 54306bd051
  fix(certora): fix rule that missed slots == number of issed periods r4bbit 2024-08-21 20:22:39 +02:00
• 92ab1e50dd chore(certora): set MarketplaceHarness as parametric_contract config value Andrea Franz 2024-08-16 11:59:59 +02:00
• a5dc3cfa8c
  chore(certora): set MarketplaceHarness as parametric_contract config value Andrea Franz 2024-08-16 11:59:59 +02:00
• 73a2ca0bd3
  feat: adds an optional payoutAddress to allow payouts to be paid to separate address (#144) Eric 2024-08-19 09:09:48 +02:00
• 4c1c5c6539
  update certora spec for new sigs Eric 2024-08-16 18:54:31 +10:00
• 63ff5a0c70
  refactor: change withdrawFunds and freeSlot overloads Eric 2024-08-16 12:55:04 +10:00
• 9e46a4ba7f
  Add collateralRecipient Eric 2024-08-16 11:20:50 +10:00
• 9401b41aef
  formatting Eric 2024-08-14 17:32:09 +10:00
• da9cc6150c
  Update tests for paying out to withdrawAddress Eric 2024-08-14 17:28:43 +10:00
• c892b308d3
  Add withdrawAddress to withdrawFunds Eric 2024-08-14 16:39:26 +10:00
• 5897d953c8
  update certora spec to match updated function signature Eric 2024-08-13 13:57:43 +10:00
• 317e251070
  formatting Eric 2024-08-13 12:46:01 +10:00
• d298076a6f
  Move payoutAddress to freeSlot Eric 2024-08-13 12:43:05 +10:00
• 2f94f4716b
  remove optional payoutAddress parameter Eric 2024-08-12 13:33:34 +10:00
• c055a2aa96
  formatting Eric 2024-08-07 15:07:01 +10:00
• e537cecdd6
  add doc to patchFillSlotOverloads Eric 2024-08-07 15:05:37 +10:00
• ae43c3b965
  add tests for payoutAddress Eric 2024-08-07 14:54:11 +10:00
• cd71adb9ad
  Add fillSlot overload to make payoutAddress "optional" Eric 2024-08-07 14:53:04 +10:00
• 95435d4929
  initial commit for splitting payouts Eric 2024-08-06 17:11:37 +10:00
• ba42fb3428
  WIP failed-state-transitions Andrea Franz 2024-08-16 18:11:24 +02:00
• e45724f825
  WIP r4bbit 2024-08-16 14:30:18 +02:00
• 29f39d52c7
  chore(certora): slot's missed periods count should be equal to the count of slot's missing periods set to true (#155) Andrea Franz 2024-08-15 12:51:14 +02:00
• 71c83a9f86
  chore(certora): slot's missed periods count should be equal to the count of slot's missing periods set to true Andrea Franz 2024-08-14 17:15:22 +02:00
• a27da9738a chore(certora): verify SlotState and RequestState changes count r4bbit 2024-08-13 14:16:12 +02:00
• 457a09992f
  chore(certora): verify SlotState and RequestState changes count r4bbit 2024-08-13 14:16:12 +02:00
• ed428767b3
  chore: add downtimeProduct configuration parameter (#138) Eric 2024-08-14 07:50:32 +02:00
• 4a379f0324
  formatting Eric 2024-08-05 17:00:13 +10:00
• 392a2190ca
  add downtimeProduct configuration parameter Eric 2024-08-05 16:45:18 +10:00
• 1d36256230 chore(certora): add invariant that proofs cant be missing when in period r4bbit 2024-08-09 13:05:56 +02:00
• 609f0e98e0
  chore(certora): add invariant that proofs cant be missing when in period r4bbit 2024-08-09 13:05:56 +02:00
• e04f8ae909 chore(certora): add invariant that totalSupply is sumOfBalances r4bbit 2024-08-09 09:30:15 +02:00
• b41c3a1c0f
  chore(certora): add invariant that totalSupply is sumOfBalances r4bbit 2024-08-09 09:30:15 +02:00
• 2e3f775a0d chore: formally verify request state changes r4bbit 2024-08-05 16:27:20 +02:00
• da77182c86
  chore: formally verify request state changes r4bbit 2024-08-05 16:27:20 +02:00
• fe8da1013d
  docs: proofs comments (#118) Adam Uhlíř 2024-08-08 11:35:35 +02:00
• 4e3a2e1282 style: formatting Adam Uhlíř 2024-08-08 11:18:21 +02:00
• c3541e7cec chore: wording feedback Adam Uhlíř 2024-08-06 16:21:04 +02:00
• 8a31c18b3e chore: wording feedback Adam Uhlíř 2024-07-24 10:22:31 +02:00
• d40e88c4f8 docs: fix annotation Adam Uhlíř 2024-07-22 13:33:13 +02:00
• 2020537a67 docs: proofs comments Adam Uhlíř 2024-06-12 15:40:46 +02:00
• 74b1a9efb7
  Add codex_testnet deployment artifacts (#145) Slava 2024-08-07 18:58:31 +03:00
• 1f68dfb557
  Add codex_testnet deployment artifacts Slava 2024-08-07 13:54:53 +03:00
• 0f596e639a chore(ci): update certora-cli version in CI tasks r4bbit 2024-07-30 14:52:11 +02:00
• fd6d37449c chore(ci): update certora-cli version in CI tasks r4bbit 2024-07-30 14:52:11 +02:00
• bbd57ab876
  Add Codex Devnet and Testnet networks (#135) Slava 2024-08-06 08:37:40 +03:00
• 3f169a9759
  Add circuit assets for Codex Devnet and Testnet (#112) Slava 2024-07-31 16:04:48 +03:00
• 55334c102b
  Add Codex Devnet and Testnet networks (#112) Slava 2024-07-31 12:59:14 +03:00
• cc2d0b0e3d
  refactor(Marketplace): Use custom errors instead of string messages 0xb337r007 2023-11-03 13:07:48 +01:00
• e62ebf6b0e
  fix: ensure requestStorage() reverts if maxSlotloss > slots (#140) r4bbit 2024-08-05 10:58:51 +02:00
• 050166095d
  fix(Marketplace): ensure requestStorage() reverts if maxSlotloss > slots r4bbit 2024-08-05 10:31:57 +02:00
• 8b3761c1a7
  ci: add ci job concurrency (#136) Slava 2024-08-01 07:51:52 +03:00
• 4a8a1b0eac
  ci: update actions to the latest major versions Slava 2024-07-31 13:59:26 +03:00
• 87f77709dd
  ci: add ci job concurrency Slava 2024-07-31 13:34:34 +03:00
• c2a17a3a28
  rename all occurrences of 'group' to 'bucket' feat/add-slots-subsets Eric 2024-07-26 15:27:20 +10:00
• 6ab4849ac9
  formatting Eric 2024-07-25 15:51:53 +10:00
• 96f2dcaf3e
  rename validationSlots to myValidationSlots Eric 2024-07-25 15:50:01 +10:00
• f68630fe98
  clean up Eric 2024-07-25 15:44:58 +10:00
• 280adc7c71
  Formatting Eric 2024-07-25 15:39:28 +10:00
• 2b840dcc80
  feat: Add validator slot id groups Eric 2024-07-25 15:31:32 +10:00
• 688a8ed929
  Set up certora and implement first rules (#122) r4bbit 2024-07-24 18:50:18 +02:00
• 71a5ef4704
  docs: java info Adam Uhlíř 2024-07-24 18:28:08 +02:00
• 06ff33fdd1
  chore: remove unused certora script r4bbit 2024-07-24 12:17:58 +02:00