Overview
BlockPQR is an engineering firm that builds and maintains the core software a blockchain runs on, working with foundations, blockchain teams and stake pool operators. For Cardano, the team works on the rules that decide which transactions are valid, the command-line tools node operators rely on, and the setup that keeps blocks being produced around the clock1.
The engineers came to BlockPQR from IO Labs at Input Output, the engineering company behind Cardano, and brought the codebase they already maintained with them. Input Output keeps responsibility for the plans and milestones, Intersect, Cardano's member-based governance organization, approves each milestone, and the code lands in open repositories2. Leonard Hegarty, who was director of technical delivery for Cardano at Input Output, founded and leads the firm2. Cardano.org lists BlockPQR among the specialist teams that maintain core Cardano functions3. Beyond its Cardano work, the firm designs blockchain bridges and reviews smart contracts before their formal audits4.
Key Features
- A rulebook written before the code. BlockPQR first describes each system as a precise specification a computer can check, then builds the software against it and tests the two for differences5.
- A ledger and command line that operators can rely on. BlockPQR maintains the ledger, which holds Cardano's rules for checking transactions and updating balances, plus command-line tools kept predictable so operators' scripts survive upgrades1.
- Block production that keeps running through failures. BlockPQR's high-availability work covers failover (switching to a backup machine when one fails), key handling and monitoring, with engineers spread across time zones so someone is awake when a node is not1.
- Bridges with the trust rules written down. For links between a main blockchain and a second network, often called a Layer 2, BlockPQR states who must behave honestly, proves no value can appear from nowhere, and builds monitors that alarm when the two sides disagree6.
- A bug hunt before the paid audit. BlockPQR's pre-audit service tests a smart contract (a program that runs on a blockchain) against large batches of generated inputs, so the formal review by audit firms finds less7.
What to Expect
For most people who use Cardano, BlockPQR's work stays out of sight. It sits underneath wallets, apps and stake pools. Upgrades pass through Intersect's hard fork working group, which coordinates changes to Cardano's core rules, and through test networks before they reach the live network8.
Visitors to the BlockPQR website find a page for each engagement, a newsroom with progress reports on Cardano upgrade work, and a media kit. Developers who want to see the code itself can follow the public Cardano ledger repository and node repository, where the team's work lands8.
Teams that want to hire BlockPQR start with an enquiry form that goes straight to the engineers rather than a sales desk. The first half-hour conversation is free. Each engagement follows the same five stages: that free conversation, a written scope, work done in the client's own repository, performance targets agreed up front, and a handover with documentation and runbooks, the step-by-step guides a team uses to operate the system9. The team writes in Haskell for ledgers and consensus, Rust for speed-critical and bridge work, and Agda, a language for machine-checked proofs, where a property deserves a formal proof9. The firm says it normally replies within two working days9.
Sources
-
Cardano core engineering: ledger, CLI and high availability ↩ ↩2 ↩3
-
Cardano's core protocol work continues in the same hands, now at BlockPQR ↩ ↩2
-
Projects: Cardano core, L1 to L2 bridges, contract pre-audit ↩
-
BlockPQR: Layer-1 blockchain engineering, formally specified ↩
-
BlockPQR goes live to continue Cardano's core protocol work ↩ ↩2
