Dmitriy Ryajov
09509891f6
remove echo (todo: fix trace log)
2025-06-26 10:16:30 +10:00
Dmitriy Ryajov
481845a9b2
refactor: simplify error handling in suggestDownloadTool and enhance test setup for CLI
2025-06-26 10:16:29 +10:00
Dmitriy Ryajov
160d9b85a8
chore: add project docs and update test circuit paths
2025-06-26 10:06:58 +10:00
Dmitriy Ryajov
974ca92e2b
chore: add project documentation and update prover configuration in tests
2025-06-26 10:06:16 +10:00
Dmitriy Ryajov
a5f458caab
chore: add project documentation and update test configurations
2025-06-26 10:04:04 +10:00
Dmitriy Ryajov
0817ab9e07
feat: add single-block slot proof tests and update NimGroth16 backend configuration
2025-06-26 10:04:03 +10:00
Dmitriy Ryajov
c0b8275c51
refactor: replace circom-wasm with circom-graph and update G1/G2 point conversions
2025-06-26 10:04:03 +10:00
Dmitriy Ryajov
756de7847b
feat: improve prover logging and add NimGroth16 prover tests
2025-06-26 10:04:03 +10:00
Dmitriy Ryajov
70ec129aae
refactor: rename proverBackendCmd to proverBackend and standardize enum values
2025-06-26 10:04:03 +10:00
Dmitriy Ryajov
5baa88a1f4
restore tests
2025-06-26 10:04:03 +10:00
Dmitriy Ryajov
208d68ef4e
Update subproject commits for circom-witnessgen and nim-groth16
2025-06-26 10:04:02 +10:00
Dmitriy Ryajov
e7a3181266
Avoid using pointer to task, use the actual task object. Add some checked exceptions
2025-06-26 10:04:02 +10:00
Dmitriy Ryajov
5306f5a5a5
Fix typo in testproverfactory.nim: correct getZKeyFile to getZkeyFile
2025-06-26 10:04:02 +10:00
Dmitriy Ryajov
5a63a6f130
Fix import statement in testslots.nim: replace testbackendfactory with testproverfactory
2025-06-26 10:04:02 +10:00
Dmitriy Ryajov
e73ef8b0c3
Add ProverBackendCmd enum and update configuration for nimGroth16 and circomCompat backends
2025-06-26 10:04:02 +10:00
Dmitriy Ryajov
43ca0714ac
Refactor codebase: enhance error handling, improve type definitions, and streamline async procedures
2025-06-26 10:04:02 +10:00
Dmitriy Ryajov
ad2a16f34b
Refactor SlotsBuilder and DataSampler types to use generic parameters SomeTree and SomeHash
2025-06-26 10:04:01 +10:00
Dmitriy Ryajov
20dd5ef2c1
Refactor backend structure: remove unused files, add NimGroth16 support, and enhance prover functionality
2025-06-26 10:04:01 +10:00
Dmitriy Ryajov
5101b98521
Refactor Circom compatibility backend and add NimGroth16 backend implementation
2025-06-26 10:04:01 +10:00
Dmitriy Ryajov
4adba177d0
Remove vendor/threading submodule
2025-06-26 10:04:01 +10:00
Dmitriy Ryajov
bd213b3b69
adding circom-witnessgen
2025-06-26 10:04:01 +10:00
Dmitriy Ryajov
22087fe0de
adding goldilocks deps
2025-06-26 10:04:00 +10:00
Dmitriy Ryajov
77759737f6
adding deps
2025-06-26 10:04:00 +10:00
Dmitriy Ryajov
4466938322
wip nim groth16
2025-06-26 10:04:00 +10:00
Dmitriy Ryajov
1ecc720a60
adding threading dep
2025-06-26 10:04:00 +10:00
Dmitriy Ryajov
fd774060cd
adding nim-groth16 dep
2025-06-26 10:03:57 +10:00
Slava
2f4948e46f
ci: use macos-14-xlarge for macos integration tests
...
Signed-off-by: Slava <20563034+veaceslavdoina@users.noreply.github.com>
2025-06-05 16:42:28 +03:00
Eric
e1e25f7342
Move macos runners back to arm64
2025-06-05 16:12:34 +10:00
Eric
3215a3c0ef
fix(CI): change all macos runners to amd64
2025-06-05 12:06:58 +10:00
Eric
072be525ad
fix(CI): change macos runner arch type to amd64
2025-06-05 11:56:13 +10:00
Eric
f27160bf30
contracts: increase period duration for windows ci
2025-06-05 11:28:33 +10:00
Eric
79564ce72f
Update ci.yml to be in line with master
2025-06-04 17:32:07 +10:00
Eric
2d8f05cc25
disable ccache symlink
...
Permission denied creating the symlink in CI
2025-06-04 17:23:07 +10:00
Eric
bd918dd89c
update to websockets addresses for hardhat connection
...
Also, catch exceptions on JsonRpcProvider.close, which should not need to be done, as this routine should not raise any exceptions.
2025-06-04 16:43:54 +10:00
Eric
fa91a642b9
revert posix-only verbose unittest output
...
It didn't fix the error with invalid proofs in windows in ci
2025-06-04 16:07:01 +10:00
Eric
99fa6b8a16
fix previous commit compilation
2025-06-04 16:07:00 +10:00
Eric
38a4f864da
try removing verbose output to see if windows ci passes
2025-06-04 16:07:00 +10:00
Eric
86db88ce72
logging: show test setup/teardown in logs
2025-06-04 16:07:00 +10:00
Eric
e8e16729bf
try increasing polling interval to see if this has an effect on windows in ci
2025-06-04 16:07:00 +10:00
Eric
e12426fff7
verbose unittest2 output to stdout
2025-06-04 16:06:15 +10:00
Eric
18a7f5adab
update after rebase
2025-06-04 16:06:14 +10:00
Eric
af5759b053
re-enable all CI tests
...
Also adds a condition such that a hardhat node is not started for parallel integration tests
2025-06-04 16:04:46 +10:00
Eric
9dc820d69e
formatting
2025-06-04 16:01:27 +10:00
Eric
6bb7457824
fix compilation errors in windows
2025-06-04 16:01:27 +10:00
Eric
b060c8d520
fix eventually symbol resolution
...
Because `eventuallySafe` calls the symbol `eventually`, it should be declared before `proc eventually` is declared to avoid ambiguous symbol lookups.
2025-06-04 16:01:27 +10:00
Eric
75047f52be
force kill windows test processes
...
In situations like timeouts, windows will hang when attempting to close the test process streams. In this case, we have to force kill the test process externally. This is the same process as force killing hardhat nodes after they are already terminated, but windows refuses hangs when closing their process streams. This commit creates a forceKillProcess utility that allows a process to be killed by its process name and matching commandline criteria, like TestId (for test process) or --port (for hardhat)
2025-06-04 16:01:27 +10:00
Eric
cbe3305dc5
Reinstate unittest > unittest2, move eventually to ./asynctest
2025-06-04 16:01:27 +10:00
Eric
67ebe0b3e3
Don't store hardhat logs in memory and do not print to term even if DebugHardhat=true
...
Hardhat output is logged to file in hardhat.log for each test, and printing to screen is not necessarily needed as it is already logged to file and can create clutter in the output, so stop writing logging output to memory and writing to screen.
2025-06-04 16:01:26 +10:00
Eric
f09c4357c9
re-enable debug logging in codex nodes
...
Since the HttpClient now supports async, re-enable debug logging in the Codex nodes
2025-06-04 16:01:26 +10:00
Eric
fc801f9db7
fix makefile: DEBUG enables DebugHardhat
2025-06-04 16:01:26 +10:00
