Orbis
  • Orbis
  • High-Level Overview
  • Technology
    • zk-SNARKs
    • Halo 2
    • Cardano
      • EUTXO
  • Architecture
    • Process
    • L1 Rollup Protocol: On-Chain Inputs and Outputs
    • L2 Rollup Protocol: On-Rollup Transactions
    • Orbis Specification Language (OSL)
  • Smart Contracts
    • Programming on Orbis
    • Plutus Language Family
  • Design Considerations
    • Reliability
    • Liveness and Safety
    • Decentralization
      • Single node
      • Static master/workers
      • Dynamic master/workers
    • Data Availability
    • Upgradability and Governance
    • Performance
  • Inter-Rollup and Inter-Protocol Bridges
  • HALO Token
    • HALO
    • Tokenomics
  • Official Links
    • Website
    • Twitter
    • Blog
    • Discord
    • Github
    • LinkedIn
Powered by GitBook
On this page
Export as PDF
  1. Technology

Halo 2

Halo 2 is the name of both a leading-edge zk-SNARK theory and its implementation. It was developed by the team behind Electric Coin Co., the inventors of Zcash. Halo 2 is a successor to Halo, and both systems are inspired partly by the zk-SNARK theories PLONK and Sonic, among others.

Orbis Labs chose Halo 2 as the basis for our zk-SNARK implementations due to the following considerations. In no particular order:

  • Relatively stable and mature. It is audited, production ready, and used at scale in production.

  • Efficient proving algorithm.

  • Relatively small proofs which are not very computationally difficult to verify.

  • Rich ecosystem of tooling, SDKs, and reusable circuit code.

  • Does not require a trusted setup process and has no trust assumptions. Verifiers need not trust provers or any third party.

Previouszk-SNARKsNextCardano

Last updated 2 years ago