codex-storage
/
codex-contracts-eth
mirror of https://github.com/codex-storage/codex-contracts-eth.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 58808ccf5a
         Merge c276e87b62 into 924d192de1 0xb337r007 2024-07-03 11:16:09 +0000
  • c276e87b62 update compiler version in test contracts 0xb337r007 2024-07-03 13:12:52 +0200
  • f0a79efc48 update specs config 0xb337r007 2024-07-03 13:07:56 +0200
  • 3b178902ae
         Merge f2d2d7d502 into 924d192de1 Adam Uhlíř 2024-06-14 13:56:09 +0200
  • f0a651afde
         Merge f9a9fe9024 into 924d192de1 Eric 2024-06-14 13:56:08 +0200
  • 924d192de1
         ci: update actions to the latest major versions (#120) master 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
  • fa626d741b
         Add deployed Marketplace smart contract (#119) devnet-testnet Veaceslav Doina 2024-06-13 22:20:28 +0300
  • e21c28e9d3
         Remove Marketplace deployment to deploy a new one (#119) Veaceslav Doina 2024-06-13 20:12:56 +0300
  • 1b66640928
         Add previously deployed smart contracts (#119) Veaceslav Doina 2024-06-13 20:11:43 +0300
  • f2d2d7d502
         docs: proofs comments docs/general Adam Uhlíř 2024-06-12 15:40:46 +0200
  • 11dac55f8c update use of token 0xb337r007 2024-06-07 13:53:21 +0200
  • 3f21b093e9 update compiler version in fuzz tests contract 0xb337r007 2024-06-06 16:25:59 +0200
  • ae99528791 update harness 0xb337r007 2024-06-06 16:12:13 +0200
  • 483011710d use actions/checkout@v4 0xb337r007 2024-06-06 15:43:08 +0200
  • f2ae8b3ba0 bump solidity version in ci workflow 0xb337r007 2024-06-06 10:53:12 +0200
  • a3edfd41a3 add harness and marketplace totals rules 0xb337r007 2024-06-06 10:51:28 +0200
  • 407f28b105 add RULE argument to certora script 0xb337r007 2024-06-03 12:04:58 +0200
  • 492f3e57c8 initial Certora setup 0xb337r007 2024-06-03 11:58:57 +0200
  • 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
  • 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