Bison Network Overview

Bison Network is a ZK-STARK rollup anchored on Bitcoin, drawing parallels with Ethereum's Starknet ZK Rollup. At its core, Ethereum furnishes Starknet with two fundamental features: immutable data storage and a smart contract that authenticates proofs anchored back by the prover.

Bitcoin, with the help of Ordinals, can serve a similar purpose, functioning as a highly secure database. Through Ordinals, Bitcoin has the capability to store a diverse range of data. The central question then revolves around verification.

Bison addresses this by shifting proof verification to the user's front-end. Leveraging state-of-the-art STARK technology, users can swiftly verify an entire chain of proofs in mere seconds with only 300kb of data downloaded to their front-end. This empowers users to independently verify and dictate their own security measures, a concept commonly referred to as a sovereign blockchain.

Components of Bison

L2 Dapp

The L2 Dapp encompasses the User Interface (UI) and certain business logic that are not directly related to security. For instance, features such as a swap front-end and quote logic are part of the L2 Dapp. However, final swap changes are executed by token contracts to ensure legality and are then verified using zk-proofs.

Bison OS

This is the central framework of the Bison Network, comprising two main components:

• Sequencer: Receives and queues transactions, processing them in the order they were received.

• Token Contracts: Responsible for recording all token balances, including bridged and native assets. It validates each transaction's legality (ensuring necessary signatures are included) and generates a zk-proof for user verification.

Bison Prover

This segment of Bison is tasked with receiving an Algebraic Intermediate Representation (AIR)—also referred to as a 'trace'—and generating a ZK-proof from raw proof data.

Bison Bridge Contract

Functioning as a Decentralized Logic Contract (DLC) on the Bitcoin network, this contract safeguards Bitcoin L1 assets. It houses most L1 assets and can receive oracle information either from L2 via a blockchain dispatcher or directly from the L1 layer.

Data Availability

Ordinals serve as our data availability layer, inscribing all statuses and zk-proofs onto the Bitcoin blockchain. This data can be accessed by anyone through any Bitcoin full node.

Front-End Verifier

This is a user-side utility for verifying all associated proofs. It empowers users to independently confirm the Bison Network's security level.