2a196b099d
wire in circom backend
2024-02-09 18:31:52 -06:00
ecb72fccd5
wip
2024-02-09 18:31:35 -06:00
c3c817cbce
rework sampler & builder to support correct padding and block selection
2024-02-09 18:31:35 -06:00
2bff066735
merge master
2024-02-09 18:31:35 -06:00
27e0ed61e0
misc
2024-02-09 18:31:35 -06:00
6a1546589a
removed useless property
2024-02-09 18:31:34 -06:00
d5eaef89c3
cleanup
2024-02-09 18:31:33 -06:00
26b9b9f3cf
cleanup
2024-02-09 18:31:20 -06:00
d85b89a7c7
re-enable samper tests
2024-02-09 18:31:18 -06:00
dff9e0dbb7
rework sampler tests
2024-02-09 18:31:07 -06:00
bb53e7a826
generate correct example proof
2024-02-09 18:31:07 -06:00
5dc14b50e9
fix tests
2024-02-09 18:31:07 -06:00
d08b2cd6bc
add tests for prover
2024-02-09 18:30:55 -06:00
4cfb707180
add test using real samples
2024-02-09 18:30:40 -06:00
dda550f8ed
misc
2024-02-09 18:30:27 -06:00
07c6c88597
cleanup and proper inputs structure
2024-02-09 18:30:27 -06:00
242461b2da
add circuit static params and adjust input sizes (wip)
2024-02-09 18:30:26 -06:00
e045062620
enable case objects field checks
2024-02-09 18:30:05 -06:00
6f4aa017e9
imports
2024-02-09 18:30:05 -06:00
4c4f64de0e
pass prover options
2024-02-09 18:30:05 -06:00
e4d06d9f0e
dissable prover for now
2024-02-09 18:29:32 -06:00
d3c0667616
misc
2024-02-09 18:29:32 -06:00
df684302f6
wip: wire in prover
2024-02-09 18:29:32 -06:00
29d4ff5556
wip wire in prover and circom config
2024-02-09 18:29:18 -06:00
bf8e27317a
misc
2024-02-09 18:29:18 -06:00
b949e5001f
remove unneded files
2024-02-09 18:29:18 -06:00
856c2b9dc0
wip merge master
2024-02-09 18:29:17 -06:00
9b390cb152
ignore debug symbols
2024-02-09 18:29:17 -06:00
c003b5c7a5
test backends
2024-02-09 18:29:06 -06:00
e7be0b956c
move tests to subdirectory
2024-02-09 18:29:06 -06:00
349be069cc
move fixtures to top level
2024-02-09 18:29:06 -06:00
de140b7333
init prover
2024-02-09 18:28:43 -06:00
8de2d6d35a
add circom file config options
2024-02-09 18:28:43 -06:00
532e45b951
add prover
2024-02-09 18:28:32 -06:00
cc6ebe9123
init node
2024-02-09 18:28:32 -06:00
24c57c9109
move prover logic from node
2024-02-09 18:28:31 -06:00
0da9d51213
rework circom compat
2024-02-09 18:28:15 -06:00
30ab88572d
add tests for circom backend
2024-02-09 18:27:57 -06:00
b50e46211c
remove zkey file
2024-02-09 18:27:56 -06:00
959baafd6c
make more egonomic
2024-02-09 18:27:54 -06:00
b148a4ecf7
pass proper input
2024-02-09 18:27:43 -06:00
bad533e329
drop files
2024-02-09 18:27:18 -06:00
29e884258c
wip rework backend
2024-02-09 18:27:16 -06:00
9697b669e3
wip
2024-02-09 18:25:46 -06:00
3df3b6736c
bump nimbus build system
2024-02-09 18:24:58 -06:00
6c629cfe61
moving prover around
2024-02-09 18:24:36 -06:00
18907e6801
wip
2024-02-09 18:24:10 -06:00
134724f91a
generify sampler and builder
2024-02-09 18:24:08 -06:00
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
825766eea0
Rework builder & sampler ( #697 )
...
* add proof initializer for poseidon2 and `$`
* fix padding and block selection
* fix sample selection and input construction
* fix sample selection & more descriptive names
* add concrete types for sampler & builder
* add missing digest calls
* use concrete types
* add sample test fixtures
* use concrete types and don't fetch dummy blocks
2024-02-08 02:27:11 +00:00
Dmitriy Ryajov