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:
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆39Updated last week
- Implementation experiments as part of the design process of Starstream VM☆18Updated this week
- Early-stage research related to the Anoma protocols.☆25Updated last year
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Updated 3 years ago
- A reproducible package set for Cosmos, IBC and CosmWasm☆61Updated last month
- Formalization of Typhon protocol☆31Updated 6 months ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago
- Coq definitions and lemmas for verification of Casper☆18Updated 5 years ago
- Substrate node with capability of communicating with Cardano network☆58Updated this week
- Fawkes-Crypto - zkSNARKs framework☆22Updated last year
- A generalized fully trustless Ethereum bridge for sovereign chains.☆14Updated last year
- Providing assorted versions of solidity compilers (solc).☆18Updated last month
- DSL for Secure DApps☆33Updated 2 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated 2 years ago
- The modular protocol framework based on Universal Composability☆18Updated 5 years ago
- A curated list of rust articles worth reading☆23Updated 2 years ago
- Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.☆13Updated 3 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆14Updated 3 years ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- the CheckMate protocol verification tool☆10Updated 3 weeks ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆37Updated last week
- Demo / PoC / implementation of IOHK MPC protocols☆19Updated 6 years ago
- A formal verification of Linear PCP SNARKs.☆55Updated 11 months ago
- An easy to use framework for building Ergo headless dApps. Developed by EMURGO and Ergo Platform.☆25Updated 3 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆71Updated 2 years ago
- Optimised bilinear pairings over elliptic curves☆56Updated last year
- Command Line Tool and Cardano Plutus Contracts for interacting with Partner Chains.☆10Updated this week
- Application-layer smart contracts & tooling.☆10Updated 6 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated last year
- ☆17Updated 4 months ago