FiLeLuYa

Encrypted. Reactive. Quantum-Ready.

A secure filesystem where files react to each other like spreadsheet cells. Every change is signed with hybrid post-quantum cryptography. Share with per-file encryption. Earn honor for work that gets reused.

Download Get Started

574+ Tests

22 LEAN4 Proofs

4 Crates Published

From Install to Encrypted in 60 Seconds

fileluya

$ cargo install fileluya
   Compiling fileluya v0.1.0
   Installed to ~/.cargo/bin/fileluya

$ fileluya setup
  Step 1: Create a passphrase (minimum 12 characters)
  Step 2: Generating encryption keys...
  Ed25519 signing key:  a1b2c3d4...e5f6g7h8
  X25519 exchange key:  i9j0k1l2...m3n4o5p6
  Config saved to ~/.fileluya/config.toml

$ fileluya mount
  FiLeLuYa mounted at ~/FiLeLuYa (PID 42871)

$ echo "hello world" > ~/FiLeLuYa/doc.txt
$ fileluya status
  ~/FiLeLuYa  mounted  PID 42871  cache: ~/.fileluya/cache

Three Steps to Secure Files

Get started in under a minute. Install, mount, and your files are encrypted.

Install

cargo install fileluya

Setup + Mount

fileluya setup    # creates keys + config
fileluya mount    # mounts ~/FiLeLuYa

Use

echo "hello" > ~/FiLeLuYa/doc.txt
cat ~/FiLeLuYa/doc.txt
# → hello

Built for Real Security

Post-quantum cryptography, reactive files, and distributed collaboration.

🔒

Encrypted

XChaCha20-Poly1305 encryption with hybrid post-quantum key exchange. Your data is encrypted client-side — the server never sees plaintext.

⚡

Reactive

Files act like spreadsheet cells. Link them together with .forge files and they automatically respond when dependencies change.

👥

Shared

Per-file, per-key sharing. Wrap file keys with recipient public keys. Automatic key rotation when members are removed.

📋

Auditable

Every edit carries a tamper-proof receipt. Hybrid signatures (Ed25519 + ML-DSA) prove exactly who changed what and when.

🛡️

Quantum-safe

Hybrid cryptography combining classical (X25519, Ed25519) with post-quantum (ML-KEM-768, ML-DSA-65). Both must be broken.

📦

Open Source

MIT licensed. 568+ tests, 22 LEAN4 theorems proven. 4 crates published on crates.io. Built with Rust.

How FileLuYa Compares

A fundamentally different approach to file security and collaboration.

	Keybase	Dropbox	Blockchain	FileLuYa
Encryption	E2E	Server-side	Varies	Hybrid post-quantum E2E
Files	Static blobs	Static blobs	N/A	Reactive cells
Conflicts	Last-writer-wins	Conflict copies	N/A	Knows WHY, resolves intelligently
Trust	Social proofs	None	Stake = power	Conserved honor
Sharing	Folder-level	Folder-level	N/A	Per-file, per-key
Rewards	None	None	Mining/staking	Reuse-based, vested
Post-quantum	No	No	Mostly no	Yes (ML-KEM + ML-DSA)

Get FileLuYa

Available on all major platforms. Built with Rust for performance and safety.

 macOS 🐧 Linux 💻 Windows

Or install from source: cargo install fileluya