Commit Graph

609 Commits

Author SHA1 Message Date
Dmitriy Ryajov 23275b67ba
merge master 2024-02-19 13:34:46 -06:00
Dmitriy Ryajov 64ad28ce99
fix workflow 2024-02-19 13:34:46 -06:00
Dmitriy Ryajov f4af9ebd9f
fix cli tests 2024-02-19 13:34:46 -06:00
Dmitriy Ryajov aac27d0fe7
update circuit artifacts path 2024-02-19 13:34:46 -06:00
Dmitriy Ryajov cba998fc12
make `verifier` a cmd option 2024-02-19 13:34:46 -06:00
Dmitriy Ryajov 189ba80635
merge #663 2024-02-19 13:34:45 -06:00
Dmitriy Ryajov 95b249c083
fix to match constructor arguments 2024-02-19 13:34:43 -06:00
Dmitriy Ryajov d1b2b96383
use correct stores 2024-02-19 13:34:22 -06:00
Dmitriy Ryajov 42d4a5c234
use push raises 2024-02-19 13:33:37 -06:00
Dmitriy Ryajov d75a33af49
styling 2024-02-19 13:33:37 -06:00
Dmitriy Ryajov 4c69d3f43c
styling 2024-02-19 13:33:37 -06:00
Dmitriy Ryajov 02004e26b4
Update deps (#67)
* update nim-presto

* update asynctest to latest

* upgrading deps
2024-02-19 13:33:37 -06:00
Dmitriy Ryajov b7c736b34c
use parens around `=? (await...)` calls 2024-02-19 13:33:37 -06:00
Dmitriy Ryajov 3ce68f696e
make errors more searchable 2024-02-19 13:33:37 -06:00
Dmitriy Ryajov 90acd52d1d
use correct dataset geometry in erasure 2024-02-19 13:33:36 -06:00
Dmitriy Ryajov 947b3dadc0
misc 2024-02-19 13:33:36 -06:00
Dmitriy Ryajov 3996d4fb81
misc 2024-02-19 13:33:36 -06:00
Dmitriy Ryajov b76fe82f79
make block and manifest object instead of ref 2024-02-19 13:33:36 -06:00
Dmitriy Ryajov 6a0a5326a7
bump time to give nodes time to load with all circom artifacts 2024-02-19 13:33:36 -06:00
Dmitriy Ryajov a001b69633
update 2024-02-19 13:33:36 -06:00
Dmitriy Ryajov 65a1f19626
add circom compat to solidity groth16 convertion 2024-02-19 13:33:36 -06:00
Mark Spanbroek 5f1c1bb3df
Add "prover" cli command to tests 2024-02-19 13:33:35 -06:00
Mark Spanbroek ed8bc7bd29
Use circuit assets from codex-contract-eth in tests 2024-02-19 13:33:35 -06:00
Mark Spanbroek de5010e5d8
Update codex-contracts-eth 2024-02-19 13:33:35 -06:00
Dmitriy Ryajov a726075455
remove extraneous file 2024-02-19 13:33:35 -06:00
Dmitriy Ryajov afe97514d4
update tests 2024-02-19 13:33:35 -06:00
Dmitriy Ryajov 5ec9269c05
moving circom params under `prover` command 2024-02-19 13:33:35 -06:00
Dmitriy Ryajov ee36414046
Update deps (#67)
* update nim-presto

* update asynctest to latest

* upgrading deps
2024-02-19 13:33:35 -06:00
Mark Spanbroek dccb487d70
Initial commit 2024-02-19 13:33:34 -06:00
Mark Spanbroek 6b301bddb6
Fix: simulateProofFailures option is not for validator 2024-02-19 13:33:34 -06:00
Eric 53f6eae9f6
format challenges in logs 2024-02-19 13:33:34 -06:00
Dmitriy Ryajov e211b66305
fix nodes and tolerance to match expected params 2024-02-19 13:33:24 -06:00
Dmitriy Ryajov 78b7dc93dd
adding usefull traces 2024-02-19 13:33:24 -06:00
Eric 24affef5e6
Update cli integration tests 2024-02-19 13:33:08 -06:00
Dmitriy Ryajov bb5c9d8bc0
misc 2024-02-19 13:33:08 -06:00
Dmitriy Ryajov b0f54ab9ad
use `nimOldCaseObjects` switch for nim confutils compat 2024-02-19 13:33:07 -06:00
Dmitriy Ryajov 20b156d0ff
persistence is a command now 2024-02-19 13:33:07 -06:00
Dmitriy Ryajov 5b58a137b1
don't use ufcs 2024-02-19 13:33:07 -06:00
Dmitriy Ryajov 83c3aa07d2
use a real verifying contract address 2024-02-19 13:33:07 -06:00
Dmitriy Ryajov 9250b44afd
adding new required cli changes 2024-02-19 13:32:42 -06:00
Dmitriy Ryajov 1f7861b39a
misc renames 2024-02-19 13:32:40 -06:00
Dmitriy Ryajov 1b2ac806b1
return correct proof 2024-02-19 13:32:11 -06:00
Dmitriy Ryajov f6e7f12c1a
merge rework-cli into node-wire-prover 2024-02-19 13:31:05 -06:00
Dmitriy Ryajov 96f7a99661
stricter case object checks 2024-02-19 13:31:05 -06:00
Dmitriy Ryajov 4deeed64ef
add circom params (temprorary) 2024-02-19 13:31:05 -06:00
Dmitriy Ryajov e271875f6a
wire prover into node 2024-02-19 13:31:03 -06:00
Dmitriy Ryajov 6cbadc6079
check circom files extension 2024-02-19 13:29:35 -06:00
Dmitriy Ryajov 2e0f087389
rework cli to accept circuit params 2024-02-19 13:29:32 -06:00
Dmitriy Ryajov 9e13d2251a
Prover works with zkey (#711)
* rework backend to instantiate key at initialization

* add groth16 convertes for solidity

* prover taks num samples on construction

* add zkey file

* rework helpers

* rename types

* update tests

* reworked test helpers

* rename types

* rework test

* test all slots artifacts

* bump to latest version
2024-02-19 18:58:39 +00:00
Slava 6b86601597
ci: update actions to the latest major versions (#712)
* ci: update actions to the latest major versions

* ci: add OS to the integration tests logs name

* ci: add CPU and Nim version to the integration tests logs name

* ci: upload integrations tests logs only when they run
2024-02-19 18:55:49 +00:00