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

bd489c7f9a Groth16Verifier implements its interface Mark Spanbroek 2024-01-30 15:12:53 +0100
f9637f192b Rename: vkX -> combination Mark Spanbroek 2024-01-30 15:10:50 +0100
a4ce10f4de One less addition Mark Spanbroek 2024-01-30 15:09:15 +0100
df58f2d3db Formatting Mark Spanbroek 2024-01-30 15:05:17 +0100
576254423e Return false when public inputs are invalid Mark Spanbroek 2024-01-30 15:02:47 +0100
d38e0f5954 make functions private Mark Spanbroek 2024-01-30 12:19:22 +0100
b676b245d6 Improve argument names Mark Spanbroek 2024-01-30 12:18:01 +0100
235f11a863 Primes are named as in EIP-197 Mark Spanbroek 2024-01-30 12:15:37 +0100
a4777bade5 Reordering, formatting Mark Spanbroek 2024-01-30 12:14:34 +0100
c7687c5b83 Remove library Mark Spanbroek 2024-01-30 12:08:40 +0100
3840e2bf92 Remove unnecessary if-statement Mark Spanbroek 2024-01-30 12:07:28 +0100
949909fd98 Simpify pairing check Mark Spanbroek 2024-01-30 12:05:22 +0100
601ed18455 Verifier returns false when one of the operations fails Mark Spanbroek 2024-01-30 11:17:04 +0100
c495770679 Pairing check returns boolean success and outcome Mark Spanbroek 2024-01-30 10:24:59 +0100
a97a598b0e Add and multiply return bool success Mark Spanbroek 2024-01-30 09:47:44 +0100
111ed0826c Rename addition -> add, scalarMul -> multiply Mark Spanbroek 2024-01-30 09:35:44 +0100
91388096c1 Fix: size in bytes of input and output were too high Mark Spanbroek 2024-01-30 09:34:56 +0100
80dfa41e32 Remove calls to invalid() Mark Spanbroek 2024-01-30 09:09:59 +0100
9e2a10ca23 Provide all gas to precompiles Mark Spanbroek 2024-03-13 11:23:45 +0100
c56e2a8019 Document that group elements are checked by precompiles Mark Spanbroek 2024-03-13 10:45:08 +0100
7e3464fa2a uint -> uint256 Mark Spanbroek 2024-01-31 11:55:32 +0100
116e00e8ae Rename _Q -> _R Mark Spanbroek 2024-01-31 09:41:44 +0100
4a9cb436e7 Return false when incorrect amount of public inputs Mark Spanbroek 2024-01-30 15:16:06 +0100
850d5de2a0 Groth16Verifier implements its interface Mark Spanbroek 2024-01-30 15:12:53 +0100
a2724faa07 Rename: vkX -> combination Mark Spanbroek 2024-01-30 15:10:50 +0100
d89c5dfb75 One less addition Mark Spanbroek 2024-01-30 15:09:15 +0100
9f00a0fcef Formatting Mark Spanbroek 2024-01-30 15:05:17 +0100
045ea41a7c Return false when public inputs are invalid Mark Spanbroek 2024-01-30 15:02:47 +0100
7c691291d1 make functions private Mark Spanbroek 2024-01-30 12:19:22 +0100
3c1a0272e8 Improve argument names Mark Spanbroek 2024-01-30 12:18:01 +0100
0c94f4055b Primes are named as in EIP-197 Mark Spanbroek 2024-01-30 12:15:37 +0100
f9930f7cbb Reordering, formatting Mark Spanbroek 2024-01-30 12:14:34 +0100
6a0119477a Remove library Mark Spanbroek 2024-01-30 12:08:40 +0100
e6f8b60819 Remove unnecessary if-statement Mark Spanbroek 2024-01-30 12:07:28 +0100
15deb2f2e7 Simpify pairing check Mark Spanbroek 2024-01-30 12:05:22 +0100
0472f49ec4 Verifier returns false when one of the operations fails Mark Spanbroek 2024-01-30 11:17:04 +0100
79873b4383 Pairing check returns boolean success and outcome Mark Spanbroek 2024-01-30 10:24:59 +0100
adcfff16ba Add and multiply return bool success Mark Spanbroek 2024-01-30 09:47:44 +0100
d79a3ce3e0 Rename addition -> add, scalarMul -> multiply Mark Spanbroek 2024-01-30 09:35:44 +0100
4d6a73b1eb Fix: size in bytes of input and output were too high Mark Spanbroek 2024-01-30 09:34:56 +0100
127387686d Remove calls to invalid() Mark Spanbroek 2024-01-30 09:09:59 +0100
c3d7db3456

from the codex-storage-proofs-circuits commit 066bd73a0bdebc813a231035ea50e1c91f139f2a (#92) Ben Bierens 2024-03-08 12:56:26 +0100
f241f77523

Merge branch 'master' into update-test-circuit benbierens 2024-03-05 11:14:59 +0100
b797f7d428

Fix/dist tests (#90) Ben Bierens 2024-03-05 11:14:31 +0100
c6d6b887c9

Merge branch 'master' into fix/dist-tests Ben Bierens 2024-03-04 15:39:23 +0100
68a633a59d

from the codex-storage-proofs-circuits commit 066bd73a0bdebc813a231035ea50e1c91f139f2a benbierens 2024-03-04 15:32:52 +0100
58cf224041

apply only evm version change benbierens 2024-03-04 15:25:13 +0100
3cbfce34db

Revert "fix: downgrade targetted evm version" benbierens 2024-03-04 15:24:13 +0100
118ee0b22b Slash and free slot sooner when proofs are missed Mark Spanbroek 2024-02-28 14:50:44 +0100
6bf90c4f80 Slash and free slot sooner when proofs are missed Mark Spanbroek 2024-02-28 14:50:44 +0100
45f52b2f55

Revert "feat: remove the target compilation downgrade" benbierens 2024-02-28 13:26:17 +0100
965529dcea

chore: add verifier assets for codexdisttestnetwork (#89) Adam Uhlíř 2024-02-26 10:26:00 +0100
a7705608da

feat: remove the target compilation downgrade Adam Uhlíř 2024-02-24 09:05:37 +0100
8c7501b549

fix: downgrade targetted evm version Adam Uhlíř 2024-02-23 12:26:52 +0100
f413f1ea64 Represent elements from field F_{p^2} as `real + i * imag` Mark Spanbroek 2024-02-20 17:16:49 +0100
6cf720e5bd Represent elements from field F_{p^2} as `real + i * imag` Mark Spanbroek 2024-02-20 17:16:49 +0100
ed54b80fc9 Increase proof period Mark Spanbroek 2024-02-20 17:37:41 +0100
034c3a15e2 Increase proof period Mark Spanbroek 2024-02-20 17:37:41 +0100
e5cb3bc571 verifier: circuit assets for a 5 sample storage proof Mark Spanbroek 2024-02-14 12:38:39 +0100
b21badb073 verifier: circuit assets for a 5 sample storage proof Mark Spanbroek 2024-02-14 12:38:39 +0100
6c9f797f40 Explicit getters for token and config Mark Spanbroek 2024-02-06 08:49:41 +0100
5599cef96d Explicit getters for token and config Mark Spanbroek 2024-02-06 08:49:41 +0100
fb17fb5843 Fix deployment bug in loading zkey hash Mark Spanbroek 2024-01-31 15:58:18 +0100
efd2c9c33e Fix deployment bug in loading zkey hash Mark Spanbroek 2024-01-31 15:58:18 +0100
31bbd702c2 Remove contract aliasing; doesn't work Mark Spanbroek 2024-01-25 15:00:46 +0100
c7b18af7cd Deploy 2 versions of the marketplace on local network Mark Spanbroek 2024-01-25 10:49:53 +0100
ec803adb3d Test verifier accepts any proof, except all 0 values Mark Spanbroek 2024-01-25 09:59:01 +0100
ab4b7caafa Remove contract aliasing; doesn't work Mark Spanbroek 2024-01-25 15:00:46 +0100
bbaa0f7b27 Deploy 2 versions of the marketplace on local network Mark Spanbroek 2024-01-25 10:49:53 +0100
c6df91e158 Test verifier accepts any proof, except all 0 values Mark Spanbroek 2024-01-25 09:59:01 +0100
331bc56e8f

feat: zkey hash in marketplace config (#81) Adam Uhlíř 2024-01-30 06:36:27 +0100
d40077118d

feat: zkey hash in marketplace config Adam Uhlíř 2024-01-24 11:33:23 +0100
a186cb4045 Formatting Mark Spanbroek 2024-01-25 13:13:32 +0100
d4c7057fff ci: check formatting Adam Uhlíř 2024-01-24 11:35:48 +0100
aef9efc524 Formatting Mark Spanbroek 2024-01-25 13:13:32 +0100
12699b5c5f ci: check formatting Adam Uhlíř 2024-01-24 11:35:48 +0100
79d9c43beb Fix marketplace deployment script Mark Spanbroek 2024-01-23 14:14:53 +0100
079ac4766c Cleanup verifer.js Mark Spanbroek 2024-01-23 14:03:37 +0100
5d2842c69b Deploy verifier with verifier key per network Mark Spanbroek 2024-01-23 13:56:52 +0100
903cdf3541 Refactor verifier contract: formatting Mark Spanbroek 2024-01-23 13:30:11 +0100
70b22b241f Refactor verifier contract: remove unnecessary conversions Mark Spanbroek 2024-01-23 13:28:53 +0100
65655e3646 Refactor verifier contract: Formatting Mark Spanbroek 2024-01-23 13:26:05 +0100
676f4fc85e Refactor verifier contract: use structs from Groth16.sol Mark Spanbroek 2024-01-23 13:18:33 +0100
dc0c2b7956 Refactor verifier contract: remove dead code Mark Spanbroek 2024-01-23 13:14:04 +0100
90c821fb61 Refactor verifier contract: remove unnecessary conversions Mark Spanbroek 2024-01-23 13:12:02 +0100
a066b6a007 Refactor verifier contract: fix linter warnings Mark Spanbroek 2024-01-23 13:05:27 +0100
6baf80d6f4 Refactor verifier contract: remove preprocessing Mark Spanbroek 2024-01-23 12:51:35 +0100
c0ca508a6b Refactor verifier contract: public input as dynamic array Mark Spanbroek 2024-01-23 12:50:14 +0100
39a2d56a63 Refactor verifier contract: verification key as parameter Mark Spanbroek 2024-01-23 12:38:47 +0100
f2869ff94f Refactor verifier contract: X -> x, Y -> y Mark Spanbroek 2024-01-23 12:34:43 +0100
d30dff1781 Refactor verifier contract: set verifying key in constructor Mark Spanbroek 2024-01-23 11:48:01 +0100
ef32ad9c1b Refactor verifier contract: fix typo Mark Spanbroek 2024-01-23 10:49:54 +0100
296447724a Refactor verifier contract: extract constants Mark Spanbroek 2024-01-23 10:48:24 +0100
b2509e4257 Refactor verifier contract: formatting Mark Spanbroek 2024-01-23 10:41:50 +0100
f3e2186ec2 Update solidity to 0.8.23 Mark Spanbroek 2024-01-23 10:24:02 +0100
862ea56e8b Formatting Mark Spanbroek 2024-01-22 16:43:11 +0100
33614ee218 Calculate public inputs for ZK proof verificition Mark Spanbroek 2024-01-22 16:43:03 +0100
1b3b258ccc Conversion between little and big endian Mark Spanbroek 2024-01-22 15:38:25 +0100
38411c27ca Move submitProof() function to Marketplace Mark Spanbroek 2024-01-18 14:09:36 +0100
e6a918fed9 Submit proof as Groth16Proof struct Mark Spanbroek 2024-01-18 13:50:54 +0100