HaRold
HaRold
Instead of storing the whole tree in-memory, the Python implementation should be able to store the nodes on-disk using a fast key-value store. This will allow for tree sizes to...
The 'MCL' library may be faster: https://github.com/herumi/mcl
As per: https://github.com/QED-it/zkinterface This provides a standardised interface for calling gadgets, exporting their constraints and witness etc
This allows us to use the [websnark](https://github.com/iden3/websnark) prover, which seems to be faster than the libsnark based prover built with Emscripten. For circuits, we would still have to build a...
I think it's a good idea to be able to bundle the proving and verification keys together with specific builds of ethsnarks based projects. To do this, there would be...
See: * https://eprint.iacr.org/2010/005.pdf * https://eprint.iacr.org/2015/421.pdf * https://koclab.cs.ucsb.edu/teaching/cren/project/2018/BistarkeyRez.pdf * https://eprint.iacr.org/2015/1114.pdf * https://www.iacr.org/workshops/ches/ches2013/presentations/CHES2013_Session6_2.pdf This could potentially speed-up point multiplication by using an 'efficiently computable endomorphism', using the GLV method, by reducing the...
The following papers cover this: * [A note on twists for pairing friendly curves](http://indigo.ie/~mscott/twists.pdf) *https://crypto.stackexchange.com/questions/48236/pairing-on-fourq * https://www.semanticscholar.org/paper/Another-approach-to-pairing-computation-in-Edwards-Ionica-Joux/d4539b7421ecf58e619d622637e506e67d761140 - [Another approach to pairing computation in Edwards coordinates.pdf](https://github.com/HarryR/ethsnarks/files/2848587/Another.approach.to.pairing.computation.in.Edwards.coordinates.pdf) * https://www.semanticscholar.org/paper/Pairing-computation-on-Edwards-curves-with-twists-Li-Wu/50a4df4c7a69341284e87821d95785af4b4ccd4b - [2012-532.pdf](https://github.com/HarryR/ethsnarks/files/2848583/2012-532.pdf)...
I tried to make Crypto.Hash.keccak available as a fallback when `pysha3` isn't installed. However, one person ran into an issue: https://github.com/HarryR/ethsnarks-miximus/issues/4#issuecomment-480538504 It seems that the interface for `keccak` provided by...
The `EdDSA.sol` file doesn't have any tests for it, it also seems to be incompatible for the following reasons: * `JubJub.Generator()` is different compared to the one in `jubjub.py` *...