Orbis-Tertius / OrbisView external linksLinks
A general-purpose layer 2 zk-rollup scaling solution for Cardano
☆21Sep 28, 2022Updated 3 years ago
Alternatives and similar repositories for Orbis
Users that are interested in Orbis are comparing it to the libraries listed below
Sorting:
- ☆12Feb 3, 2022Updated 4 years ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 2 years ago
- ☆12May 7, 2023Updated 2 years ago
- A repository for the Leela VS the World project for On-Chain machine learning☆20Sep 26, 2024Updated last year
- Metadata for Cardano's Haskell package repository☆36Updated this week
- A downloadable and containerized decentralized API for Handles☆13Feb 4, 2026Updated last week
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆16Jul 12, 2023Updated 2 years ago
- A private payment system for Ethereum-based blockchains, with no trusted setup.☆16May 14, 2021Updated 4 years ago
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated last year
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆39Nov 18, 2022Updated 3 years ago
- A helper library for working with compiled, parameterized Plutus Scripts☆19Feb 3, 2026Updated last week
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- 🧪 | LLVM backend for HVM☆23May 23, 2023Updated 2 years ago
- A unified framework for Cardano Smart Contract testing and benchmarking m☆22Feb 7, 2026Updated last week
- Voting Example in circom☆19Oct 21, 2021Updated 4 years ago
- ☆24Apr 9, 2024Updated last year
- An open-source Rust library for easy Cardano transaction building and unit testing☆27Oct 26, 2025Updated 3 months ago
- Cardano Smart Contract SDK and Testing Framework☆55Apr 20, 2024Updated last year
- Asynchronous type-checking for Agda 2.6.2.☆22May 17, 2024Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reas…☆55Nov 24, 2024Updated last year
- A common place for finding / maintaining configurations of various services of the Cardano eco-system☆25Dec 14, 2024Updated last year
- Tokenomia is built for the Cardashift ICO, it aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform. C…☆75Mar 22, 2023Updated 2 years ago
- Solidity error logging☆23Sep 21, 2021Updated 4 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- A Cardano bot challenge to showcase the capabilities of the eUTxO model.☆26Dec 11, 2025Updated 2 months ago
- Eigen zkVM's Proving Service☆29Aug 24, 2025Updated 5 months ago
- neural network inference standard for zero-knowledge-proof systems☆34Oct 9, 2023Updated 2 years ago
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38May 11, 2023Updated 2 years ago
- Simple Schnorr Multi-Signatures☆30Dec 15, 2023Updated 2 years ago
- ☆41Nov 21, 2022Updated 3 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆33Oct 10, 2022Updated 3 years ago
- ☆33Sep 9, 2023Updated 2 years ago
- A standard library wrapper for use in the `arkworks` ecosystem☆42Sep 26, 2025Updated 4 months ago
- ☆28Dec 8, 2021Updated 4 years ago
- Cardano mainchain data on BigQuery☆11Aug 3, 2023Updated 2 years ago
- Implementation of the Hydra Head protocol☆329Updated this week
- Typed eDSL for writing UPLC /ˈpluː.tɑːk/☆133Updated this week