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

  • 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
  • ae03690d51 Submit proof as field elements, not bytes Mark Spanbroek 2024-01-18 13:37:33 +0100
  • 534f8cbf51 Cleanup verifier template Mark Spanbroek 2024-01-18 10:29:10 +0100
  • 1af40f1790 Read proof from file in test Mark Spanbroek 2024-01-18 09:54:21 +0100
  • bf64de7e50 Update to solidity 0.8.8 Mark Spanbroek 2024-01-18 08:56:15 +0100
  • 3e3f2307d8 Remove GPL'ed verifier, replace by MIT verifier Mark Spanbroek 2024-01-18 08:52:22 +0100
  • 61be76da0e Add preprocessing to generate verification contract Mark Spanbroek 2024-01-18 07:52:00 +0100
  • c08e8be8f9 Add verification keys and example proof for local deployment Mark Spanbroek 2024-01-18 05:41:19 +0100
  • 6b8d3ca83b MIT licensed version of solidity Groth16 verifier Mark Spanbroek 2024-01-18 05:30:43 +0100
  • e1657acdd0 Stub out zk proof verification in marketplace tests Mark Spanbroek 2024-01-15 16:28:27 +0100
  • e59f0f961e Submit proofs as array of bytes Mark Spanbroek 2024-01-15 16:25:30 +0100
  • d29a259090 Fix linter warnings Mark Spanbroek 2024-01-10 15:18:31 +0100
  • 327ae14112 Formatting with prettier Mark Spanbroek 2024-01-10 15:12:18 +0100
  • db124ddbd9 Re-arrange marketplace constructor parameters Mark Spanbroek 2024-01-10 15:12:06 +0100
  • 0d9b67bb31 feat: verifier integration Adam Uhlíř 2024-01-05 12:27:53 +0100
  • a78e9ed5f7 Fix marketplace deployment script Mark Spanbroek 2024-01-23 14:14:53 +0100
  • a22efb1488 Cleanup verifer.js Mark Spanbroek 2024-01-23 14:03:37 +0100
  • fb176f397e Deploy verifier with verifier key per network Mark Spanbroek 2024-01-23 13:56:52 +0100
  • 2dd0729f42 Refactor verifier contract: formatting Mark Spanbroek 2024-01-23 13:30:11 +0100
  • 939704e8ad Refactor verifier contract: remove unnecessary conversions Mark Spanbroek 2024-01-23 13:28:53 +0100
  • 2d0d6cfd03 Refactor verifier contract: Formatting Mark Spanbroek 2024-01-23 13:26:05 +0100
  • 27a81cee42 Refactor verifier contract: use structs from Groth16.sol Mark Spanbroek 2024-01-23 13:18:33 +0100
  • da19b52575 Refactor verifier contract: remove dead code Mark Spanbroek 2024-01-23 13:14:04 +0100
  • fe2cf27002 Refactor verifier contract: remove unnecessary conversions Mark Spanbroek 2024-01-23 13:12:02 +0100
  • 73ef5200cf Refactor verifier contract: fix linter warnings Mark Spanbroek 2024-01-23 13:05:27 +0100
  • 9608908cc8 Refactor verifier contract: remove preprocessing Mark Spanbroek 2024-01-23 12:51:35 +0100
  • 23df33e7f0 Refactor verifier contract: public input as dynamic array Mark Spanbroek 2024-01-23 12:50:14 +0100
  • 8686e973ce Refactor verifier contract: verification key as parameter Mark Spanbroek 2024-01-23 12:38:47 +0100
  • 2013aad399 Refactor verifier contract: X -> x, Y -> y Mark Spanbroek 2024-01-23 12:34:43 +0100
  • 531c79a4d4 Refactor verifier contract: set verifying key in constructor Mark Spanbroek 2024-01-23 11:48:01 +0100
  • 77556a805d Refactor verifier contract: fix typo Mark Spanbroek 2024-01-23 10:49:54 +0100
  • 4765b115f9 Refactor verifier contract: extract constants Mark Spanbroek 2024-01-23 10:48:24 +0100
  • e577c43930 Refactor verifier contract: formatting Mark Spanbroek 2024-01-23 10:41:50 +0100
  • 27c2b40dfc Update solidity to 0.8.23 Mark Spanbroek 2024-01-23 10:24:02 +0100