GM
Greg Meredith (Lucius Gregory Meredith) is a mathematician and software architect.
He is co-founder of F1R3FLY.io, which builds high-throughput transaction infrastructure for Web3 and AI on the rho-calculus. He is the inventor of the rho-calculus, the formal basis of the Rholang language, and he founded the RChain Cooperative in Seattle in January 2017. His earlier roles include principal architect of Microsoft's BizTalk Process Orchestration, principal architect of an ATM network management solution for AT&T/NCR, and co-designer and developer of MCC's Rosette/ESS technology.
He is credited as a co-author of the WSDL 1.0 specification. He is also known for namespace logic and the OSLF algorithm, which generates type systems from operational semantics. His current work centres on F1R3FLY, an AI-native execution layer built on Rholang, and on applying the rho-calculus to concurrent and multi-agent systems, including collaboration with SingularityNET on Rholang integration for its Hyperon AGI project.
15:41
Latest interview · May 21, 2020Greg Meredith on RChain scalability and mathematicsWatch the episode →
Key points
- RChain uses correct-by-construction technology including Rholang smart contracting language and CBC Casper proof-of-stake protocol for enhanced security.
- RChain operates as a cooperative with one-member-one-vote governance model, differentiating it from traditional blockchain projects.
- Near-term RChain applications focus on high-volume, low-risk digital asset management in entertainment and social media sectors.
- RChain targets three to ten thousand transactions per second on standard hardware, scaling to forty thousand with backbone nodes.
- RChain's concurrency-based architecture scales linearly as resources increase, contrasting with Ethereum which slows down with added resources.
Every appearance on Crypto Coin Show
Latest episode shown above.
5:42
