A Virtual Prediction Market
When stakers sign a batch, they are participating in a virtual prediction market. Each signature is a prediction backed by slashable collateral: “these transactions will confirm on Bitcoin without conflict before this batch expires.” The staker is betting their capital on this outcome. If the prediction holds—the batched transactions confirm normally on Bitcoin—stakers earn fees and protocol emissions. If the prediction fails—a conflicting transaction confirms on Bitcoin instead—the batched transactions are rolled back and stakers are slashed. This creates strong economic incentives for stakers to only sign batches they believe will succeed. The market structure provides several properties: Economic finality. When a quorum (>2/3 of total stake) signs a batch, the transaction has economic finality proportional to the total stake at risk. Recipients can calibrate their acceptance threshold based on transaction value—small payments may accept minimal stake backing, while large transfers may require the full quorum. Measurable risk. Unlike vague “pre-confirmation” signals, optimistic consensus makes the remaining risk explicit and quantifiable. The stake backing each batch is public. The slashing conditions are deterministic. Recipients know exactly what is at risk and can make informed decisions. Graceful degradation. If stakers fail to reach consensus, or if the staker network goes offline entirely, transactions still confirm on Bitcoin normally. Unbatched transactions execute at block-end using standard lexicographic ordering. The staker layer accelerates finality but never blocks it.Protocol Flow
- User submits transaction. The user broadcasts their Kontor transaction to the staker network (and to Bitcoin).
- Stakers validate and batch. Stakers validate the transaction and include it in the next batch via BFT consensus.
- Quorum signs batch. A quorum of stakers (>2/3 of total stake) signs the batch, each committing slashable stake on the batch’s success.
- User receives confirmation. The signed batch assigns the transaction a deterministic position. The recipient can now treat the transaction as confirmed, backed by the bonded stake.
- Bitcoin confirmation. When the transaction confirms on Bitcoin, it becomes Batch-Confirmed—both batched by stakers and confirmed by Bitcoin. The transaction executes at its batch-assigned position.
Ordering
Each transaction in a batch receives a position:(batch_id, index). Positions are totally ordered—earlier batches come first, and within a batch, earlier indices come first. Execution proceeds strictly by position, ensuring deterministic execution order even as transactions confirm on Bitcoin out of order.
Unbatched transactions (those that confirm on Bitcoin without being batched) execute at “block-end”—after all batched transactions, ordered by their position within the Bitcoin block.
Conflict Resolution
Bitcoin is the ultimate arbiter. When a batched transaction confirms on Bitcoin, it becomes Batch-Confirmed and executes at its assigned position. If a conflicting transaction confirms instead (one that spends the same inputs), the batched transaction is rolled back and stakers who signed the batch are slashed.Security Guarantees
The protocol’s core properties have been formally verified: Safety. No two valid batches contain conflicting transactions, under honest supermajority (>2/3 stake). This follows from quorum intersection: any two quorums overlap in at least 1/3 stake, and honest stakers refuse to sign conflicting batches. Liveness. Valid transactions are eventually included in batches. If stakers fail to reach consensus, transactions still confirm on Bitcoin and execute at block-end. Accountability. Any safety violation is attributable to at least 1/3 of total stake with cryptographic evidence—the violating stakers’ signatures on conflicting batches serve as proof.For the complete specification, see Optimistic Consensus Specification.