8000 Orbis Labs · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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 11 3

  4. Coq-Arithmetization Coq-Arithmetization Public

    Coq 8 1

  5. 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).

    6 3

  6. FRI-Survey FRI-Survey Public

    TeX 5 1

Repositories

Showing 10 of 29 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
0