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
10,961 Commits 12 Branches 11 Tags
mempool
Commit Graph

41 Commits

Author SHA1 Message Date
x
9785777642 chore: Update copyright license year 
Happy 2026!
 2026-01-01 11:40:45 +00:00
x
add9bb596c chore: Update crate dependencies 2025-12-25 12:22:56 +00:00
parazyd
fda2a84034 chore: Update dependencies 2025-08-05 09:41:05 +02:00
darkfi
fd2459ecef research/fft: alternative to finding extension fields containing root of unity 2025-05-15 15:17:33 +02:00
darkfi
c7c551ce8a research/zk: circle-stark.sage 2025-03-02 21:42:33 +01:00
parazyd
604f443fd1 chore: Update license header year 2025-01-24 10:36:02 +01:00
parazyd
b5d7c52191 chore: Update crate dependencies 2025-01-21 14:21:32 +01:00
darkfi
e0a49ba316 zk: sumcheck.sage 2024-07-17 15:16:08 +02:00
foo
4eba00236d clippy: add suggested clippy lints to top-level Cargo.toml and enable 
clippy linting at the workspace level for all crates

Configure all workspaces to use lints from the top-level Cargo.toml
  file
Add example lints that the project could configure to improve security
  and reliability.
Configure lints to warn level. Using deny level makes other binaries
fail to compile if even one of them has a failure.
No lints are added in this commit. Future changes can enable and fix
lints
 2024-06-09 10:35:09 -04:00
zero
7ada52b28b rename mod_r_p() -> fp_mod_fv(), and mod_p_r_unsafe() -> fv_mod_fp_unsafe() 2024-01-23 16:36:19 +01:00
parazyd
0e6f51e895 chore: Update copyright year in license headers 2024-01-16 13:07:22 +01:00
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