Building Beyond The Known

Casanova Consensus Protocol

Pyrofex introduces Casanova, a leaderless optimistic consensus protocol designed for use in the blockchain contexts. Casanova produces blocks in a directed acyclic graph (DAG) rather than in a chain and combines voting rounds with block production by singling out conflicting transactions. As a result, Casanova is poised to be one of the first provably safe, live, and correct consensus algorithms that can operate at global transaction scale. With Casanova, Pyrofex looks forward to unlocking the next generation of blockchain technology.

The Details

The problem of achieving consensus over asynchronous networks of distrustful parties has been a subject of research for decades. With the introduction of BitCoin, a new class of consensus algorithms emerged. These include proof of work (PoW), proof of stake (PoS), and proof of elapsed time (PoET) protocols, among others.

Proof of work algorithms are inherently inefficient because their security properties come from “wasted” computation, e.g. brute forcing hash pre-images. The blockchain community is naturally interested in finding reliable and scalable consensus algorithms suited to use in a proof of stake context.

To this end, Pyrofex developed Casanova: a leaderless optimistic consensus protocol optimized for the blockchain, but which borrows from pre-Nakamato consensus protocols. Casanova is appropriate for a proof-of-stake blockchain and a variety of additional applications. It shows that one can pipeline voting and message-passing rounds by combining block creation with votes, and optimizes for the overwhelmingly common case that a transaction is not a double spend.

Numifex: Cryptocurrency Payment Processing

A fixed-price payment processing solution for cryptocurrency transactions. Become your own payment processor today and take control of what happens with your revenue.

Reliable & Secure
Distributed Systems

Pyr8 is a fast and secure JavaScript runtime for web server applications. It introduces the object capabilities (OCAPS) model to JavaScript. This provides a mathematically robust security model for managing access to sensitive resource, such as the file system, networks, etc. With Pyr8 you can guarantee that your project and its dependencies have access, only to the sensitive resources they need and none of them that they don’t.
Learn more…

Custom Blockchain Solutions

Our experience in mathematics, cryptography, formal verification, system engineering, and information security allow us to build custom blockchain solutions to meet your business needs. Whether it’s an open-source platform, a permissioned ledger system, or somewhere in between, Pyrofex’s team can deliver the right solution for you. Learn More…

We’re Hiring Come Do Your Best Work

At Pyrofex, we hire for strength and not for lack of weakness. We hire for capability and talent, not specific knowledge or experience. We don’t keep a checklist of requirements that each candidate needs to meet, because we hire people with a passion for quality, with the creativity to innovate, and with a tremendous drive to succeed. Pyrofex was founded by engineers who want to build great products that delight our users. We seek out meaningful work where we can solve hard engineering problems. We hold high expectations for each other and achieve extraordinary results, as a result. Great engineers want to work with other great engineers on challenging and meaningful problems. Pyrofex hires for talent, drive, and passion. Interested?

Pyrofex Newsroom

Breathing Life Into Old Math

Breathing Life Into Old Math

twitterlinkedinyoutubeIf 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,...

The Devil In The Details

The Devil In The Details

twitterlinkedinyoutubeCasanova 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...

Contact Us

8 + 4 =