Those transaction don't get verified. Only Block.analyze() is called.
Right, they r not verified. If u figured out why they would return "false" u would find a lot of interesting things.
And you mean those few lines in the Crypto class that don't correspond to the usual sign/verification algorythm?
What lines do u mean?
I mean the sign() and verify() methods of the crypto class. The curve25519 class was not written by BCNext and he didn't change/verify those methods inside it.