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

• 696128d96b
  chore(certora): add rule that cancelled requests stay cancelled and finished requests stay finished r4bbit 2024-08-21 21:30:20 +0200
• 47708128ce
  fix(certora): fix rule that describes allowed request state changes r4bbit 2024-08-21 21:12:26 +0200
• 0bd34aba3c
  fix(certora): fix invariant that requests are started when slots filled r4bbit 2024-08-21 20:58:18 +0200
• afb64a0120
  chore(certora); add rule to verify slot is failed or free when request has failed r4bbit 2024-08-21 20:53:38 +0200
• 2f57e554c9
  chore(certora): add invariant that cancelled slots always belong to cancelled requests r4bbit 2024-08-21 20:49:33 +0200
• 3ee2ebdb9c
  chore(certora): add invariant that paid slots always have a finished or cancelled request r4bbit 2024-08-21 20:48:47 +0200
• 6d3c3635af
  chore(certora): introduce invariant that finished slots always belong to finished requests r4bbit 2024-08-21 20:47:14 +0200
• 98b463a58a
  chore(certora): introduce invariant that failed requests are always ended r4bbit 2024-08-21 20:45:49 +0200
• 1f5fefb73d
  chore(certora): add invariant that cancelled requests are always expired r4bbit 2024-08-21 20:37:43 +0200
• 54306bd051
  fix(certora): fix rule that missed slots == number of issed periods r4bbit 2024-08-21 20:22:39 +0200
• 92ab1e50dd chore(certora): set MarketplaceHarness as parametric_contract config value Andrea Franz 2024-08-16 11:59:59 +0200
• a5dc3cfa8c
  chore(certora): set MarketplaceHarness as parametric_contract config value Andrea Franz 2024-08-16 11:59:59 +0200
• 73a2ca0bd3
  feat: adds an optional `payoutAddress` to allow payouts to be paid to separate address (#144) Eric 2024-08-19 09:09:48 +0200
• 4c1c5c6539
  update certora spec for new sigs Eric 2024-08-16 18:54:31 +1000
• 63ff5a0c70
  refactor: change withdrawFunds and freeSlot overloads Eric 2024-08-16 12:55:04 +1000
• 9e46a4ba7f
  Add collateralRecipient Eric 2024-08-16 11:20:50 +1000
• 9401b41aef
  formatting Eric 2024-08-14 17:32:09 +1000
• da9cc6150c
  Update tests for paying out to withdrawAddress Eric 2024-08-14 17:28:43 +1000
• c892b308d3
  Add withdrawAddress to withdrawFunds Eric 2024-08-14 16:39:26 +1000
• 5897d953c8
  update certora spec to match updated function signature Eric 2024-08-13 13:57:43 +1000
• 317e251070
  formatting Eric 2024-08-13 12:46:01 +1000
• d298076a6f
  Move payoutAddress to freeSlot Eric 2024-08-13 12:43:05 +1000
• 2f94f4716b
  remove optional payoutAddress parameter Eric 2024-08-12 13:33:34 +1000
• c055a2aa96
  formatting Eric 2024-08-07 15:07:01 +1000
• e537cecdd6
  add doc to patchFillSlotOverloads Eric 2024-08-07 15:05:37 +1000
• ae43c3b965
  add tests for payoutAddress Eric 2024-08-07 14:54:11 +1000
• cd71adb9ad
  Add fillSlot overload to make payoutAddress "optional" Eric 2024-08-07 14:53:04 +1000
• 95435d4929
  initial commit for splitting payouts Eric 2024-08-06 17:11:37 +1000
• ba42fb3428
  WIP failed-state-transitions Andrea Franz 2024-08-16 18:11:24 +0200
• e45724f825
  WIP r4bbit 2024-08-16 14:30:18 +0200
• 73215545b4
  Merge 576fefe46e into 29f39d52c7 r4bbit 2024-08-15 15:10:42 +0200
• 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 +0200
• 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 +0200
• a27da9738a chore(certora): verify SlotState and RequestState changes count r4bbit 2024-08-13 14:16:12 +0200
• 457a09992f
  chore(certora): verify SlotState and RequestState changes count r4bbit 2024-08-13 14:16:12 +0200
• ed428767b3
  chore: add `downtimeProduct` configuration parameter (#138) Eric 2024-08-14 07:50:32 +0200
• 4a379f0324
  formatting Eric 2024-08-05 17:00:13 +1000
• 392a2190ca
  add `downtimeProduct` configuration parameter Eric 2024-08-05 16:45:18 +1000
• 1d36256230 chore(certora): add invariant that proofs cant be missing when in period r4bbit 2024-08-09 13:05:56 +0200
• 609f0e98e0
  chore(certora): add invariant that proofs cant be missing when in period r4bbit 2024-08-09 13:05:56 +0200
• e04f8ae909 chore(certora): add invariant that totalSupply is sumOfBalances r4bbit 2024-08-09 09:30:15 +0200
• b41c3a1c0f
  chore(certora): add invariant that totalSupply is sumOfBalances r4bbit 2024-08-09 09:30:15 +0200
• 2e3f775a0d chore: formally verify request state changes r4bbit 2024-08-05 16:27:20 +0200
• da77182c86
  chore: formally verify request state changes r4bbit 2024-08-05 16:27:20 +0200
• fe8da1013d
  docs: proofs comments (#118) Adam Uhlíř 2024-08-08 11:35:35 +0200
• 4e3a2e1282 style: formatting Adam Uhlíř 2024-08-08 11:18:21 +0200
• c3541e7cec chore: wording feedback Adam Uhlíř 2024-08-06 16:21:04 +0200
• 8a31c18b3e chore: wording feedback Adam Uhlíř 2024-07-24 10:22:31 +0200
• d40e88c4f8 docs: fix annotation Adam Uhlíř 2024-07-22 13:33:13 +0200
• 2020537a67 docs: proofs comments Adam Uhlíř 2024-06-12 15:40:46 +0200
• 74b1a9efb7
  Add codex_testnet deployment artifacts (#145) Slava 2024-08-07 18:58:31 +0300
• 1f68dfb557
  Add codex_testnet deployment artifacts Slava 2024-08-07 13:54:53 +0300
• 576fefe46e
  refactor: Use custom errors instead of string messages custom-errors r4bbit 2024-08-06 11:07:03 +0200
• 0f596e639a chore(ci): update certora-cli version in CI tasks r4bbit 2024-07-30 14:52:11 +0200
• fd6d37449c chore(ci): update certora-cli version in CI tasks r4bbit 2024-07-30 14:52:11 +0200
• bbd57ab876
  Add Codex Devnet and Testnet networks (#135) Slava 2024-08-06 08:37:40 +0300
• 3f169a9759
  Add circuit assets for Codex Devnet and Testnet (#112) Slava 2024-07-31 16:04:48 +0300
• 55334c102b
  Add Codex Devnet and Testnet networks (#112) Slava 2024-07-31 12:59:14 +0300
• cc2d0b0e3d
  refactor(Marketplace): Use custom errors instead of string messages 0xb337r007 2023-11-03 13:07:48 +0100
• e62ebf6b0e
  fix: ensure requestStorage() reverts if maxSlotloss > slots (#140) r4bbit 2024-08-05 10:58:51 +0200
• 050166095d
  fix(Marketplace): ensure requestStorage() reverts if maxSlotloss > slots r4bbit 2024-08-05 10:31:57 +0200
• 8b3761c1a7
  ci: add ci job concurrency (#136) Slava 2024-08-01 07:51:52 +0300
• 4a8a1b0eac
  ci: update actions to the latest major versions Slava 2024-07-31 13:59:26 +0300
• 87f77709dd
  ci: add ci job concurrency Slava 2024-07-31 13:34:34 +0300
• c2a17a3a28
  rename all occurrences of 'group' to 'bucket' feat/add-slots-subsets Eric 2024-07-26 15:27:20 +1000
• 6ab4849ac9
  formatting Eric 2024-07-25 15:51:53 +1000
• 96f2dcaf3e
  rename `validationSlots` to `myValidationSlots` Eric 2024-07-25 15:50:01 +1000
• f68630fe98
  clean up Eric 2024-07-25 15:44:58 +1000
• 280adc7c71
  Formatting Eric 2024-07-25 15:39:28 +1000
• 2b840dcc80
  feat: Add validator slot id groups Eric 2024-07-25 15:31:32 +1000
• 688a8ed929
  Set up certora and implement first rules (#122) r4bbit 2024-07-24 18:50:18 +0200
• 71a5ef4704
  docs: java info Adam Uhlíř 2024-07-24 18:28:08 +0200
• 06ff33fdd1
  chore: remove unused certora script r4bbit 2024-07-24 12:17:58 +0200
• f0c7a17e89
  docs: add missing docs for certora-cli r4bbit 2024-07-24 12:07:15 +0200
• bdcbd04d73 chore: initial Certora specs setup 0xb337r007 2024-06-03 11:58:57 +0200
• 7ad26688a3
  update circuit assets to latest version for hardhat and dist test net (#121) Giuliano Mega 2024-07-17 16:39:15 -0300
• f1975f7208
  update circuit assets to latest version for hardhat and dist test net gmega 2024-07-17 11:13:09 -0300
• f0a651afde
  Merge f9a9fe9024 into 924d192de1 Eric 2024-06-14 13:56:08 +0200
• 924d192de1
  ci: update actions to the latest major versions (#120) Slava 2024-06-14 14:53:18 +0300
• 4247323886
  ci: update actions to the latest major versions Slava 2024-06-14 14:27:51 +0300
• 57e8cd5013
  feat: expiry specified as duration (#99) Adam Uhlíř 2024-05-06 15:13:32 +0200
• a1d531e32c
  chore: add todo for validator reward Adam Uhlíř 2024-04-29 18:16:07 +0200
• 933710128f
  refactor: shorten expiry error msg Adam Uhlíř 2024-04-23 13:07:20 +0200
• 1352cee75d
  test: clears up all offsets Adam Uhlíř 2024-04-23 11:31:03 +0200
• 5939762aa6
  feat: expiry specified with number of seconds Adam Uhlíř 2024-04-22 21:48:49 +0200
• f9a9fe9024
  Remove vscode settings files chore/move-circuit-files Eric 2024-03-27 12:55:40 +1100
• f3ff8d0aec
  Remove prover circuit artifacts that do not need to be in this repo Eric 2024-03-27 12:48:09 +1100
• 4d9320a582
  Update .tool-versions (#94) Jaremy Creechley 2024-03-20 15:09:32 +0200
• 4520bac956
  Merge branch 'master' into bump-nodejs-toolversions Jaremy Creechley 2024-03-20 15:06:00 +0200
• a58427e496
  Updates dist-test circuit (#96) Ben Bierens 2024-03-18 13:33:28 +0100
• 3a9d33c1e0
  Removes unused example-proofs for dist-tests Ben 2024-03-18 12:57:19 +0100
• 62d2a312a3
  Updates dist-test circuit Ben 2024-03-18 12:48:18 +0100
• 42bc45f766
  Update .tool-versions Jaremy Creechley 2024-03-15 14:41:41 +0200
• 8ecc5bfc66 readme: update todo list, we have actual proofs Mark Spanbroek 2024-03-13 09:55:59 +0100
• 3807e53ffc readme: update todo list, we have actual proofs Mark Spanbroek 2024-03-13 09:55:59 +0100
• 53999c74d3 Provide all gas to precompiles Mark Spanbroek 2024-03-13 11:23:45 +0100
• 84eba26f76 Document that group elements are checked by precompiles Mark Spanbroek 2024-03-13 10:45:08 +0100
• c55b34fc76 uint -> uint256 Mark Spanbroek 2024-01-31 11:55:32 +0100
• 3b6f7b8ec7 Rename _Q -> _R Mark Spanbroek 2024-01-31 09:41:44 +0100
• ab1b91fe49 Return false when incorrect amount of public inputs Mark Spanbroek 2024-01-30 15:16:06 +0100