codex-contracts-eth

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/slot-reservations/2-add-dispersal-parameter

feat/slot-reservations/6-enforce-slot-reservations

feat/verify-proof

fix/repaird-partial-reward

fix/vacuous-rule

get-active-slot-no-slot-collateral

list-of-active-requests

list-of-active-sales

master

slot-state-transitions

smt-checking

store-slot-index

testnet_deployment

#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

#160

#162

#163

#166

#167

#168

#169

#169

#170

#171

#176

#177

#178

#179

#180

#181

#183

#185

#185

#188

#188

#19

#2

#20

#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

29698fee71 Fix tests after OpenZeppelin update Mark Spanbroek 2022-03-15 16:18:44 +0100
c79059e470 npm update Mark Spanbroek 2022-03-15 16:15:46 +0100
36790a0ba8 Fix flaky test Mark Spanbroek 2022-03-15 16:53:35 +0100
43f1c96399 Ensure local ethereum node has at least 256 blocks Mark Spanbroek 2022-03-15 16:45:35 +0100
af0770b226 Fix tests after OpenZeppelin update Mark Spanbroek 2022-03-15 16:18:44 +0100
76b723a4e1 npm update Mark Spanbroek 2022-03-15 16:15:46 +0100
743d1cdb07 Update Readme now that storage requests and offers are on-chain Mark Spanbroek 2022-03-15 10:17:55 +0100
3fd7c756d9 Fix flaky tests Mark Spanbroek 2022-03-10 13:35:41 +0100
f8ddc4a2f6 Add getChallenge() to Storage contract Mark Spanbroek 2022-03-10 13:04:46 +0100
fd55afcc5a Make pointer downtime configurable Mark Spanbroek 2022-03-10 10:19:21 +0100
476956c4d5 Replace pointer duos with pointer downtime design Mark Spanbroek 2022-03-10 10:12:03 +0100
241fcf10a5 Unlock host collateral at end of contract Mark Spanbroek 2022-03-09 11:33:54 +0100
f4d895113f Fix flaky test Mark Spanbroek 2022-03-09 11:29:53 +0100
bb14732ddc Remove mine*() testing functions Mark Spanbroek 2022-03-09 11:29:41 +0100
6d726fc2cc Require a block height of at least 256 Mark Spanbroek 2022-03-09 11:21:19 +0100
fd06bc00b3 Move periodOf(), periodStart(), periodEnd() into time module Mark Spanbroek 2022-03-09 11:11:01 +0100
07d0e33789 Disable solhint about relying on timestamp Mark Spanbroek 2022-03-08 15:58:49 +0100
78eaaa7812 Replace Proof implementation with new design Mark Spanbroek 2022-03-08 15:58:08 +0100
22e8ea50e2 Add EVM snapshots including time for tests Mark Spanbroek 2022-03-03 11:59:01 +0100
ee4683e50c Add proof probability to Request Mark Spanbroek 2022-03-03 08:11:20 +0100
036a214427 Proof period and proof timeout are network constants now Mark Spanbroek 2022-03-02 15:44:58 +0100
c181195487 Temporarily disable test Mark Spanbroek 2022-02-22 09:55:44 +0100
e818d70b85 Remove Contracts in favor of Marketplace Mark Spanbroek 2022-02-22 09:25:42 +0100
7e7134b99d Allow events to be filtered by request id Mark Spanbroek 2022-02-21 14:18:28 +0100
c835ac1cc4 Emit event when offer is selected Mark Spanbroek 2022-02-21 14:00:59 +0100
05fbd244e2 Formatting Mark Spanbroek 2022-02-21 12:55:00 +0100
6e6cc1a230 Reject offer for expired request Mark Spanbroek 2022-02-21 12:16:27 +0100
85b212c703 Select a storage offer Mark Spanbroek 2022-02-21 11:31:37 +0100
cc57155792 Lock collateral of host that offers storage Mark Spanbroek 2022-02-17 12:31:37 +0100
980e2343ed Add expiry to storage requests Mark Spanbroek 2022-02-17 12:24:27 +0100
18e667bf19 Use client/host address to check for duplicates Mark Spanbroek 2022-02-17 11:09:35 +0100
ae92f63987 Add host address to offers Mark Spanbroek 2022-02-17 11:06:14 +0100
51e2d65596 Add client address to requests Mark Spanbroek 2022-02-17 11:00:18 +0100
b349b76ab7 Offer storage using Marketplace contract Mark Spanbroek 2022-02-16 14:38:19 +0100
f9cc73d62f Rename invariants to avoid name clashes Mark Spanbroek 2022-02-16 14:15:43 +0100
e1ef2a2216 Request storage using Marketplace contract Mark Spanbroek 2022-02-16 10:50:00 +0100
925ab0ec2d Fix flaky tests Mark Spanbroek 2022-03-10 13:35:41 +0100
0a4e980e9c Add getChallenge() to Storage contract Mark Spanbroek 2022-03-10 13:04:46 +0100
dbee21fe2e Make pointer downtime configurable Mark Spanbroek 2022-03-10 10:19:21 +0100
002678154d Replace pointer duos with pointer downtime design Mark Spanbroek 2022-03-10 10:12:03 +0100
8ac7b027f0 Unlock host collateral at end of contract Mark Spanbroek 2022-03-09 11:33:54 +0100
5b2855bb25 Fix flaky test Mark Spanbroek 2022-03-09 11:29:53 +0100
6600240810 Remove mine*() testing functions Mark Spanbroek 2022-03-09 11:29:41 +0100
524a003965 Require a block height of at least 256 Mark Spanbroek 2022-03-09 11:21:19 +0100
759c735f33 Move periodOf(), periodStart(), periodEnd() into time module Mark Spanbroek 2022-03-09 11:11:01 +0100
fe98babec9 Disable solhint about relying on timestamp Mark Spanbroek 2022-03-08 15:58:49 +0100
8b44f80254 Replace Proof implementation with new design Mark Spanbroek 2022-03-08 15:58:08 +0100
29d8ec936e Add EVM snapshots including time for tests Mark Spanbroek 2022-03-03 11:59:01 +0100
dd7c742479 Add proof probability to Request Mark Spanbroek 2022-03-03 08:11:20 +0100
cb2bf040b8 Proof period and proof timeout are network constants now Mark Spanbroek 2022-03-02 15:44:58 +0100
4e167355ab Temporarily disable test Mark Spanbroek 2022-02-22 09:55:44 +0100
4b8b204f9d Remove Contracts in favor of Marketplace Mark Spanbroek 2022-02-22 09:25:42 +0100
b9a9dff7a1 Allow events to be filtered by request id Mark Spanbroek 2022-02-21 14:18:28 +0100
877b1664e0 Emit event when offer is selected Mark Spanbroek 2022-02-21 14:00:59 +0100
3a6f5ade43 Formatting Mark Spanbroek 2022-02-21 12:55:00 +0100
04664749ca Reject offer for expired request Mark Spanbroek 2022-02-21 12:16:27 +0100
61b9d717f8 Select a storage offer Mark Spanbroek 2022-02-21 11:31:37 +0100
76edd3c982 Lock collateral of host that offers storage Mark Spanbroek 2022-02-17 12:31:37 +0100
bd6da1b463 Add expiry to storage requests Mark Spanbroek 2022-02-17 12:24:27 +0100
be0f4cc209 Use client/host address to check for duplicates Mark Spanbroek 2022-02-17 11:09:35 +0100
f47dc643f9 Add host address to offers Mark Spanbroek 2022-02-17 11:06:14 +0100
37d98a8d56 Add client address to requests Mark Spanbroek 2022-02-17 11:00:18 +0100
6a930b00ff Offer storage using Marketplace contract Mark Spanbroek 2022-02-16 14:38:19 +0100
b8a82bb8cd Rename invariants to avoid name clashes Mark Spanbroek 2022-02-16 14:15:43 +0100
5e9a29de7e Request storage using Marketplace contract Mark Spanbroek 2022-02-16 10:50:00 +0100
b15f4e749b Fix test name Mark Spanbroek 2022-02-16 09:23:44 +0100
e963a25c94 Replace Stakes with Collateral Mark Spanbroek 2022-02-15 17:54:19 +0100
1f01704afd Document the account locking design Mark Spanbroek 2022-02-15 17:30:13 +0100
91a976a007 Prevent withdrawal of locked collateral Mark Spanbroek 2022-02-15 17:18:25 +0100
c5fab40535 Account locking Mark Spanbroek 2022-02-15 17:01:54 +0100
61c41e415d Fix test file name Mark Spanbroek 2022-02-14 17:31:16 +0100
ab38473688 Slash collateral Mark Spanbroek 2022-02-14 17:19:00 +0100
2f59927b30 Check result of ERC20 transferFrom call Mark Spanbroek 2022-02-14 17:12:05 +0100
9e0d05965d Update collateral totals and balance at the same time Mark Spanbroek 2022-02-14 17:05:05 +0100
c86fdfbec1 Withdraw collateral Mark Spanbroek 2022-02-14 16:43:56 +0100
3d50e56fe7 Collateral invariant Mark Spanbroek 2022-02-14 16:19:47 +0100
6e0aded775 Deposit collateral Mark Spanbroek 2022-02-14 15:47:01 +0100
a3fedea82e Fix test name Mark Spanbroek 2022-02-16 09:23:44 +0100
8175096c44 Replace Stakes with Collateral Mark Spanbroek 2022-02-15 17:54:19 +0100
78ec94997f Document the account locking design Mark Spanbroek 2022-02-15 17:30:13 +0100
2197124b0e Prevent withdrawal of locked collateral Mark Spanbroek 2022-02-15 17:18:25 +0100
c5688fc9b0 Account locking Mark Spanbroek 2022-02-15 17:01:54 +0100
ce4fb57a21 Fix test file name Mark Spanbroek 2022-02-14 17:31:16 +0100
e01d7ce8ed Slash collateral Mark Spanbroek 2022-02-14 17:19:00 +0100
28c88ac7db Check result of ERC20 transferFrom call Mark Spanbroek 2022-02-14 17:12:05 +0100
e1145bec18 Update collateral totals and balance at the same time Mark Spanbroek 2022-02-14 17:05:05 +0100
e20eb55c7c Withdraw collateral Mark Spanbroek 2022-02-14 16:43:56 +0100
a4754ead20 Collateral invariant Mark Spanbroek 2022-02-14 16:19:47 +0100
a813e79ea4 Deposit collateral Mark Spanbroek 2022-02-14 15:47:01 +0100
7bcf3fe92c Run linter before tests Mark Spanbroek 2022-02-09 14:43:09 +0100
f7af18eb2d Lint with solhint Mark Spanbroek 2022-02-09 14:37:55 +0100
78755ecaa2 Format using prettier Mark Spanbroek 2022-02-09 14:17:23 +0100
395a90ff01 Run linter before tests Mark Spanbroek 2022-02-09 14:43:09 +0100
52b62214bf Lint with solhint Mark Spanbroek 2022-02-09 14:37:55 +0100
04614a4024 Format using prettier Mark Spanbroek 2022-02-09 14:17:23 +0100
41fd33ac7a Add license Mark Spanbroek 2022-01-10 11:16:47 +0100
0fedd8875f Use standard ABI encoding instead of the non-standard packing mode. Mark Spanbroek 2021-11-24 11:43:31 +0100
b9a9be350a Simplify signature of TestToken.mint Mark Spanbroek 2021-11-23 14:34:27 +0100
a794141308 Add `npm start` to start development node Mark Spanbroek 2021-11-16 16:15:11 +0100
a69a6d6975 Use deployment fixture for Storage contract tests Mark Spanbroek 2021-11-16 14:26:28 +0100