![]() oxiRust + WASM Document EngineA Rust-powered document engine that runs everywhere — browser, desktop, and server. |
![]() hydeRust + TPM + PQC Security EngineHardware-backed data protection with post-quantum cryptography (ML-KEM-768). |
![]() argoRust + ZKP Proof EngineZero-Knowledge Proofs — prove statements about data without revealing the data. |
![]() platRust + FHE Compute EngineFully Homomorphic Encryption — compute on encrypted data without decrypting. |
oxi + hyde = H₂O
Oxygen (oxi) alone keeps you alive.
Add hydrogen (hyde) and you get water (H₂O).
oxi ships first. hyde completes it.
Hyde Ecosystem — 守る・証明する・計算する
Protect Prove Compute
┌───────────┐ ┌───────────┐ ┌───────────┐
│ hyde │───▶│ argo │───▶│ plat │
│ TPM+PQC │ │ ZKP │ │ FHE │
│ 守る │ │ 証明する │ │ 計算する │
└───────────┘ └───────────┘ └───────────┘Data Protection
At Rest In Transit In Use
✅ ✅ ❌ ← hyde
AES / dm-crypt TLS / HTTPS TPM + PQC (ML-KEM-768)"In use" data protection — filling the industry's last gap. Post-quantum ready — resistant to Harvest Now, Decrypt Later (HNDL) attacks.
Architecture
Browser (WASM) Desktop (Tauri) Server
┌──────────┐ ┌──────────────────┐ ┌─────────────┐
│ oxi │ │ oxi + hyde │ │ hyde │
│ (WASM) │ │ (integrated) │ │ (TPM-bound)│
└────┬─────┘ └──────┬───────────┘ └──────┬──────┘
│ │ │
│ Native Messaging │ Direct access │ /dev/tpmrm0
▼ ▼ ▼
┌──────────┐ ┌──────────┐ ┌──────────┐
│ hyde │ │ TPM 2.0 │ │ TPM 2.0 │
│(extension)│ └──────────┘ └──────────┘
└────┬─────┘
│
▼
┌──────────┐
│ TPM 2.0 │
└──────────┘Projects
| Project | Description | Status |
|---|---|---|
| oxi | Rust + WASM Document Engine | Coming soon |
| hyde | Rust + TPM + PQC Security Engine | Phase 1.5 — PQC complete |
| argo | Rust + ZKP Proof Engine | Early development |
| plat | Rust + FHE Compute Engine | Future design |
| ne | Rust + Kani Formal Verification Engine | 25 proofs verified, CVE detected |
Personal projects
View all- Loading
Loading
Info
5:50 AM
Member since August 02, 2020



