c495770679
Pairing check returns boolean success and outcome
2024-03-13 15:25:59 +01:00
a97a598b0e
Add and multiply return bool success
2024-03-13 15:25:59 +01:00
111ed0826c
Rename addition -> add, scalarMul -> multiply
2024-03-13 15:25:59 +01:00
91388096c1
Fix: size in bytes of input and output were too high
2024-03-13 15:25:59 +01:00
80dfa41e32
Remove calls to invalid()
...
Gas estimation seems to work just fine without them?
2024-03-13 15:25:59 +01:00
c3d7db3456
from the codex-storage-proofs-circuits commit 066bd73a0bdebc813a231035ea50e1c91f139f2a ( #92 )
2024-03-08 12:56:26 +01:00
b797f7d428
Fix/dist tests ( #90 )
...
* fix: downgrade targetted evm version
* feat: remove the target compilation downgrade
* Revert "feat: remove the target compilation downgrade"
This reverts commit a7705608da8c7501b549
2024-03-05 11:14:31 +01:00
118ee0b22b
Slash and free slot sooner when proofs are missed
...
This makes it faster to test these scenarios in the
codex integration tests.
2024-03-03 06:54:22 +01:00
965529dcea
chore: add verifier assets for codexdisttestnetwork ( #89 )
2024-02-26 10:26:00 +01:00
f413f1ea64
Represent elements from field F_{p^2} as `real + i * imag`
...
Reason: Circom and Ethereum EIP-197 both represent these
elements as arrays of two elements, but they do it in
reverse order of each other. This change makes it explicit
which number is the real part, and which number is the
imaginary part.
2024-02-21 10:42:41 +01:00
ed54b80fc9
Increase proof period
...
In Codex's integration tests we now create real ZK proofs,
which take a bit longer to generate. We therefore need a
period that remains the same while the proof is generated.
2024-02-21 10:34:32 +01:00
e5cb3bc571
verifier: circuit assets for a 5 sample storage proof
2024-02-14 13:33:37 +01:00
6c9f797f40
Explicit getters for token and config
...
Implicit getters have slightly different semantics when
it comes to ABI encoding their results.
2024-02-06 12:27:40 +01:00
fb17fb5843
Fix deployment bug in loading zkey hash
2024-01-31 16:52:43 +01:00
31bbd702c2
Remove contract aliasing; doesn't work
...
Contract aliasing (specifying a fixed address for a
contract) doesn't work. We're now echoing the
addresses of the deployed contracts instead.
2024-01-31 15:45:01 +01:00
c7b18af7cd
Deploy 2 versions of the marketplace on local network
...
One with the real Groth16 verifier,
and one with a dummy verifier used for testing.
2024-01-31 15:45:01 +01:00
ec803adb3d
Test verifier accepts any proof, except all 0 values
2024-01-31 15:45:01 +01:00
331bc56e8f
feat: zkey hash in marketplace config ( #81 )
2024-01-30 06:36:27 +01:00
a186cb4045
Formatting
2024-01-25 13:16:49 +01:00
d4c7057fff
ci: check formatting
2024-01-25 13:16:49 +01:00
79d9c43beb
Fix marketplace deployment script
2024-01-25 13:08:10 +01:00
079ac4766c
Cleanup verifer.js
2024-01-25 13:08:10 +01:00
5d2842c69b
Deploy verifier with verifier key per network
2024-01-25 13:08:10 +01:00
903cdf3541
Refactor verifier contract: formatting
2024-01-25 13:08:10 +01:00
70b22b241f
Refactor verifier contract: remove unnecessary conversions
2024-01-25 13:08:10 +01:00
65655e3646
Refactor verifier contract: Formatting
2024-01-25 13:08:10 +01:00
676f4fc85e
Refactor verifier contract: use structs from Groth16.sol
2024-01-25 13:08:10 +01:00
dc0c2b7956
Refactor verifier contract: remove dead code
2024-01-25 13:08:10 +01:00
90c821fb61
Refactor verifier contract: remove unnecessary conversions
2024-01-25 13:08:10 +01:00
a066b6a007
Refactor verifier contract: fix linter warnings
2024-01-25 13:08:10 +01:00
6baf80d6f4
Refactor verifier contract: remove preprocessing
2024-01-25 13:08:10 +01:00
c0ca508a6b
Refactor verifier contract: public input as dynamic array
2024-01-25 13:08:10 +01:00
39a2d56a63
Refactor verifier contract: verification key as parameter
2024-01-25 13:08:10 +01:00
f2869ff94f
Refactor verifier contract: X -> x, Y -> y
2024-01-25 13:08:10 +01:00
d30dff1781
Refactor verifier contract: set verifying key in constructor
2024-01-25 13:08:10 +01:00
ef32ad9c1b
Refactor verifier contract: fix typo
2024-01-25 13:08:10 +01:00
296447724a
Refactor verifier contract: extract constants
2024-01-25 13:08:10 +01:00
b2509e4257
Refactor verifier contract: formatting
2024-01-25 13:08:10 +01:00
f3e2186ec2
Update solidity to 0.8.23
2024-01-25 13:08:10 +01:00
862ea56e8b
Formatting
2024-01-25 13:08:10 +01:00
33614ee218
Calculate public inputs for ZK proof verificition
2024-01-25 13:08:10 +01:00
1b3b258ccc
Conversion between little and big endian
2024-01-25 13:08:10 +01:00
38411c27ca
Move submitProof() function to Marketplace
2024-01-25 13:08:10 +01:00
e6a918fed9
Submit proof as Groth16Proof struct
2024-01-25 13:08:10 +01:00
ae03690d51
Submit proof as field elements, not bytes
2024-01-25 13:08:10 +01:00
534f8cbf51
Cleanup verifier template
2024-01-25 13:08:10 +01:00
1af40f1790
Read proof from file in test
2024-01-25 13:08:10 +01:00
bf64de7e50
Update to solidity 0.8.8
2024-01-25 13:08:10 +01:00
3e3f2307d8
Remove GPL'ed verifier, replace by MIT verifier
2024-01-25 13:08:10 +01:00
61be76da0e
Add preprocessing to generate verification contract
2024-01-25 13:08:10 +01:00
Mark Spanbroek
Ben Bierens
Adam Uhlíř