github/darkfi
1
1
Fork 0
mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-04-28 03:00:18 -04:00
Code Issues Packages Projects Releases Wiki Activity
7,269 Commits 12 Branches 11 Tags
c227aecd0225980aaa1dfd206d36539ac2cb5fbd
Commit Graph

30 Commits

Author SHA1 Message Date
x
541858e021 zk: add forgotten z public output values 2023-08-16 09:10:37 +02:00
x
62a2d0bc50 zk: simplified nova proof 2023-08-16 09:00:09 +02:00
x
edc788d155 nova IVC impl 2023-08-15 17:27:06 +02:00
greptile
723df2b19c [research] add sage implementation of R1CS->QAP (#190) 
Add sage code that runs through the Groth16 R1CS --> QAP conversion
contained in the article
"R1CS and QAP - From Zero to Hero with Finite Fields & sagemath"
https://risencrypto.github.io/R1CSQAP/

Co-authored-by: y <y>
 2023-08-14 14:50:29 +02:00
x
3abe9c8e9d zk: prelim nova impl 2023-08-13 20:35:29 +02:00
parazyd
aee3299e05 script/research: Add missing AGPL headers to .rs files. 2023-08-11 13:26:29 +02:00
x
721e1e787f zk: simple groth16 example 2023-08-11 12:49:02 +02:00
x
fba6eb966f curve_tree.sage correct type 2023-07-03 16:35:46 +02:00
x
d27a525537 ecip zk: fix div for odd number of points 2023-05-28 14:15:37 +02:00
parazyd
b4cdbea08c Update project dependencies. 2023-04-16 17:36:59 +02:00
parazyd
361571ff15 research/ecip-bench: Alternative working circuit. 2023-04-06 11:53:39 +02:00
x
331e062ba8 ecip benchmark add broken testoid 2023-04-06 07:59:30 +02:00
x
a532230693 ECIP row construct.sage 2023-03-15 07:27:30 +01:00
x
65f11bf233 divisor construction algos 2023-03-14 09:55:46 +01:00
x
6604d52d5c split up div.sage 2023-03-14 09:03:10 +01:00
x
6786f51555 ECIP proof 2023-03-10 14:46:30 +01:00
x
41824e5fdd add a comment to binary quadratic forms example 2023-03-10 09:41:01 +01:00
x
2dafb9fd24 add binary quadratic forms example 2023-03-10 09:37:51 +01:00
x
256288521e print final form 2023-03-09 17:47:39 +01:00
x
2d978d5245 use the paper's div construction 2023-03-09 16:55:17 +01:00
x
a35daa7b05 div2 2023-03-09 14:16:42 +01:00
x
14d341970f mv script/research/{bltprf, groth16} script/research/zk/ 2023-01-18 10:18:49 +01:00
x
db13a21413 pallas_base FFT test 2023-01-16 20:47:08 +01:00
x
127f6938a7 improve benchmarking quality 2023-01-16 19:11:06 +01:00
x
d21be4152e use sage K.multiplicative_generator() function 2023-01-16 18:37:27 +01:00
x
dceee8530b fix bug1 2023-01-16 18:16:03 +01:00
x
9376389beb fft benchmarking 2023-01-16 17:58:55 +01:00
x
c5f03e0a2c try to break algo 2023-01-16 17:20:54 +01:00
x
e6b02bf91a add commented lines with higher degree polys for ppl to try out 2023-01-16 13:02:37 +01:00
x
67050d9e1c add fft sage impls and rename halo dir to zk 2023-01-16 12:55:44 +01:00