Well, more details about it are out. It looks like the library worked correctly, but in this case the devs forgot to check something (that the curve had the rig

Well, more details about it are out. It looks like the library worked correctly, but in this case the devs forgot to check something (that the curve had the right params). No amount of writing it in a "theorem proving" language can save you if you don't have the actual specification for the problem itself right.