864 Commits

Author SHA1 Message Date
Arnaud
57a81cc92f
Enable debug and reduce proofProbability 2025-06-23 13:11:41 +02:00
Arnaud
9fa90b9bb0
Reduce proof probability 2025-06-23 08:26:08 +02:00
Arnaud
fa11869211
Keep linux only on CI 2025-06-23 06:16:12 +02:00
Arnaud
742061e2d4
Merge branch 'feat/rework-zk-proving-arnaud-2' of github.com:codex-storage/nim-codex into feat/rework-zk-proving-arnaud-2
# Conflicts:
#	.github/workflows/ci.yml
2025-06-23 06:08:16 +02:00
Arnaud
bcc6863ba7
Try to ignore HttpConnectionError 2025-06-23 06:07:15 +02:00
Arnaud
a276db480e
Enable linux only on CI 2025-06-23 06:06:03 +02:00
Arnaud
589b261a5b
Add more logs 2025-06-23 06:04:05 +02:00
Arnaud
24631894bc
Apply custom errors 2025-06-23 06:02:13 +02:00
Arnaud
ad2562c973
Apply gas overrides 2025-06-23 06:01:40 +02:00
Arnaud
d9e4ef6d4b
Try ci with ubuntu only 2025-06-21 19:26:40 +02:00
Arnaud
d3b96772d7
Catch HttpConnectionError error 2025-06-21 08:51:10 +02:00
Arnaud
584e50f5bb
Update gas 2025-06-21 08:50:56 +02:00
Arnaud
6bf1807969
Add logs for proof tests 2025-06-20 16:58:36 +02:00
Arnaud
46e8df097e
Trying to wait a bit after starting hardhat before running the tests 2025-06-20 16:56:47 +02:00
Arnaud
0552bec6af
Disable debug 2025-06-20 16:56:12 +02:00
Arnaud
452a8e6f2f
Activate debug 2025-06-20 14:54:52 +02:00
Arnaud
6b5467c602
Create logs folder 2025-06-20 12:47:52 +02:00
Arnaud
9c3dc8ff6a
Trying to get hardhat log 2025-06-20 11:37:37 +02:00
Arnaud
fd33084ecf
Add client logs 2025-06-19 12:38:23 +02:00
Arnaud
0ab76f12f9
Temporarily disable test (fixed in Vault) 2025-06-19 10:17:13 +02:00
Arnaud
e68fc7685e
Enable logs on CI 2025-06-19 09:25:09 +02:00
Arnaud
4f20e54978
Bump contracts 2025-06-19 09:23:19 +02:00
Arnaud
c72362902d
Adjust the number of transfer event and fix the duration request. 2025-06-19 09:23:10 +02:00
Arnaud
27d128454c
Use ERC20 subscription instead of eventually to check token balances 2025-06-19 06:25:12 +02:00
Arnaud
86641a6a28
Apply markplace test changes and use ERC20 subscriptions 2025-06-18 16:56:05 +02:00
Dmitriy Ryajov
b8ebaba0d3
remove echo (todo: fix trace log) 2025-05-30 18:25:40 -06:00
Dmitriy Ryajov
c62e1984c7
refactor: simplify error handling in suggestDownloadTool and enhance test setup for CLI 2025-05-30 18:25:06 -06:00
Dmitriy Ryajov
630b255b14
chore: add project docs and update test circuit paths 2025-05-30 12:18:09 -06:00
Dmitriy Ryajov
87e1916266
chore: add project documentation and update prover configuration in tests 2025-05-30 09:03:48 -06:00
Dmitriy Ryajov
d7b9b0bc0b
chore: add project documentation and update test configurations 2025-05-30 09:03:48 -06:00
Dmitriy Ryajov
cfe40fa243
feat: add single-block slot proof tests and update NimGroth16 backend configuration 2025-05-30 09:03:47 -06:00
Dmitriy Ryajov
caa5010436
refactor: replace circom-wasm with circom-graph and update G1/G2 point conversions 2025-05-30 09:03:47 -06:00
Dmitriy Ryajov
5055e47fe9
feat: improve prover logging and add NimGroth16 prover tests 2025-05-30 09:03:47 -06:00
Dmitriy Ryajov
92a54fac32
refactor: rename proverBackendCmd to proverBackend and standardize enum values 2025-05-30 09:03:47 -06:00
Dmitriy Ryajov
1ced3cb03f
restore tests 2025-05-30 09:03:47 -06:00
Dmitriy Ryajov
be6d8840af
Update subproject commits for circom-witnessgen and nim-groth16 2025-05-30 09:03:47 -06:00
Dmitriy Ryajov
0f01c9c965
Avoid using pointer to task, use the actual task object. Add some checked exceptions 2025-05-30 09:03:47 -06:00
Dmitriy Ryajov
4035900797
Fix typo in testproverfactory.nim: correct getZKeyFile to getZkeyFile 2025-05-30 09:03:46 -06:00
Dmitriy Ryajov
06f45ba873
Fix import statement in testslots.nim: replace testbackendfactory with testproverfactory 2025-05-30 09:03:46 -06:00
Dmitriy Ryajov
0fc8858b07
Add ProverBackendCmd enum and update configuration for nimGroth16 and circomCompat backends 2025-05-30 09:03:46 -06:00
Dmitriy Ryajov
087cc4ce7b
Refactor codebase: enhance error handling, improve type definitions, and streamline async procedures 2025-05-30 09:03:46 -06:00
Dmitriy Ryajov
180a748167
Refactor SlotsBuilder and DataSampler types to use generic parameters SomeTree and SomeHash 2025-05-30 09:03:46 -06:00
Dmitriy Ryajov
f25facd264
Refactor backend structure: remove unused files, add NimGroth16 support, and enhance prover functionality 2025-05-30 09:03:46 -06:00
Dmitriy Ryajov
d791cd0498
Refactor Circom compatibility backend and add NimGroth16 backend implementation 2025-05-30 09:03:46 -06:00
Dmitriy Ryajov
548e1bebaa
Remove vendor/threading submodule 2025-05-30 09:03:45 -06:00
Dmitriy Ryajov
efea71dfdf
adding circom-witnessgen 2025-05-30 09:03:45 -06:00
Dmitriy Ryajov
be5573d308
adding goldilocks deps 2025-05-30 09:03:45 -06:00
Dmitriy Ryajov
cba533e55b
adding deps 2025-05-30 09:03:45 -06:00
Dmitriy Ryajov
a5ef6071d8
wip nim groth16 2025-05-30 09:03:45 -06:00
Dmitriy Ryajov
595b060e5c
adding threading dep 2025-05-30 09:03:45 -06:00