Tarafından Programlar senier.net/libsparkcrypto

SPARK programlama dilini kullanarak şifreleme algoritmalarının resmi olarak doğrulanmış bir uygulaması. Çalışma zamanı hatalarının yokluğuna dair tam kitaplık kanıtları kullanılabilir. Alt programlarından bazıları kısmi doğru