We’re a small cypherpunk ethos lab. We build quietly. We publish what can be checked. We don’t ask for trust. law is code, code is math (in our case), math never lies. Principles Verify, don’t trust. If it matters, someone else should be able to reproduce the claim. Minimize assumptions. Every hidden dependency is a future failure mode. Determinism where it counts. Same inputs, same outcomes—otherwise it’s not a reliable machine. Security should degrade gracefully. Networks fail. Power fails. People are messy. Systems should survive that. Simple edges. Clear interfaces. Clear formats. Clear invariants. Ship + document. If it can’t be explained, it can’t be audited. If it can’t be audited, it can’t be trusted. Privacy baked in. We collect only what's necessary, default to private settings, and give users clear control over their data. What we work on Cryptography (primitives, protocols, threat models, hardening) Formal methods (proofs, invariants, verification pipelines) Deterministic systems (reproducible computation, auditability, robust interfaces) Offline integrity (systems that remain honest under partial connectivity)