Efficient distributed systems ask for a different sort of computation. Rho-calculus represents an organic approach to distributed system programming, by expressing the communication and coordination of many processes executing in parallel composition. The Rhocalc execution model is both fundamentally concurrentand formally verified. These properties give Rho-calculus scaling avenues without compromising security or other core properties. This is entirely unique.

For blockchains, fine-grained concurrency and provable end-to-end correctness are the two fundamental properties to unlock industrial-scale scalability, and the security to run contracts that are “too big to fail.”

  •  

Rho-calculus is the best fundamental fit for scalable blockchain technology. Rho-calculus represents an organic approach to distributed system programming, by expressing the communication and coordination of many processes executing in parallel composition. The Rhocalc execution model is both fundamentally concurrentand formally verified. These properties give Rho-calculus scaling avenues without compromising security or other core properties. This is entirely unique.

For blockchains, fine-grained concurrency and provable end-to-end correctness are the two fundamental properties to unlock industrial-scale scalability, and the security to run contracts that are “too big to fail.”

  •  

Rholang exposes the power of Rhocalc to developers. Rho-calculus represents an organic approach to distributed system programming, by expressing the communication and coordination of many processes executing in parallel composition. The Rhocalc execution model is both fundamentally concurrentand formally verified. These properties give Rho-calculus scaling avenues without compromising security or other core properties. This is entirely unique.

For blockchains, fine-grained concurrency and provable end-to-end correctness are the two fundamental properties to unlock industrial-scale scalability, and the security to run contracts that are “too big to fail.”

 

Why Rholang?

 
 

Rholang is concurrency-oriented

For blockchains, fine-grained concurrency and provable end-to-end correctness are the two fundamental properties to unlock industrial-scale scalability, and the security to run contracts that are “too big to fail.”

  • Concurrency improves efficiency  ::   especially when it’s combined with the power of Namespaces, which we’ll touch on below

  • Modelled after ‘real life’  ::   especially when it’s combined with the power of Namespaces, which we’ll touch on below

  • Easy, expressive, simple  ::   especially when it’s combined with the power of Namespaces, which we’ll touch on below

 
 
 

Rholang allows for formal verification

For blockchains, fine-grained concurrency and provable end-to-end correctness are the two fundamental properties to unlock industrial-scale scalability, and the security to run contracts that are “too big to fail.”

  • Concurrency improves efficiency  ::   especially when it’s combined with the power of Namespaces, which we’ll touch on below

  • Modelled after ‘real life’  ::   especially when it’s combined with the power of Namespaces, which we’ll touch on below

  • Easy, expressive, simple  ::   especially when it’s combined with the power of Namespaces, which we’ll touch on below

 
 
 

Rholang is functional, and Turing-complete

For blockchains, fine-grained concurrency and provable end-to-end correctness are the two fundamental properties to unlock industrial-scale scalability, and the security to run contracts that are “too big to fail.”

  • Concurrency improves efficiency  ::   especially when it’s combined with the power of Namespaces, which we’ll touch on below

  • Modelled after ‘real life’  ::   especially when it’s combined with the power of Namespaces, which we’ll touch on below

  • Easy, expressive, simple  ::   especially when it’s combined with the power of Namespaces, which we’ll touch on below

 
 
 

Rholang is funky

For blockchains, fine-grained concurrency and provable end-to-end correctness are the two fundamental properties to unlock industrial-scale scalability, and the security to run contracts that are “too big to fail.”

  • Concurrency improves efficiency  ::   especially when it’s combined with the power of Namespaces, which we’ll touch on below

  • Modelled after ‘real life’  ::   especially when it’s combined with the power of Namespaces, which we’ll touch on below

  • Easy, expressive, simple  ::   especially when it’s combined with the power of Namespaces, which we’ll touch on below

 
 

 

Get started with Rholang tutorials

 

Up for some further exploration of Rholang?  Here’s a tutorial that’s a great place to start