Vadym Fedyukovych

Base field declared as my_Fp for parent gadget() class prevents verifying exponentiation in a base (prime) field. For prime fields, it could be explicitly defined that base field is the...

Russian references on isogenies

1

I'm looking at the ["автореферат"](http://www.ict.edu.ru/ft/002283/avref_rst.pdf) of Rostovtsev (2002), ["Теоретическая криптография"](http://lib.mexmat.ru/books/31613) book by Rostovtsev and Makhovenko (2004), and ["автореферат"](http://vak.ed.gov.ru/az/server/php/filer.php?table=att_case&fld=autoref&key[]=100002660) of Aleksandrova-Makhovenko (2016). It is clear that sources above are challenging to...

Missing index of h_1: u_i = h_1^{\alpha_i} at Figure 16.

Modulus N was likely intended for calculating y_i = x_i^M at ProvePSF, Figure 15

To keep the documentation complete (avoiding the need to get Paillier encrypt/decrypt specification), one would include L(x) function definition: if N \not | (x-1) return wrong_ciphertext else return \frac {x-1}...