Re: [Cryptix-users] Formal Proof

[Tobias S. <to...@kn...>]

Hi,

there is no formal proof. Actually, if you require one, you should
prepare to spend a lot of $$$. An open source project will get you
nowhere with requirements like this.

Tobias

silviu andrica wrote:
> Hello everybody!
>   I am new to Cryptix and I plan on using it in a project. But, I can
> only use it if Cryptix has a formal proof of its correctness with
> respect to its Java source code. Also, if this is not the case, can
> someone, please, point me to
> a library/class that has such a formal proof?
> 
> Best regards,
>   Silviu