Orbis Labs

Building Zero-Knowledge Proofs on Cardano

Pinned Repositories

Coq-Arithmetization
Language:Coq8 4 01
FRI-Survey
Language:TeX5 6 11
halo2
Language:Rust3 1 00
haskell-fri-proofs
WIP: FRI-based ZKPs in Haskell
Language:Haskell3 3 151
lookups-example
Language:Nix3 3 00
MVlookups
A note on multivariate lookup arguments
Language:TeX10 8 03
Orbis
A general-purpose layer 2 zk-rollup scaling solution for Cardano
21 8 941
tiny-ram-halo2
A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.
Language:Rust37 3 122
tinyram
A vnTinyRAM emulator.
Language:Haskell4 3 411
Zero-Knowledge-Proofs-Resources
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
4 0 03

Orbis Labs's Repositories

Orbis-Tertius/tiny-ram-halo2
A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.
Language:Rust37 3 122
Orbis-Tertius/Orbis
A general-purpose layer 2 zk-rollup scaling solution for Cardano
21 8 941
Orbis-Tertius/MVlookups
A note on multivariate lookup arguments
Language:TeX10 8 03
Orbis-Tertius/Coq-Arithmetization
Language:Coq8 4 01
Orbis-Tertius/FRI-Survey
Language:TeX5 6 11
Orbis-Tertius/tinyram
A vnTinyRAM emulator.
Language:Haskell4 3 411
Orbis-Tertius/Zero-Knowledge-Proofs-Resources
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
4 0 03
Orbis-Tertius/halo2
Language:Rust3 1 00
Orbis-Tertius/haskell-fri-proofs
WIP: FRI-based ZKPs in Haskell
Language:Haskell3 3 151
Orbis-Tertius/lookups-example
Language:Nix3 3 00
Orbis-Tertius/osl
Language:Haskell2 3 212
Orbis-Tertius/tinyram-toolchain
Untyped Plutus Core to C compiler (WIP).
Language:C2 3 141
Orbis-Tertius/coq-tinyram
TinyRAM emulator in coq
Language:Coq1 2 20
Orbis-Tertius/haskell-dangerous-functions
Documentation about Haskell's dangerous functions and a hlint config file to warn about them
Language:Haskell1 0 0
Orbis-Tertius/hs2halo2
Framework for prototyping Halo 2 circuits in Haskell (WIP)
Language:Haskell1 2 0
Orbis-Tertius/llvm-project
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.
1 0 02
Orbis-Tertius/polysemy-ctl
Language:Nix1 4 0
Orbis-Tertius/tinyram_llvm_backend_testing
Language:C1 3 231
Orbis-Tertius/zk-knowledge
Knowledge base of ZKP including applications, hardware, technical discussions and more.
1 0 0
Orbis-Tertius/and-circuit-example
Language:Nix0 2 00
Orbis-Tertius/halo2-example
A Nix Halo2 example
Language:Nix0 3 12
Orbis-Tertius/.github
3 0
Orbis-Tertius/algebraic-structures
Language:Haskell0 0
Orbis-Tertius/CIPs
Language:CSS0 0
Orbis-Tertius/hflint
Language:Haskell0 0
Orbis-Tertius/libsnark
C++ library for zkSNARKs
Language:C++0 0
Orbis-Tertius/rust-fri
5 0
Orbis-Tertius/standards
3 1
Orbis-Tertius/tinycc
The Tiny C compiler; Orb-Labs fork of https://repo.or.cz/tinycc.git
Language:C2 0