|
|
@@ -1,15 +1,25 @@
|
|
|
# Research
|
|
|
|
|
|
DarkFi maintains a public resource of zero-knowledge and math research
|
|
|
-in the [script/research](../../../script/research) directory of
|
|
|
+in the [script/research](https://github.com/darkrenaissance/darkfi/tree/master/script/research) directory of
|
|
|
the repo.
|
|
|
|
|
|
It features simple sage implementations of zero-knowledge algorithms
|
|
|
and math primitives, including but not limited to:
|
|
|
|
|
|
-* [Halo](../../../script/research/halo/halo)
|
|
|
-* [Groth16](../../../script/research/groth16)
|
|
|
-* [Poseidon hash](../../../script/research/poseidon)
|
|
|
-* [Bulletproofs](../../../script/research/bltprf)
|
|
|
-* [RSA accumulators](../../script/research/rsa_accum.sage)
|
|
|
-* [Finite fields](../../script/research/finite_fields)
|
|
|
+* [ZK](https://github.com/darkrenaissance/darkfi/tree/master/script/research/zk)
|
|
|
+ * [bootle16](https://github.com/darkrenaissance/darkfi/blob/master/script/research/zk/bootle16.py)
|
|
|
+ (precursor to sonic)
|
|
|
+ * [sonic](https://github.com/darkrenaissance/darkfi/blob/master/script/research/zk/sonic.sage)
|
|
|
+ * [plonk](https://github.com/darkrenaissance/darkfi/blob/master/script/research/zk/plonk.sage)
|
|
|
+ * [halo1](https://github.com/darkrenaissance/darkfi/blob/master/script/research/zk/halo1.sage) and
|
|
|
+ [halo2](https://github.com/darkrenaissance/darkfi/blob/master/script/research/zk/halo2.sage)
|
|
|
+ * [curve trees](https://github.com/darkrenaissance/darkfi/blob/master/script/research/zk/curve_tree.sage)
|
|
|
+ * [FFT](https://github.com/darkrenaissance/darkfi/tree/master/script/research/zk/fft)
|
|
|
+ * [groth16](https://github.com/darkrenaissance/darkfi/tree/master/script/research/zk/groth16)
|
|
|
+ * [bulletproofs](https://github.com/darkrenaissance/darkfi/tree/master/script/research/zk/bltprf)
|
|
|
+* [Poseidon hash](https://github.com/darkrenaissance/darkfi/tree/master/script/research/poseidon)
|
|
|
+* [x3dh](https://github.com/darkrenaissance/darkfi/tree/master/script/research/x3dh)
|
|
|
+ double ratchet algorithm used in signal.
|
|
|
+* [Various EC math](https://github.com/darkrenaissance/darkfi/tree/master/script/research/ec)
|
|
|
+ such as valuations, riemann-roch basis, hyperelliptic curves, divisor reduction.
|
