Pyrofex Newsletter

We build high-performance distributed development tools that are easy to use, secure, and continuously reliable.
Subscribe

Nash Foster Quoted On BTC Adoption

“Lightning wants to make the platform easier for consumers to adopt, but the people who love Bitcoin are losing features they care about. So, why would they promote this stuff to their friends?” he asked. “Who is going to promote this garbage on Instagram or Twitter?...

read more

Nash Foster Quoted In Finance Magnates

“The lion’s share of transactions on the blockchain today are related to trading financial instruments like cryptocurrency, various tokens, stablecoins, and other derivatives,” told Nash Foster, CEO of Pyrofex.twitterlinkedinyoutube

read more

Breathing Life Into Old Math

If you’ve been studying the Casanova paper, you’ll notice that we built up Casanova in four steps. At each of these steps, we wrote an algorithm that gets progressively more powerful, efficient, and compliant with our standards of safety, liveness, finality, and...

read more

The Devil In The Details

Casanova has something that is surprisingly uncommon in the modern blockchain world, even among the most popular consensus algorithms: mathematically rigorous proofs that the algorithm is safe and that it can make progress under adverse circumstances. In the academic...

read more

What’s So Great About Casanova, Anyway?

The Casanova paper starts out by describing it as an “optimistic consensus protocol designed for a permissioned blockchain.” The question I most often get from people reading it is, “What does it mean to be optimistic?” There have been a few different articles (here,...

read more

Casanova Is Featured On TechXplore

Casanova Is Featured On TechXplore Shortly after publishing Casanova, we were contacted by several individuals and companies looking for more information about the protocol. TechXplore was one of those companies and today they released an article featuring Casanova.

read more

Digging into Language Design: Rholang Semantics

I recently gave a hefty start to building the Rholang semantics using K-Framework. I want to share some insights I gained and the battles I faced. Perhaps this will help someone else along their way. For those unfamiliar with Rholang, it's a language built for...

read more

An Introduction to Casanova

-- Kyle Butt & Nash Foster Pyrofex’s research team recently published a paper describing a new leaderless consensus algorithm named Casanova. The focus of that paper was to write a journal-quality description of the algorithm and prove it is safe, live, and...

read more

Incorrect By Construction—CBC Casper Isn’t Live

Many of the essential ideas in CBC Casper [1] are genuinely innovative, but the protocol is not live even under very strong assumptions about the network. I.e., even when the network is operating correctly, the protocol may not be able to achieve consensus on any...

read more

Pyrofex Introduces Casanova

We introduce Casanova, a leaderless optimistic consensus protocol designed for a permissioned blockchain. Casanova produces blocks in a DAG rather than a chain, and combines voting rounds with block production by singling out individual conflicting transactions.

read more