eLyKseeR cryptographic data archive

drops on water surface

Distribute encrypted chunk files

When backing up files, their data are spread over assemblies and encrypted. These assemblies are broken up into chunk files of 256 kB in size. These chunk files can be distributed to different storage medium for long term archiving. A copy of chunks can be made to a number of

bees on beatiful flowers

Example using binary releases

Starting with version v0.9.12 we are releasing precompiled binaries for various platforms and architectures. See our Github site: https://github.com/eLyKseeR/elykseer-ml/releases Preparations Extract the zip of downloaded binaries to a directory and point the environment variable at them: export LXR_BINARIES=${HOME}/Downloads/Darwin_arm64

containers on ship

Executable eLyKseeR Docker image

Fast ramp-up with our Docker image for Coq/OCaml development of eLyKseeR.

Abundant containers on ship

Docker development image

Fast ramp-up with our Docker image for Coq/OCaml development of eLyKseeR.

What are the use cases?

What are the use cases?

Use cases of eLyKseeR

00 news Featured

Welcome

This is the documentation site for https://github.com/eLyKseeR - a cryptographic data archive. I got inspired by this article: https://zzamboni.org/post/hosting-a-ghost-blog-in-github/ which describes how to dump a "ghost" site to Github pages. Content here will be kept up-to-date which means it can also

Source code

The code for eLyKseeR is organised in a few repositories on Github.

Formal verification

Formal verification

About formal specification of software in Coq/Rocq.

Coming soon

we are working on * filesystem access (fuse?) * GUI - a web-based user interface