| .. |
|
bltprf
|
14d341970f
mv script/research/{bltprf, groth16} script/research/zk/
|
3 years ago |
|
ecip
|
d27a525537
ecip zk: fix div for odd number of points
|
3 years ago |
|
ecip-bench
|
5ce5bf4416
chore: Update halo2 crates
|
2 months ago |
|
fft
|
fd2459ecef
research/fft: alternative to finding extension fields containing root of unity
|
1 year ago |
|
groth16
|
723df2b19c
[research] add sage implementation of R1CS->QAP (#190)
|
3 years ago |
|
binary-quadratic-forms.sage
|
41824e5fdd
add a comment to binary quadratic forms example
|
3 years ago |
|
bootle16.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
circle-stark.sage
|
c7c551ce8a
research/zk: circle-stark.sage
|
1 year ago |
|
curve_tree.sage
|
fba6eb966f
curve_tree.sage correct type
|
3 years ago |
|
curve_tree_proofs.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
fft.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
finite_fields
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
groth16.sage
|
721e1e787f
zk: simple groth16 example
|
3 years ago |
|
groth_inner_product.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
groth_poly_commit.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
groth_poly_commit.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
halo1.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
halo2.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
lookup.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
misc.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
multipoly.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
nova-fold.sage
|
edc788d155
nova IVC impl
|
3 years ago |
|
nova-ivc.sage
|
62a2d0bc50
zk: simplified nova proof
|
3 years ago |
|
nova-simplified.sage
|
541858e021
zk: add forgotten z public output values
|
3 years ago |
|
pasta.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
plonk-naive.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
plonk-simple.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
plonk.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
plonk_kate.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
polynomial_evalrep.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
sonic.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
sonic.sage
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
|
sumcheck.sage
|
e0a49ba316
zk: sumcheck.sage
|
2 years ago |
|
test.py
|
67050d9e1c
add fft sage impls and rename halo dir to zk
|
3 years ago |
x
5ce5bf4416
chore: Update halo2 crates