Technical Details
Welcome to the Technical Details section. This area contains comprehensive technical documentation, implementation details, and reference materials for the positive-intentions projects.
Overview
This section provides in-depth technical information for developers, contributors, and technical users who want to understand the inner workings of our systems.
Documentation Sections
Specification (Enkrypted Chat)
- Enkrypted Chat Specification: Hybrid technical specification and whitepaper — architecture, layered encryption, threat model, and limitations (initial draft, not audited)
Architecture & Infrastructure
- Architecture: Overview of the decentralized architecture approach, modules, and applications
- Decentralized Architecture: Decentralized microfrontend architecture for peer-to-peer applications
- Static Infrastructure with Module Federation: Using Webpack 5 Module Federation and AWS S3 for scalable chat app infrastructure
Security & Cryptography
- Cryptography Module: Comprehensive browser-based cryptographic library with Signal Protocol implementation
- Cascading Cipher Encryption: Building defense-in-depth encryption with a cascading cipher system combining multiple encryption algorithms
- P2P Signal Protocol: Adapting the Signal Protocol's X3DH key agreement and Double Ratchet algorithm for peer-to-peer messaging
- Signal Protocol Formal Verification: ProVerif and Hax/F*/Rocq/Lean formal verification of the Rust Signal Protocol implementation — Hax and F*, Hax and Rocq, Hax and Lean
- Quantum-Resistant Encryption: Implementation of quantum-resistant encryption using ML-KEM (CRYSTALS-Kyber) for post-quantum security
P2P & Messaging
- P2P Framework: Peer-to-peer networking framework and implementation
- P2P Messaging Technical Breakdown: Technical breakdown and roadmap for the P2P messaging implementation
Data & UI
- Data Structure: Blockchain-like structure for storing application data locally with CRDT implementation
- UI Component Library: Comprehensive React component library following atomic design principles for messaging applications