25 Commits

Author SHA1 Message Date
Slava
bbd57ab876
Add Codex Devnet and Testnet networks (#135)
* Add Codex Devnet and Testnet networks (#112)

* Add circuit assets for Codex Devnet and Testnet (#112)
2024-08-06 08:37:40 +03:00
Giuliano Mega
7ad26688a3
update circuit assets to latest version for hardhat and dist test net (#121) 2024-07-17 16:39:15 -03:00
Ben Bierens
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
Ben Bierens
c3d7db3456
from the codex-storage-proofs-circuits commit 066bd73a0bdebc813a231035ea50e1c91f139f2a (#92) 2024-03-08 12:56:26 +01:00
Adam Uhlíř
965529dcea
chore: add verifier assets for codexdisttestnetwork (#89) 2024-02-26 10:26:00 +01:00
Mark Spanbroek
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
Mark Spanbroek
e5cb3bc571 verifier: circuit assets for a 5 sample storage proof 2024-02-14 13:33:37 +01:00
Adam Uhlíř
331bc56e8f
feat: zkey hash in marketplace config (#81) 2024-01-30 06:36:27 +01:00
Mark Spanbroek
079ac4766c Cleanup verifer.js 2024-01-25 13:08:10 +01:00
Mark Spanbroek
5d2842c69b Deploy verifier with verifier key per network 2024-01-25 13:08:10 +01:00
Mark Spanbroek
6baf80d6f4 Refactor verifier contract: remove preprocessing 2024-01-25 13:08:10 +01:00
Mark Spanbroek
c0ca508a6b Refactor verifier contract: public input as dynamic array 2024-01-25 13:08:10 +01:00
Mark Spanbroek
39a2d56a63 Refactor verifier contract: verification key as parameter 2024-01-25 13:08:10 +01:00
Mark Spanbroek
f2869ff94f Refactor verifier contract: X -> x, Y -> y 2024-01-25 13:08:10 +01:00
Mark Spanbroek
d30dff1781 Refactor verifier contract: set verifying key in constructor 2024-01-25 13:08:10 +01:00
Mark Spanbroek
ef32ad9c1b Refactor verifier contract: fix typo 2024-01-25 13:08:10 +01:00
Mark Spanbroek
296447724a Refactor verifier contract: extract constants 2024-01-25 13:08:10 +01:00
Mark Spanbroek
b2509e4257 Refactor verifier contract: formatting 2024-01-25 13:08:10 +01:00
Mark Spanbroek
f3e2186ec2 Update solidity to 0.8.23 2024-01-25 13:08:10 +01:00
Mark Spanbroek
534f8cbf51 Cleanup verifier template 2024-01-25 13:08:10 +01:00
Mark Spanbroek
bf64de7e50 Update to solidity 0.8.8 2024-01-25 13:08:10 +01:00
Mark Spanbroek
3e3f2307d8 Remove GPL'ed verifier, replace by MIT verifier 2024-01-25 13:08:10 +01:00
Mark Spanbroek
61be76da0e Add preprocessing to generate verification contract 2024-01-25 13:08:10 +01:00
Mark Spanbroek
c08e8be8f9 Add verification keys and example proof for local deployment 2024-01-25 13:08:10 +01:00
Mark Spanbroek
6b8d3ca83b MIT licensed version of solidity Groth16 verifier
Copied from 2e9be76932/templates/verifier_original.sol
2024-01-25 13:08:10 +01:00