Skip to content
@Orbis-Tertius

Orbis Labs

Building Zero-Knowledge Proofs on Cardano
README.md

Welcome to Orbis Labs

A cryptography firm working on zero-knowledge proofs and blockchain scaling technologies.

Our projects:

  • Orbis: a general-purpose layer 2 zk-rollup on Cardano

  • OSL: a general-purpose specification language for zk-rollup circuits

  • Miya : a formally verified zero-knowledge proofs programming toolchain

Published Papers

Arithmetization of Σ¹₁ relations in Halo 2: https://eprint.iacr.org/2022/777

Orbis Specification Language: a type theory for zk-SNARK programming: https://eprint.iacr.org/2022/1003

Arithmetization of Σ¹₁ relations with polynomial bounds in Halo 2: https://eprint.iacr.org/2022/1105

Arithmetization of Functional Program Execution via Interaction Nets in Halo 2: https://eprint.iacr.org/2022/1211

A summary on the FRI low degree test: https://eprint.iacr.org/2022/1216

Join Us

Orbis Community Discord

Popular repositories Loading

  1. tiny-ram-halo2 tiny-ram-halo2 Public

    A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.

    Rust 37 2

  2. Orbis Orbis Public

    A general-purpose layer 2 zk-rollup scaling solution for Cardano

    21 1

  3. MVlookups MVlookups Public template

    A note on multivariate lookup arguments

    TeX 10 3

  4. Coq-Arithmetization Coq-Arithmetization Public

    Coq 8 1

  5. FRI-Survey FRI-Survey Public

    TeX 5 1

  6. Zero-Knowledge-Proofs-Resources Zero-Knowledge-Proofs-Resources Public

    Forked from matter-labs/awesome-zero-knowledge-proofs

    A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

    4 3

Repositories

Showing 10 of 29 repositories
  • FRI-Survey Public
    Orbis-Tertius/FRI-Survey’s past year of commit activity
    TeX 5 1 0 0 Updated May 25, 2023
  • osl Public
    Orbis-Tertius/osl’s past year of commit activity
    Haskell 2 Apache-2.0 2 9 1 Updated Feb 16, 2023
  • Coq-Arithmetization Public
    Orbis-Tertius/Coq-Arithmetization’s past year of commit activity
    Coq 8 Apache-2.0 1 0 0 Updated Jan 5, 2023
  • MVlookups Public template

    A note on multivariate lookup arguments

    Orbis-Tertius/MVlookups’s past year of commit activity
    TeX 10 3 0 0 Updated Nov 24, 2022
  • tiny-ram-halo2 Public

    A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.

    Orbis-Tertius/tiny-ram-halo2’s past year of commit activity
    Rust 37 Apache-2.0 2 8 0 Updated Nov 18, 2022
  • halo2 Public Forked from zcash/halo2
    Orbis-Tertius/halo2’s past year of commit activity
    Rust 3 509 0 0 Updated Nov 9, 2022
  • tinyram Public

    A vnTinyRAM emulator.

    Orbis-Tertius/tinyram’s past year of commit activity
    Haskell 4 Apache-2.0 1 29 12 Updated Nov 7, 2022
  • haskell-fri-proofs Public

    WIP: FRI-based ZKPs in Haskell

    Orbis-Tertius/haskell-fri-proofs’s past year of commit activity
    Haskell 3 Apache-2.0 1 15 0 Updated Nov 4, 2022
  • standards Public
    Orbis-Tertius/standards’s past year of commit activity
    0 Apache-2.0 0 1 0 Updated Oct 26, 2022
  • rust-fri Public
    Orbis-Tertius/rust-fri’s past year of commit activity
    0 0 0 0 Updated Sep 30, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…