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 |
|
Dmitriy Ryajov
|
65f5cdb62a
|
drop files
|
2024-02-07 20:59:22 -06:00 |
|
Dmitriy Ryajov
|
b0e5058d45
|
wip rework backend
|
2024-02-07 20:59:22 -06:00 |
|
Dmitriy Ryajov
|
0d3b18cb5e
|
wip
|
2024-02-07 20:59:18 -06:00 |
|
Dmitriy Ryajov
|
50766a8cf2
|
bump circom compat
|
2024-02-07 20:58:39 -06:00 |
|
Dmitriy Ryajov
|
b5808b5d48
|
bump nimbus build system
|
2024-02-07 20:58:39 -06:00 |
|
Dmitriy Ryajov
|
a2052a2052
|
don't export types
|
2024-02-07 20:58:07 -06:00 |
|
Dmitriy Ryajov
|
4fd07eb151
|
moving prover around
|
2024-02-07 20:57:32 -06:00 |
|
Dmitriy Ryajov
|
aba8abed0c
|
wip
|
2024-02-07 20:57:32 -06:00 |
|
Dmitriy Ryajov
|
653afb78c1
|
generify sampler and builder
|
2024-02-07 20:57:30 -06:00 |
|
Dmitriy Ryajov
|
12d6adf45f
|
adding circuits and circom compat
|
2024-02-07 20:55:20 -06:00 |
|
Dmitriy Ryajov
|
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
|
afec86b3cf
|
cleanup manifest and wire in strategy (#696)
|
2024-02-07 20:54:57 +00:00 |
Slava
|
1e957da109
|
CI update (#695)
* fix: update codecov action
* fix: remove nim v2 from Nim-matrix
|
2024-02-07 19:47:40 +00:00 |