Pyrofex

Security, Simplicity, and Scalability

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.

Who We Are

We hire the most talented and dedicated engineers from across the world to build our applications. From Utah, to Europe, to Russia, to Australia–our engineering team has academic and practical experience in mathematics and computer science and we leverage it on every project.

What We Do

At Pyrofex, we build high-performance, distributed development tools that are easy to use, secure, and continuously reliable. We make large-scale, distributed computing and decentralized finance easier and more accessible. We specialize in delivering solutions at scale using blockchain and consensus technologies.

Working With Us

Interested in working with a hard-core team of brilliant engineers? Our team has deep experience working with customers at the forefront of technology, helping them to build cutting edge applications, and delivering them on time. Pyrofex is hiring.

Cryptofex Blockchain IDE

Cryptofex is an integrated development environment for the blockchain and crypto-economy. Use it to build, test, and deploy smart contracts across multiple blockchains.

Crypto Payment Processing

The payment processing industry has grown complex, difficult, and politicized, while businesses like yours just want to sell their products. Numifex enables you to simply and easily take payments in cryptocurrencies from BTC to ETH, to a wide variety of tokens. Numifex is a completely decentralized solution with no per-transaction fees of its own, so we’re able to cut your monthly payment fees by up to 90%. Buy the software and run it on your own servers or in the cloud. In the cryptoeconomy, you are your own payment processor, free from burdensome regulation and terms & conditions agreements. Apply to become an early adopter using the link below.

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.

We’re HiringCome 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

Digging into Language Design: Rholang Semantics

Digging into Language Design: Rholang Semantics

Derek Sorensen, Research Mathematician — 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...

An Introduction to Casanova

An Introduction to Casanova

Kyle Butt & Nash E. 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...

Contact Us

11 + 10 =