Dmitriy Ryajov
|
4648c863f5
|
wip
|
2024-02-09 14:48:44 -06:00 |
|
Dmitriy Ryajov
|
b88e7c6b40
|
wire in circom backend
|
2024-02-09 14:45:17 -06:00 |
|
Dmitriy Ryajov
|
d1a48605e3
|
rework sampler & builder to support correct padding and block selection
|
2024-02-07 21:05:46 -06:00 |
|
Dmitriy Ryajov
|
d95b4a7941
|
merge master
|
2024-02-07 21:05:45 -06:00 |
|
Dmitriy Ryajov
|
70ffc8be93
|
misc
|
2024-02-07 21:05:45 -06:00 |
|
Dmitriy Ryajov
|
dc2672cdd6
|
removed useless property
|
2024-02-07 21:05:45 -06:00 |
|
Dmitriy Ryajov
|
1cecb51087
|
cleanup
|
2024-02-07 21:05:45 -06:00 |
|
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 |