F1R3FLY

help edit space_dashboard
Draft — This content has not been approved for publication.

← Back to Ecosystem

GitHub: github.com/F1R3FLY-io

Status: Active. AI-native execution layer for verifiable Web3 and agentic systems. Built on Rholang and rho calculus. Provides MeTTaTron compiler and MeTTa-IL intermediate language for blockchain-ready MeTTa execution.

F1R3FLY.io is the company behind the Rholang runtime and the formal bridge between MeTTa and blockchain execution. Founded by Lucius Gregory Meredith (Greg Meredith), inventor of the rho calculus (Reflective Higher-Order process calculus), F1R3FLY evolved from the RChain project and now provides concurrent, blockchain-ready infrastructure for running MeTTa/AGI workloads within the Hyperon ecosystem.

Key People

  • Lucius Gregory Meredith — Founder/CEO; inventor of the rho calculus; previously led RChain; co-developer of Rholang with Mike Stay

Rho Calculus and Reflection

The rho calculus extends the standard pi calculus with reflection — the ability for a program to inspect and modify its own code. While the pi calculus models concurrent communication, it lacks self-reference: processes cannot examine their own structure. The rho calculus adds this through "quoted processes" (reification) and "unquoted names" (reflection), enabling a process to treat its own code as data, transform it, and re-execute the result. This is described as a "necessary component for any real AGI" — an agent that can rewrite its own reasoning as data and then re-execute it achieves the self-modification required for recursive self-improvement.

Core Products

  • MeTTaTron: Pure Rust MeTTa evaluator with lazy evaluation, MORK/PathMap integration, and direct Rholang linking — compiles MeTTa to blockchain-executable code on F1R3FLY nodes. See ASI Chain for technical details.
  • MeTTa-IL: Scala 3 + BNFC + Haskell intermediate language interpreter for Graph-Structured Lambda Theories (GSLTs); includes Rholang module specification and hypercube type-system transformation.
  • f1r3node: Core validator node implementation (Rholang runtime)

Meta-MeTTa Paper

Meredith et al. (arXiv:2305.17218, May 2023) provide formal operational semantics for MeTTa, specify a compilation from MeTTa to rho-calculus/Rholang, and prove the compiler correct. This establishes "correct-by-construction" methodology — avoiding bytecode injection attacks, concurrency bugs, and technical debt through formal verification rather than post-hoc testing.

Ecosystem Role

F1R3FLY is a formal partner of both SingularityNET and TrueAGI. The three-way partnership integrates Rholang as a backend for high-speed, blockchain-ready MeTTa interpretation: users submit tokens and MeTTa code which is compiled and verified on F1R3FLY nodes. F1R3FLY provides the execution layer and formal semantics; TrueAGI provides the AGI framework and MeTTa language; SingularityNET provides the decentralized AI platform.

Related cards: ASI Chain · TrueAGI · SingularityNET · Self-Modification and Safety

Key References

  • github.com/F1R3FLY-io — GitHub organization
  • Meredith et al., "Meta-MeTTa" (arXiv:2305.17218, 2023) — formal MeTTa-to-Rholang compilation



Discussion