Atur cara mengikut senier.net/libsparkcrypto

Pelaksanaan algoritma kriptografi yang disahkan secara rasmi menggunakan bahasa pengaturcaraan SPARK. Untuk bukti perpustakaan yang lengkap tentang ketiadaan kesilapan masa jalanan disediakan. Beberapa subprogramnya termasuk