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