| .. |
|
bltprf
|
14d341970f
mv script/research/{bltprf, groth16} script/research/zk/
|
пре 3 година |
|
ecip
|
d27a525537
ecip zk: fix div for odd number of points
|
пре 3 година |
|
ecip-bench
|
7ada52b28b
rename mod_r_p() -> fp_mod_fv(), and mod_p_r_unsafe() -> fv_mod_fp_unsafe()
|
пре 2 година |
|
fft
|
db13a21413
pallas_base FFT test
|
пре 3 година |
|
groth16
|
723df2b19c
[research] add sage implementation of R1CS->QAP (#190)
|
пре 3 година |
|
binary-quadratic-forms.sage
|
41824e5fdd
add a comment to binary quadratic forms example
|
пре 3 година |
|
bootle16.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
curve_tree.sage
|
fba6eb966f
curve_tree.sage correct type
|
пре 3 година |
|
curve_tree_proofs.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
fft.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
finite_fields
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
groth16.sage
|
721e1e787f
zk: simple groth16 example
|
пре 3 година |
|
groth_inner_product.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
groth_poly_commit.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
groth_poly_commit.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
halo1.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
halo2.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
lookup.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
misc.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
multipoly.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
nova-fold.sage
|
edc788d155
nova IVC impl
|
пре 3 година |
|
nova-ivc.sage
|
62a2d0bc50
zk: simplified nova proof
|
пре 3 година |
|
nova-simplified.sage
|
541858e021
zk: add forgotten z public output values
|
пре 3 година |
|
pasta.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
plonk-naive.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
plonk-simple.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
plonk.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
plonk_kate.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
polynomial_evalrep.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
sonic.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
sonic.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
|
test.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
пре 3 година |
zero
7ada52b28b
rename mod_r_p() -> fp_mod_fv(), and mod_p_r_unsafe() -> fv_mod_fp_unsafe()