The Perfect Computer provides a fully open‑source, memory‑safe computing stack built on Rust, covering a Rust kernel, a self‑hosting Rust compiler powered by Cranelift, and formally verified silicon components authored in Clash Haskell. The platform also offers auditable firmware, Cargo integration, and a native egui‑based GUI, enabling systems programmers, hardware architects, and security‑focused organizations to develop and verify hardware and software without proprietary toolchains.
Funding
Funding not disclosed
Founders
Product
Problem
Existing computing platforms often combine proprietary software toolchains with closed-source silicon, creating attack surfaces such as firmware backdoors and memory-unsafe kernels. Developers and security engineers lack a fully auditable stack that guarantees memory safety from the operating system down to the hardware logic.
Solution
The Perfect Computer delivers an end‑to‑end open‑source computing stack centered on Rust for memory safety and modern performance. It includes a self‑hosting Rust compiler that replaces traditional binutils with Cranelift, enabling compilation without external toolchains. The kernel is written in Rust, providing compile‑time guarantees against common memory errors. Digital logic components are designed in Clash Haskell and formally verified using Liquid Haskell, Coq, and ADGA, ensuring correctness at the silicon level. Firmware for the physical layer is fully auditable, allowing independent inspection for hidden functionality. The stack integrates Cargo as the package manager and offers a native GUI built with egui that matches modern desktop aesthetics. All components are released under permissive open‑source licenses to facilitate community review and reuse.
Target Audience
The primary users are systems programmers, hardware architects, and security‑focused organizations that require a fully open, verifiable computing platform from kernel to silicon. Academic researchers and open‑source enthusiasts building custom hardware or secure embedded devices also benefit from the stack.
Features
- Memory‑safe operating system kernel implemented entirely in Rust, eliminating buffer overflows and use‑after‑free bugs.
- Self‑hosting Rust compiler powered by Cranelift, removing dependence on external GCC or LLVM toolchains.
- Open‑source silicon library authored in Clash Haskell, with formal verification pipelines using Liquid Haskell, Coq, and ADGA to prove functional correctness.
- Auditable PHY firmware with transparent source code, enabling security audits for backdoor detection.
- Integrated Cargo package manager for seamless Rust crate distribution across the stack.
- Cross‑platform GUI built with egui, providing a responsive desktop experience without Electron dependencies.
- FastWave VCD parser written in Rust, serving as the backend for a waveform viewer that can dynamically load user‑provided analysis modules.