Slava
|
9722753e54
|
Update circuit files for codex_testnet (#180)
|
2024-09-23 18:30:02 +03:00 |
Ben Bierens
|
558bf645c3
|
Updates circuit file hash (#178)
* wasm and r1cs files appear to be unchanged
* Updates example proof
|
2024-09-20 11:08:23 +02:00 |
|
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
|
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
|
5d2842c69b
|
Deploy verifier with verifier key per network
|
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 |