An implementation of a DKG protocol for front-running protection on Anoma.
☆83Feb 22, 2023Updated 3 years ago
Alternatives and similar repositories for ferveo
Users that are interested in ferveo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.☆92Aug 7, 2026Updated 2 months ago
- Early-stage research related to the Anoma protocols.☆37Oct 11, 2023Updated 3 years ago
- ☆22Jun 29, 2020Updated 6 years ago
- A language for intent-centric and declarative decentralised applications☆508Nov 5, 2025Updated 11 months ago
- A Tendermint p2p crawling utility and API.☆20Jan 20, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- Formalization of Typhon protocol☆30Dec 20, 2024Updated last year
- A framework for generalized shielded state transitions☆148Sep 14, 2024Updated 2 years ago
- Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits☆162Aug 29, 2023Updated 3 years ago
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 7 years ago
- Celestia Specifications☆49Sep 19, 2022Updated 4 years ago
- Maker Purple paper on tendermint☆13Dec 14, 2021Updated 4 years ago
- A privacy-preserving, auditable, distributed voting system.☆14Jan 24, 2023Updated 3 years ago
- A generalized fully trustless Ethereum bridge for sovereign chains.☆14Oct 20, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A common lisp DSL for writing zero knowledge circuits☆18Oct 19, 2022Updated 4 years ago
- ☆33Sep 22, 2023Updated 3 years ago
- ☆27Oct 18, 2022Updated 4 years ago
- ☆114Feb 6, 2024Updated 2 years ago
- ☆22Aug 18, 2020Updated 6 years ago
- A Categorical View of Computation☆39Updated this week
- Cryptographic protocols☆39Apr 19, 2023Updated 3 years ago
- Tower-based ABCI interface.☆80Feb 5, 2025Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆84Jan 7, 2025Updated last year
- Aggregatable Distributed Key Generation☆51Apr 6, 2022Updated 4 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆13May 25, 2022Updated 4 years ago
- ☆11Sep 24, 2020Updated 6 years ago
- Agent-based simulation environment for PoS Ethereum☆57Feb 10, 2023Updated 3 years ago
- ☆17Mar 17, 2023Updated 3 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Dec 19, 2023Updated 2 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Delve into low-level RISC Zero machine☆31Dec 25, 2023Updated 2 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated 2 years ago
- Composable proof transcripts for public-coin arguments of knowledge☆54Aug 21, 2024Updated 2 years ago
- LazyLedger academic prototype☆51Jun 26, 2020Updated 6 years ago
- A pure Rust PLONK implementation using arkworks as a backend.☆316Sep 18, 2023Updated 3 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- Threshold ECDSA via Triples☆86Apr 5, 2024Updated 2 years ago