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/deploy-smart-contracts-for-codex_testnet

feat/emit-request-queue-item-params

feat/repair-reward

feat/require-proof-to-free-slot

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

feat/verify-proof

fix/vacuous-rule

get-active-slot-no-slot-collateral

list-of-active-requests

list-of-active-sales

master

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

#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

#193

#194

#196

#197

#198

#199

#199

#2

#20

#200

#201

#202

#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

• 368dceea22
  Merge 85d70ba96e into 945f6008c8 r4bbit 2024-11-14 17:15:42 +0100
• 20177f9524
  Merge 4aacb6f485 into 945f6008c8 Adam Uhlíř 2024-11-14 17:15:42 +0100
• d8fa5585e8
  Merge bacdc8a65c into 945f6008c8 Slava 2024-11-14 17:15:42 +0100
• 945f6008c8 Increase proof period to 90 seconds on hardhat network master Mark Spanbroek 2024-11-14 13:28:14 +0100
• c4ec37461a Increase proof period to 90 seconds on hardhat network Mark Spanbroek 2024-11-14 13:28:14 +0100
• cc69f3a3ae Add workaround for websocket subscription issues workaround-websocket-subscriptions Mark Spanbroek 2024-11-08 16:00:49 +0100
• 11ccefd720 Different configurations for different networks Mark Spanbroek 2024-11-07 15:27:22 +0100
• 37122703d6 Different configurations for different networks Mark Spanbroek 2024-11-07 15:27:22 +0100
• bacdc8a65c
  Add codex_testnet deployment artifacts feat/deploy-smart-contracts-for-codex_testnet Slava 2024-11-03 09:36:14 +0200
• 1ce3d10fa2
  fix(slot-reservations): ensure slot is free (#196) Eric 2024-10-30 15:48:37 +1100
• a74df0cd48
  fix(slot-reservations): ensure slot is free Eric 2024-10-17 18:15:33 +1100
• 7645df19ab
  renames config to configuration (#198) Eric 2024-10-29 19:02:42 +1100
• 0586425980
  renames config to configuration Eric 2024-10-28 17:27:35 +1100
• 0b39274ed5 refactor(certora): extract `allowedRequestStateChanges` rule into own file r4bbit 2024-10-15 12:12:59 +0200
• 285eee253f
  refactor(certora): extract `allowedRequestStateChanges` rule into own file r4bbit 2024-10-15 12:12:59 +0200
• 85d70ba96e
  chore(ci): update certora-cli version certora-totalsent-le-totalreceived r4bbit 2024-10-21 12:25:42 +0200
• b413d776cc
  chore(certora): add invariant that totalSent is <= totalReceived r4bbit 2024-08-09 09:58:39 +0200
• c3e4fdd321
  Add codex_testnet deployment artifacts (#197) Slava 2024-10-21 11:00:46 +0300
• ad2688d05b
  Add codex_testnet deployment artifacts Slava 2024-10-21 10:37:31 +0300
• 2a1bef5255 chore(certora): verify slots transitions and that a slot can be paid only once Andrea Franz 2024-10-04 11:38:25 +0200
• 777dc484a0
  chore(certora): verify slots transitions and that a slot can be paid only once Andrea Franz 2024-10-04 11:38:25 +0200
• 4aacb6f485
  feat: repair reward feat/repair-reward Adam Uhlíř 2024-10-11 09:14:00 +0200
• c3cc2cda7d
  update Certora spec feat/require-proof-to-free-slot Eric 2024-10-09 16:24:23 +1100
• 997696a20e
  Add codex_testnet deployment artifacts (#190) Slava 2024-10-08 15:27:06 +0300
• 952767c056
  feat: require proof for freeSlot Eric 2024-10-08 20:39:19 +1100
• ad18ea049d
  Add codex_testnet deployment artifacts Slava 2024-10-08 11:15:09 +0300
• 7e6187d4b1
  feat: hosts payed by actual time hosting a slot (#160) Adam Uhlíř 2024-10-08 09:38:19 +0200
• 08aa1c291a
  fix(certora): fix failing rule that cancelled requests stay cancelled (#189) r4bbit 2024-10-07 21:42:37 +0200
• 9cdf34dc9e
  chore: feedback implementation Adam Uhlíř 2024-10-07 13:02:31 +0200
• c51421ff45
  test: implementing feedback for tests Adam Uhlíř 2024-10-03 12:02:42 +0200
• 50305ee19e
  style: formatting Adam Uhlíř 2024-08-21 09:08:17 +0200
• 1a10479745
  test: fixes rebase Adam Uhlíř 2024-08-20 13:16:17 +0200
• f061986423
  test: fixes states changes Adam Uhlíř 2024-08-20 11:34:51 +0200
• 8f73b0db07
  chore: tweaks Adam Uhlíř 2024-08-20 11:06:48 +0200
• 4a7bf8e5c0
  chore: wording feedback Adam Uhlíř 2024-08-20 10:55:34 +0200
• 363c6651d7
  feat: hosts payed by actual time hosting a slot Adam Uhlíř 2024-08-19 23:14:48 +0200
• f5a54c7ed4
  feat(slot-reservations): require slots to be reserved before filling slot (#185) Eric 2024-10-08 15:55:17 +1100
• be25944f56
  fix(certora): fix failing rule that cancelled requests stay cancelled r4bbit 2024-10-07 13:06:27 +0200
• 2ee0803687
  chore: feedback implementation Adam Uhlíř 2024-10-07 13:02:31 +0200
• d785817246
  test: implementing feedback for tests Adam Uhlíř 2024-10-03 12:02:42 +0200
• 5b5c2e6698
  style: formatting Adam Uhlíř 2024-08-21 09:08:17 +0200
• 18ad67253f
  test: fixes rebase Adam Uhlíř 2024-08-20 13:16:17 +0200
• 7f956f815c
  test: fixes states changes Adam Uhlíř 2024-08-20 11:34:51 +0200
• 97c2ce2f81
  chore: tweaks Adam Uhlíř 2024-08-20 11:06:48 +0200
• 7c3648c170
  chore: wording feedback Adam Uhlíř 2024-08-20 10:55:34 +0200
• 0f40d23ecf
  feat: hosts payed by actual time hosting a slot Adam Uhlíř 2024-08-19 23:14:48 +0200
• 3d4ea97b1d
  Add test that checks filling slot fails without reservation Eric 2024-10-04 13:35:13 +1000
• a4c39f6959
  Require slots to be reserved before filling slot Eric 2024-10-03 12:46:36 +1000
• 807fc973c8
  feat(slot-reservations): Add `SlotReservationsFull` event (#183) Eric 2024-10-04 13:28:39 +1000
• 65eb31fdb1
  Align params after rebase Eric 2024-09-26 17:05:26 +1000
• 385bc5571a
  change SlotReservationsFull emission params Eric 2024-09-26 16:51:12 +1000
• c4918fc2de
  Add SlotReservationsFull event Eric 2024-09-26 14:31:27 +1000
• 33010bd20c
  feat(slot-reservations): Allow slots to be reserved (#177) Eric 2024-10-03 11:01:21 +1000
• 7001e9ae94
  Move `_MAX_RESERVATIONS` to config Eric 2024-09-26 17:02:10 +1000
• e5ef28f0f0
  Change canReserveSlot and reserveSlot parameters Eric 2024-09-26 16:43:09 +1000
• d49b9a3af5
  Remove return value for `reserveSlot` Eric 2024-09-19 14:25:41 +1000
• 6041c2fe11
  uses msg.sender for slot reservation address Eric 2024-09-18 20:22:17 +1000
• dcea9599fd
  feat(slot-reservations): Allow slots to be reserved Eric 2024-09-18 19:34:43 +1000
• 3a074abd20 chore(certora): verify possible slot state transitions Andrea Franz 2024-08-29 16:33:23 +0200
• 90b22947d2
  chore(certora): verify possible slot state transitions Andrea Franz 2024-08-29 16:33:23 +0200
• a5aa19453e
  Add codex_testnet deployment artifacts (#181) Slava 2024-09-24 13:31:07 +0300
• 753d146b41
  Add codex_testnet deployment artifacts Slava 2024-09-24 12:20:19 +0300
• 9722753e54
  Update circuit files for codex_testnet (#180) Slava 2024-09-23 18:30:02 +0300
• c6e5bfa7dc
  Update circuit files for codex_testnet Slava 2024-09-23 17:53:26 +0300
• 2331ae1f0a
  clean up feat/slot-reservations/2-add-dispersal-parameter Eric 2024-09-23 11:27:59 +1000
• 558bf645c3
  Updates circuit file hash (#178) Ben Bierens 2024-09-20 11:08:23 +0200
• 8b909f55d2
  Remove saturation parameter Eric 2024-09-20 15:57:14 +1000
• 72de1f6b74
  Updates example proof Ben 2024-09-19 15:21:20 +0200
• 1a0162243b
  wasm and r1cs files appear to be unchanged Ben 2024-09-19 14:46:51 +0200
• 7fb19f1586
  Add `saturation` parameter Eric 2024-09-19 19:26:33 +1000
• 0dabfd16d3
  Move expansion from Ask to Request Eric 2024-09-19 16:55:47 +1000
• 3d5fa4708b
  feat(slot-reservations): Add expansion parameter Eric 2024-09-19 16:48:16 +1000
• d2ba8693e7
  Remove return value for `reserveSlot` Eric 2024-09-19 14:25:41 +1000
• b62c72b5e1
  uses msg.sender for slot reservation address Eric 2024-09-18 20:22:17 +1000
• 64ce222e24
  feat(slot-reservations): Allow slots to be reserved Eric 2024-09-18 19:34:43 +1000
• bba8736132 refactor(certora): use ghost variables for `requestContext` and `slots` r4bbit 2024-08-26 15:56:30 +0200
• dfecbb647e
  Merge 1e5c8df2fb into 38caabeee3 Andrea Franz 2024-08-28 09:18:37 +0200
• 8d418e2314 refactor(certora): use ghost variables for `requestContext` and `slots` r4bbit 2024-08-26 15:56:30 +0200
• 38caabeee3 fix(certora): remove incorrect requirment in `paidSlotAlwaysHasCancelledOrFinishedRequest` r4bbit 2024-08-26 14:49:42 +0200
• 9de8400318 fix(certora): remove incorrect requirment in `paidSlotAlwaysHasCancelledOrFinishedRequest` r4bbit 2024-08-26 14:49:42 +0200
• cc0b2732ad fix(Marketplace): ensure requests include ask with sufficient slots r4bbit 2024-08-23 09:46:28 +0200
• 1e5c8df2fb
  chore(certora): contract balance increases when new storage requests are added contract-balance-spec Andrea Franz 2024-08-27 11:08:33 +0200
• 3c9e350ae7
  fix(Marketplace): ensure requests include ask with sufficient slots r4bbit 2024-08-23 09:46:28 +0200
• 6d319c76b9 fix(certora): make vacuous rule pass r4bbit 2024-08-27 10:52:56 +0200
• 50e90b6816 chore(CI): update certora-cli to 7.10.2 r4bbit 2024-08-27 12:47:22 +0200
• 00093fdae2
  fix(certora): make vacuous rule pass r4bbit 2024-08-27 10:52:56 +0200
• c3c3ae4cf7
  chore(CI): update certora-cli to 7.10.2 r4bbit 2024-08-27 12:47:22 +0200
• 6ae0d85d4e
  fix(certora): make vacuous rule pass fix/vacuous-rule r4bbit 2024-08-27 10:52:56 +0200
• 3a6249e886 fix(certora): make rule for allowed request state changes work again r4bbit 2024-08-21 21:31:56 +0200
• 7dc26ccc47 chore(certora): add rule that cancelled requests stay cancelled and finished requests stay finished r4bbit 2024-08-21 21:30:20 +0200
• 09ca8481fb fix(certora): fix rule that describes allowed request state changes r4bbit 2024-08-21 21:12:26 +0200
• faeb808d41 fix(certora): fix invariant that requests are started when slots filled r4bbit 2024-08-21 20:58:18 +0200
• 7c542e72b6 chore(certora); add rule to verify slot is failed or free when request has failed r4bbit 2024-08-21 20:53:38 +0200
• 7dc5566cd9 chore(certora): add invariant that cancelled slots always belong to cancelled requests r4bbit 2024-08-21 20:49:33 +0200
• 0acb522fe7 chore(certora): add invariant that paid slots always have a finished or cancelled request r4bbit 2024-08-21 20:48:47 +0200
• a1229b5af3 chore(certora): introduce invariant that finished slots always belong to finished requests r4bbit 2024-08-21 20:47:14 +0200
• 5b5a3c9e2e chore(certora): introduce invariant that failed requests are always ended r4bbit 2024-08-21 20:45:49 +0200
• 7ce7a5dda0 chore(certora): add invariant that cancelled requests are always expired r4bbit 2024-08-21 20:37:43 +0200
• ebdf9ed366 fix(certora): fix rule that missed slots == number of issed periods r4bbit 2024-08-21 20:22:39 +0200
• ec68bdb1ff
  fix(certora): make rule for allowed request state changes work again r4bbit 2024-08-21 21:31:56 +0200