Daira-Emma Hopwood
Daira-Emma Hopwood
Credit to @ebfull for originally spotting this.
It seems as though points in proofs are checked during verification (e.g. [here for r1cs_ppzksnark](https://github.com/scipr-lab/libsnark/blob/master/src/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.tcc#L556)), which may be sufficient. It would still be nice to be able to double-check that...
See also #61, which should not have been closed.
Are we sure it is ``long long`` (rather than ``long``) that is 32 bits? C99 requires ``long long`` to be at least 64 bits.
[size_t is 64 bits on Win64.](https://msdn.microsoft.com/en-us/library/3b2e7499.aspx)
New location of the Booher square roots paper https://www.math.arizona.edu/~jeremybooher/expos/sqr_qnr.pdf
For specific applications, it may be useful to provide an optimized addition-subtraction [*] chain. This is because such a chain for a given scalar and field (especially where the field...
Well, [chapter 3 of the Unicode Standard](https://www.unicode.org/versions/Unicode13.0.0/ch03.pdf) is pretty clear that this is nonconformant to that standard: 
> It doesn't handle generic types at the moment but I am hopeful that it would be possible to make that work and be equivalently easy to use. For Zcash...
> > We want to deploy the new relaying rules in ZIP-317 after most wallets have updated to the new conventional fee. > > 'The eviction weight is already proportional...