17 Commits

Author SHA1 Message Date
Ben
64b82ded9b
Merge branch 'master' into feature/ceremony-files
# Conflicts:
#	tests/codex/slots/testprover.nim
2024-07-22 11:09:47 +02:00
Giuliano Mega
fbce240e3d
Fixes prover behavior with singleton proof trees (#859)
* add logs and test

* add Merkle proof checks

* factor out Circom input normalization, fix proof input serialization

* add test and update existing ones

* update circuit assets

* add back trace message

* switch contracts to fix branch

* update codex-contracts-eth to latest

* do not expose prove with prenormalized inputs
2024-07-18 13:25:06 +00:00
Ben
4bd14a498c
Adds separate path for circuit files 2024-03-29 16:03:18 +01:00
Ben
ba0e7d9e2a
Fixes issue where inner-scope values are lost before returning 2024-03-15 15:45:26 +01:00
benbierens
3d008c71fc
Sets up tests for backendfactory 2024-03-12 19:13:07 +01:00
benbierens
8ff6b50c37
Fixes testprover.nim 2024-03-12 19:13:07 +01:00
benbierens
983da3c24f
functional implementation 2024-03-12 19:13:06 +01:00
benbierens
7934d415cd
Wires up downloading and unzipping 2024-03-12 19:13:06 +01:00
benbierens
c67c2e7cd7
Implements loading backend from cli files or previously downloaded local files 2024-03-12 19:13:06 +01:00
benbierens
83e1347038
Extracts backend initialization to backend-factory 2024-03-12 19:13:06 +01:00
benbierens
63ab4c5064
sets up three paths for backend initialization 2024-03-12 19:13:06 +01:00
benbierens
828484a646
Moves backend creation into start method 2024-03-12 19:13:05 +01:00
benbierens
cfca6b4111
Introduces a start method to prover 2024-03-12 19:12:52 +01:00
markspanbroek
8589e63d34
Update contract (#734)
* Update codex-contracts-eth

* contracts: update G2Point definition

* integration: disable automatic advancing of time

reason: makes reasoning about timing in tests harder,
because the period is set to 60 seconds in the
marketplace configuration, but this code switches to
a new period every 500 milliseconds

* integration: fix parameters of marketplace payouts test

* integration: update test settings

* integration: fix typo

* integration: workaround for hardhat issue

Subscriptions expire after 5 minutes when using
websockets. Use http and polling instead.

* integration: remove origDatasetSizeInBlocks

* integration: fix proof parameters for test

* integration: do not log output by default

* integration: fix failure rate in test

* integration: fix warning

* integration: include clock in logs

* integration: allow for more periods

5 periods was cutting it close, if we get too much
pointer downtime, then the test would fail
2024-03-12 08:18:25 +00: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
Dmitriy Ryajov
6fab252bf1
safer backend release (#701) 2024-02-10 23:17:11 +00:00
Dmitriy Ryajov
e23159b065
wire in circom backend (#698)
* wire in circom backend

* should contain leafs

* adding circom compad and circuits deps

* update windows build

* fix windows build

* improve test names

* move proving defaults to codextypes

* remove unnedded inmports and move defaults to codextypes

* capture error code on backend failure
2024-02-09 21:40:30 +00:00