Skip to content

@Orbis-Tertius Orbis Labs

Change the repository type filter

All

    Repositories list

    29 repositories

    • FRI-Survey

      Public
      TeX
      •1•5•0•0•Updated May 25, 2023May 25, 2023

    • osl

      Public
      Haskell
      •
      Apache License 2.0
      •2•2•9•1•Updated Feb 16, 2023Feb 16, 2023

    • Coq-Arithmetization

      Public
      Coq
      •
      Apache License 2.0
      •1•8•0•0•Updated Jan 5, 2023Jan 5, 2023

    • MVlookups

      Public template
      A note on multivariate lookup arguments
      TeX
      •3•10•0•0•Updated Nov 24, 2022Nov 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.
      Rust
      •
      Apache License 2.0
      •2•37•8•0•Updated Nov 18, 2022Nov 18, 2022

    • halo2

      Public
      Rust
      •
      Other
      •496•3•0•0•Updated Nov 9, 2022Nov 9, 2022

    • tinyram

      Public
      A vnTinyRAM emulator.
      Haskell
      •
      Apache License 2.0
      •1•4•29•12•Updated Nov 7, 2022Nov 7, 2022

    • haskell-fri-proofs

      Public
      WIP: FRI-based ZKPs in Haskell
      Haskell
      •
      Apache License 2.0
      •1•3•15•0•Updated Nov 4, 2022Nov 4, 2022

    • standards

      Public
      Apache License 2.0
      •0•0•1•0•Updated Oct 26, 2022Oct 26, 2022

    • rust-fri

      Public
      0•0•0•0•Updated Sep 30, 2022Sep 30, 2022

    • Orbis

      Public
      A general-purpose layer 2 zk-rollup scaling solution for Cardano
      Apache License 2.0
      •1•21•47•0•Updated Sep 28, 2022Sep 28, 2022

    • .github

      Public
      0•0•0•0•Updated Sep 14, 2022Sep 14, 2022

    • tinyram-toolchain

      Public
      Untyped Plutus Core to C compiler (WIP).
      C
      •1•2•11•0•Updated Sep 8, 2022Sep 8, 2022

    • llvm-project

      Public
      The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
      12k•1•0•0•Updated Sep 6, 2022Sep 6, 2022

    • zk-knowledge

      Public
      Knowledge base of ZKP including applications, hardware, technical discussions and more.
      14•1•0•0•Updated Aug 24, 2022Aug 24, 2022

    • coq-tinyram

      Public
      TinyRAM emulator in coq
      Coq
      •
      Apache License 2.0
      •0•1•0•0•Updated Aug 11, 2022Aug 11, 2022

    • CIPs

      Public
      CSS
      •
      Creative Commons Attribution 4.0 International
      •319•0•0•0•Updated Aug 2, 2022Aug 2, 2022

    • haskell-dangerous-functions

      Public
      Documentation about Haskell's dangerous functions and a hlint config file to warn about them
      Haskell
      •14•1•0•0•Updated Jun 23, 2022Jun 23, 2022

    • polysemy-ctl

      Public
      Nix
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jun 14, 2022Jun 14, 2022

    • lookups-example

      Public archive
      Nix
      •
      Apache License 2.0
      •0•3•0•0•Updated Apr 14, 2022Apr 14, 2022

    • halo2-example

      Public archive
      A Nix Halo2 example
      Nix
      •
      Apache License 2.0
      •2•0•0•0•Updated Apr 14, 2022Apr 14, 2022

    • hs2halo2

      Public archive
      Framework for prototyping Halo 2 circuits in Haskell (WIP)
      Haskell
      •
      Apache License 2.0
      •0•1•0•2•Updated Mar 31, 2022Mar 31, 2022

    • tinyram_llvm_backend_testing

      Public
      C
      •1•1•19•1•Updated Mar 29, 2022Mar 29, 2022

    • and-circuit-example

      Public archive
      Nix
      •0•0•0•0•Updated Feb 28, 2022Feb 28, 2022

    • libsnark

      Public
      C++ library for zkSNARKs
      C++
      •
      Other
      •585•0•0•0•Updated Feb 23, 2022Feb 23, 2022

    • Zero-Knowledge-Proofs-Resources

      Public
      A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
      Other
      •840•4•0•0•Updated Feb 17, 2022Feb 17, 2022

    • tinycc

      Public archive
      The Tiny C compiler; Orb-Labs fork of https://repo.or.cz/tinycc.git
      C
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Feb 17, 2022Feb 17, 2022

    • hflint

      Public
      Haskell
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated May 19, 2021May 19, 2021

    • algebraic-structures

      Public
      Haskell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated May 19, 2021May 19, 2021