Commit Graph

610 Commits

Author SHA1 Message Date
Dmitriy Ryajov c480e4a750
use odd slots 2024-02-07 21:05:45 -06:00
Dmitriy Ryajov 8a3bb9602d
cleanup 2024-02-07 21:05:44 -06:00
Dmitriy Ryajov 0d0fe0cc7a
re-enable samper tests 2024-02-07 21:05:42 -06:00
Dmitriy Ryajov 393c2aaa8a
add helper to unmarshal circom inputs 2024-02-07 21:05:28 -06:00
Dmitriy Ryajov a895faf873
rework sampler tests 2024-02-07 21:05:03 -06:00
Dmitriy Ryajov 98f1a69368
generate correct example proof 2024-02-07 21:04:28 -06:00
Dmitriy Ryajov 12a9a73df8
fix tests 2024-02-07 21:04:27 -06:00
Dmitriy Ryajov bb599a662a
bump circom 2024-02-07 21:04:27 -06:00
Dmitriy Ryajov 1dcfc17cce
bump circom compat ffi 2024-02-07 21:04:27 -06:00
Dmitriy Ryajov b0a963755c
add tests for prover 2024-02-07 21:04:16 -06:00
Dmitriy Ryajov d87dfed307
add test using real samples 2024-02-07 21:04:15 -06:00
Dmitriy Ryajov 48faccb833
misc 2024-02-07 21:03:59 -06:00
Dmitriy Ryajov da7a6a6712
use `Proof.init` 2024-02-07 21:03:59 -06:00
Dmitriy Ryajov 96811ca86f
cleanup and proper inputs structure 2024-02-07 21:03:57 -06:00
Dmitriy Ryajov d75bffede0
add circuit static params and adjust input sizes (wip) 2024-02-07 21:03:34 -06:00
Dmitriy Ryajov 7cf4a72025
enable case objects field checks 2024-02-07 21:03:34 -06:00
Dmitriy Ryajov 1c0981a642
imports 2024-02-07 21:03:33 -06:00
Dmitriy Ryajov 1487ccabf4
pass prover options 2024-02-07 21:03:33 -06:00
Dmitriy Ryajov 077a4bf29a
wip adding prover tests 2024-02-07 21:03:09 -06:00
Dmitriy Ryajov 2d1226d669
rename tests 2024-02-07 21:02:46 -06:00
Dmitriy Ryajov eddae1c329
dissable prover for now 2024-02-07 21:02:46 -06:00
Dmitriy Ryajov e8693b7b66
misc 2024-02-07 21:02:45 -06:00
Dmitriy Ryajov c5c60ba9ff
misc 2024-02-07 21:02:45 -06:00
Dmitriy Ryajov af7dcbc422
wip: wire in prover 2024-02-07 21:02:45 -06:00
Dmitriy Ryajov 045224bb13
add default samples number 2024-02-07 21:02:45 -06:00
Dmitriy Ryajov cfd6e7f863
wip wire in prover and circom config 2024-02-07 21:02:45 -06:00
Dmitriy Ryajov 0a9af5ceff
misc 2024-02-07 21:02:44 -06:00
Dmitriy Ryajov ff59c45a51
pass number of samples to prover 2024-02-07 21:02:25 -06:00
Dmitriy Ryajov 697b69e349
remove unneded files 2024-02-07 21:01:40 -06:00
Dmitriy Ryajov 10af9dcda6
wip merge master 2024-02-07 21:01:38 -06:00
Dmitriy Ryajov f44d3a2b59
ignore debug symbols 2024-02-07 21:00:40 -06:00
Dmitriy Ryajov 71c876ce3f
rename test suite 2024-02-07 21:00:40 -06:00
Dmitriy Ryajov c62ecaf105
test backends 2024-02-07 21:00:40 -06:00
Dmitriy Ryajov 3ec6fe21b3
move tests to subdirectory 2024-02-07 21:00:40 -06:00
Dmitriy Ryajov 4748e2a4af
move fixtures to top level 2024-02-07 21:00:39 -06:00
Dmitriy Ryajov d72e208fd0
add circom compat tests 2024-02-07 21:00:37 -06:00
Dmitriy Ryajov b82b5966a2
init prover 2024-02-07 21:00:04 -06:00
Dmitriy Ryajov 4fad61955e
add circom file config options 2024-02-07 21:00:04 -06:00
Dmitriy Ryajov c058a4e06f
remove generic types 2024-02-07 21:00:03 -06:00
Dmitriy Ryajov 5e234e7604
add prover 2024-02-07 21:00:03 -06:00
Dmitriy Ryajov 23c170ce46
init node 2024-02-07 21:00:03 -06:00
Dmitriy Ryajov 6d514df503
expose circom backend 2024-02-07 21:00:03 -06:00
Dmitriy Ryajov 9e78970b21
move prover logic from node 2024-02-07 21:00:03 -06:00
Dmitriy Ryajov 79088c2383
rework circom compat 2024-02-07 21:00:02 -06:00
Dmitriy Ryajov 5f0d214f32
bump circom ffi 2024-02-07 20:59:48 -06:00
Dmitriy Ryajov 5caa65aad8
add tests for circom backend 2024-02-07 20:59:47 -06:00
Dmitriy Ryajov 0ec32d19b3
remove zkey file 2024-02-07 20:59:47 -06:00
Dmitriy Ryajov f20218d92a
make more egonomic 2024-02-07 20:59:23 -06:00
Dmitriy Ryajov 9f1ec4b02f
pass proper input 2024-02-07 20:59:23 -06:00
Dmitriy Ryajov e62b5c918a
bump circom ffi 2024-02-07 20:59:22 -06:00