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/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

32ff556691

WIP: Add test for verifier Eric Mastro 2022-06-02 17:14:48 +1000
976ae66cab

WIP: reorg to allow for more curves Eric Mastro 2022-06-08 15:15:05 +1000
98c2555036

chore: clean up Eric Mastro 2022-06-08 15:06:53 +1000
b03a415fb9

WIP: cleanup Eric Mastro 2022-04-12 00:14:50 +1000
cbe4024c6f

WIP: Change to passing PublicKey.key in sig verification Eric Mastro 2022-04-12 00:11:18 +1000
36c84f58b6

WIP: Swap over to AltBn254 solidity lib Eric Mastro 2022-04-11 22:59:59 +1000
1d4f9729b0

WIP: Got further without pairings Eric Mastro 2022-04-11 15:30:40 +1000
aa9d976dd4

WIP: more work but still not finished Eric Mastro 2022-04-07 23:42:31 +1000
c0969815a1

WIP: type conversions, start moving verifyProof Eric Mastro 2022-06-08 15:04:58 +1000
5152734897 [wip] script and config for deployment on a test network testnet_deployment Michael Bradley, Jr 2022-04-10 14:38:30 -0500
2bf01da728 [proofs] Submitting proof emits event containing proof Mark Spanbroek 2022-04-12 08:43:47 +0200
7cbb717de7 Fix tests that weren't running Mark Spanbroek 2022-04-11 14:09:48 +0200
e1ed98afb8 [proofs] Submitting proof emits event containing proof Mark Spanbroek 2022-04-12 08:43:47 +0200
3f3a988d42 Fix tests that weren't running Mark Spanbroek 2022-04-11 14:09:48 +0200
6aa2894521 [marketplace] Use dynamically sized arrays for PoR Mark Spanbroek 2022-04-07 15:44:56 +0200
b145e66a68 [storage] add getRequest() and getOffer() Mark Spanbroek 2022-04-06 14:52:02 +0200
169a446769 Enable solidity optimizer Mark Spanbroek 2022-04-06 14:51:25 +0200
b8ce6c3682 [marketplace] Add erasure coding and PoR attributes to request Mark Spanbroek 2022-04-06 14:26:56 +0200
416e418105 [marketplace] Use dynamically sized arrays for PoR Mark Spanbroek 2022-04-07 15:44:56 +0200
5ffc5e7dc2 [storage] add getRequest() and getOffer() Mark Spanbroek 2022-04-06 14:52:02 +0200
d0593312b8 Enable solidity optimizer Mark Spanbroek 2022-04-06 14:51:25 +0200
90f6529131 [marketplace] Add erasure coding and PoR attributes to request Mark Spanbroek 2022-04-06 14:26:56 +0200
29b5775951 [proofs] willProofBeRequired() predicts proof requirement Mark Spanbroek 2022-04-05 11:27:02 +0200
111dce58e8 [proofs] Test that pointer increases by one every block Mark Spanbroek 2022-04-05 10:11:30 +0200
c06c74a351 [proofs] willProofBeRequired() predicts proof requirement Mark Spanbroek 2022-04-05 11:27:02 +0200
45da067ecf [proofs] Test that pointer increases by one every block Mark Spanbroek 2022-04-05 10:11:30 +0200
81c7dcd25a Disallow finishing of contract that wasn't started Mark Spanbroek 2022-03-22 12:32:14 +0100
c606b455d6 Disallow starting an offer that was not selected Mark Spanbroek 2022-03-22 11:39:45 +0100
3146e95306 Disallow finishing of contract that wasn't started Mark Spanbroek 2022-03-22 12:32:14 +0100
a53242d09f Disallow starting an offer that was not selected Mark Spanbroek 2022-03-22 11:39:45 +0100
0587c2d585 Fix filename in Windows Mark Spanbroek 2022-03-22 10:53:13 +0100
2a745d7abe Fix flaky test Mark Spanbroek 2022-03-15 16:53:35 +0100
438fb605c0 Ensure local ethereum node has at least 256 blocks Mark Spanbroek 2022-03-15 16:45:35 +0100
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