Public proof record · organization
Who is responsible for the claim
DreggNet is built in public by Lunar Town LLC.
The software, this site, and @DreggNet are operated by Lunar Town LLC. Ember Arlynx is its principal and dregg’s lead protocol and proof engineer.
01
The work
A proof-native computer, built with agents.
dregg is the convergence of Ember’s work in programming languages, zero-knowledge systems, protocol engineering at O(1) Labs, capability security, games, and seL4. Its semantic core is authored in Lean; Rust, GPUs, cryptographic runtimes, and network services implement and accelerate it.
Claude, Codex, Fable, and other agentic collaborators have authored, reviewed, falsified, and repaired substantial parts of the system. The durable proof and implementation record lives in the public repository, not in private claims about who wrote which line.
02
Public identity
One organization, one inspectable record.
- Organization
- Lunar Town LLC
- Product / brand
- DreggNet (“dregg”)
- Principal
- Ember Arlynx
- Website
- www.dregg.net
- X account
- @DreggNet
- Contact
- ember@lunar.town
- Technical record
- the dense twin