a2743dcaeb
The 'aes_cbc_4k' library is simple wrapper around libsparkcrypto to serve as a backend for storage encryption. It operates on data chunks of 4 KiB and uses AES-CBC while incorporating the block number and the private key as salt values.
3 lines
62 B
Plaintext
3 lines
62 B
Plaintext
pragma SPARK_Mode (On);
|
|
pragma Check_Policy (Debug, Disable);
|