Orbis-Tertius / OrbisLinks
A general-purpose layer 2 zk-rollup scaling solution for Cardano
☆21Updated 2 years ago
Alternatives and similar repositories for Orbis
Users that are interested in Orbis are comparing it to the libraries listed below
Sorting:
- Implementation experiments as part of the design process of Starstream VM☆20Updated this week
- Midnight ZK☆24Updated last week
- Substrate node with capability of communicating with Cardano network☆62Updated this week
- Rust implementation of ErgoTree interpreter and wallet-related features☆74Updated last month
- Stake-based threshold multi-signatures protocol☆139Updated this week
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago
- Early-stage research related to the Anoma protocols.☆33Updated last year
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆40Updated 2 months ago
- Implementation of a Consensus Layer for the Ouroboros family of protocols☆55Updated this week
- Marlowe smart contract language Cardano implementation☆97Updated this week
- This is a template repository for kickstarting your Plinth smart contract project. Please refer to the README.md for more information.☆21Updated last week
- ☆18Updated 6 months ago
- Read-optimized cache of Cardano on-chain entities☆92Updated 8 months ago
- An easy to use framework for building Ergo headless dApps. Developed by EMURGO and Ergo Platform.☆25Updated 3 years ago
- Novel trustless web3/blockchain gaming engine.☆63Updated this week
- Emurgo research made publicly available for the betterment of the open source and blockchain ecosystems.☆80Updated 5 years ago
- A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium☆16Updated 2 years ago
- Core off-chain component of Oracle Pools☆65Updated 3 months ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆14Updated 3 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago
- ☆76Updated 2 years ago
- A formal verification of Linear PCP SNARKs.☆56Updated last year
- Implementation of the Zcash Orchard Protocol☆56Updated 3 weeks ago
- 🔬 A collection of scripts to classify and analyze the on-chain smart contract activity on Cardano☆11Updated 2 months ago
- Simulations for the Hydra protocol☆15Updated last year
- COOP - Cardano open oracle protocol☆21Updated last year
- Helper libraries for Plutus.☆49Updated 3 years ago
- ☆12Updated last year
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Updated 3 years ago
- A common place for finding / maintaining configurations of various services of the Cardano eco-system☆25Updated 9 months ago