Commit Graph

601 Commits

Author SHA1 Message Date
Dmitriy Ryajov 66df642661
remove unnedded inmports and move defaults to codextypes 2024-02-09 18:32:26 -06:00
Dmitriy Ryajov 1c734a6527
move proving defaults to codextypes 2024-02-09 18:32:07 -06:00
Dmitriy Ryajov 2a196b099d
wire in circom backend 2024-02-09 18:31:52 -06:00
Dmitriy Ryajov ecb72fccd5
wip 2024-02-09 18:31:35 -06:00
Dmitriy Ryajov c3c817cbce
rework sampler & builder to support correct padding and block selection 2024-02-09 18:31:35 -06:00
Dmitriy Ryajov 2bff066735
merge master 2024-02-09 18:31:35 -06:00
Dmitriy Ryajov 27e0ed61e0
misc 2024-02-09 18:31:35 -06:00
Dmitriy Ryajov 6a1546589a
removed useless property 2024-02-09 18:31:34 -06:00
Dmitriy Ryajov d5eaef89c3
cleanup 2024-02-09 18:31:33 -06:00
Dmitriy Ryajov 26b9b9f3cf
cleanup 2024-02-09 18:31:20 -06:00
Dmitriy Ryajov d85b89a7c7
re-enable samper tests 2024-02-09 18:31:18 -06:00
Dmitriy Ryajov dff9e0dbb7
rework sampler tests 2024-02-09 18:31:07 -06:00
Dmitriy Ryajov bb53e7a826
generate correct example proof 2024-02-09 18:31:07 -06:00
Dmitriy Ryajov 5dc14b50e9
fix tests 2024-02-09 18:31:07 -06:00
Dmitriy Ryajov d08b2cd6bc
add tests for prover 2024-02-09 18:30:55 -06:00
Dmitriy Ryajov 4cfb707180
add test using real samples 2024-02-09 18:30:40 -06:00
Dmitriy Ryajov dda550f8ed
misc 2024-02-09 18:30:27 -06:00
Dmitriy Ryajov 07c6c88597
cleanup and proper inputs structure 2024-02-09 18:30:27 -06:00
Dmitriy Ryajov 242461b2da
add circuit static params and adjust input sizes (wip) 2024-02-09 18:30:26 -06:00
Dmitriy Ryajov e045062620
enable case objects field checks 2024-02-09 18:30:05 -06:00
Dmitriy Ryajov 6f4aa017e9
imports 2024-02-09 18:30:05 -06:00
Dmitriy Ryajov 4c4f64de0e
pass prover options 2024-02-09 18:30:05 -06:00
Dmitriy Ryajov e4d06d9f0e
dissable prover for now 2024-02-09 18:29:32 -06:00
Dmitriy Ryajov d3c0667616
misc 2024-02-09 18:29:32 -06:00
Dmitriy Ryajov df684302f6
wip: wire in prover 2024-02-09 18:29:32 -06:00
Dmitriy Ryajov 29d4ff5556
wip wire in prover and circom config 2024-02-09 18:29:18 -06:00
Dmitriy Ryajov bf8e27317a
misc 2024-02-09 18:29:18 -06:00
Dmitriy Ryajov b949e5001f
remove unneded files 2024-02-09 18:29:18 -06:00
Dmitriy Ryajov 856c2b9dc0
wip merge master 2024-02-09 18:29:17 -06:00
Dmitriy Ryajov 9b390cb152
ignore debug symbols 2024-02-09 18:29:17 -06:00
Dmitriy Ryajov c003b5c7a5
test backends 2024-02-09 18:29:06 -06:00
Dmitriy Ryajov e7be0b956c
move tests to subdirectory 2024-02-09 18:29:06 -06:00
Dmitriy Ryajov 349be069cc
move fixtures to top level 2024-02-09 18:29:06 -06:00
Dmitriy Ryajov de140b7333
init prover 2024-02-09 18:28:43 -06:00
Dmitriy Ryajov 8de2d6d35a
add circom file config options 2024-02-09 18:28:43 -06:00
Dmitriy Ryajov 532e45b951
add prover 2024-02-09 18:28:32 -06:00
Dmitriy Ryajov cc6ebe9123
init node 2024-02-09 18:28:32 -06:00
Dmitriy Ryajov 24c57c9109
move prover logic from node 2024-02-09 18:28:31 -06:00
Dmitriy Ryajov 0da9d51213
rework circom compat 2024-02-09 18:28:15 -06:00
Dmitriy Ryajov 30ab88572d
add tests for circom backend 2024-02-09 18:27:57 -06:00
Dmitriy Ryajov b50e46211c
remove zkey file 2024-02-09 18:27:56 -06:00
Dmitriy Ryajov 959baafd6c
make more egonomic 2024-02-09 18:27:54 -06:00
Dmitriy Ryajov b148a4ecf7
pass proper input 2024-02-09 18:27:43 -06:00
Dmitriy Ryajov bad533e329
drop files 2024-02-09 18:27:18 -06:00
Dmitriy Ryajov 29e884258c
wip rework backend 2024-02-09 18:27:16 -06:00
Dmitriy Ryajov 9697b669e3
wip 2024-02-09 18:25:46 -06:00
Dmitriy Ryajov 3df3b6736c
bump nimbus build system 2024-02-09 18:24:58 -06:00
Dmitriy Ryajov 6c629cfe61
moving prover around 2024-02-09 18:24:36 -06:00
Dmitriy Ryajov 18907e6801
wip 2024-02-09 18:24:10 -06:00
Dmitriy Ryajov 134724f91a
generify sampler and builder 2024-02-09 18:24:08 -06:00