diff --git a/doc/src/crypto/research.md b/doc/src/crypto/research.md index b7d2d5958..a3abe3c45 100644 --- a/doc/src/crypto/research.md +++ b/doc/src/crypto/research.md @@ -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.