a58427e496
Updates dist-test circuit ( #96 )
...
* Updates dist-test circuit
* Removes unused example-proofs for dist-tests
2024-03-18 13:33:28 +01:00
c3d7db3456
from the codex-storage-proofs-circuits commit 066bd73a0bdebc813a231035ea50e1c91f139f2a ( #92 )
2024-03-08 12:56:26 +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
e5cb3bc571
verifier: circuit assets for a 5 sample storage proof
2024-02-14 13:33:37 +01:00
331bc56e8f
feat: zkey hash in marketplace config ( #81 )
2024-01-30 06:36:27 +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
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
534f8cbf51
Cleanup verifier template
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
c08e8be8f9
Add verification keys and example proof for local deployment
2024-01-25 13:08:10 +01:00
6b8d3ca83b
MIT licensed version of solidity Groth16 verifier
...
Copied from 2e9be76932/templates/verifier_original.sol
2024-01-25 13:08:10 +01:00
Ben Bierens
Adam Uhlíř
Mark Spanbroek