Open Source Β· Post-Quantum Β· MIT Licensed

Secure, encrypted
living files

KeyLeLuYa is a secure, encrypted system of living files. Only authorized people can read or contribute to protected content. Every change is auditable, and, like a spreadsheet, related content can automatically respond when any linked cell or file changes.

568+ Tests
22 LEAN4 Proofs
4 Crates Published

See It in Action

Three Steps to Secure Files

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

1

Install

cargo install --path crates-chirho/keyleluya-fuse-chirho
2

Mount

keyleluya mount ~/my-vault --cache-dir ~/.keyleluya
3

Use

echo "hello world" > ~/my-vault/doc.txt
ls ~/my-vault/
cat ~/my-vault/doc.txt

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 KeyLeLuYa Compares

A fundamentally different approach to file security and collaboration.

KeybaseDropboxBlockchainKeyLeLuYa
EncryptionE2EServer-sideVariesHybrid post-quantum E2E
FilesStatic blobsStatic blobsN/AReactive cells
ConflictsLast-writer-winsConflict copiesN/AKnows WHY, resolves intelligently
TrustSocial proofsNoneStake = powerConserved honor
SharingFolder-levelFolder-levelN/APer-file, per-key
RewardsNoneNoneMining/stakingReuse-based, vested
Post-quantumNoNoMostly noYes (ML-KEM + ML-DSA)

Get KeyLeLuYa

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

Or install from source: cargo install --path crates-chirho/keyleluya-fuse-chirho