An implementation of a DKG protocol for front-running protection on Anoma.
☆84Feb 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.☆92Apr 29, 2026Updated 2 months ago
- Early-stage research related to the Anoma protocols.☆37Oct 11, 2023Updated 2 years ago
- ☆22Jun 29, 2020Updated 6 years ago
- A language for intent-centric and declarative decentralised applications☆509Nov 5, 2025Updated 8 months ago
- efficient modular multiplication research☆15Feb 8, 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.
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago
- A privacy-preserving, auditable, distributed voting system.☆14Jan 24, 2023Updated 3 years ago
- A Tendermint p2p crawling utility and API.☆20Jan 20, 2020Updated 6 years ago
- A generalized fully trustless Ethereum bridge for sovereign chains.☆14Oct 20, 2023Updated 2 years ago
- Formalization of Typhon protocol☆30Dec 20, 2024Updated last year
- A common lisp DSL for writing zero knowledge circuits☆18Oct 19, 2022Updated 3 years ago
- ☆33Sep 22, 2023Updated 2 years ago
- A framework for generalized shielded state transitions☆148Sep 14, 2024Updated last year
- Celestia Specifications☆49Sep 19, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆22Aug 18, 2020Updated 5 years ago
- A Categorical View of Computation☆36Updated this week
- Aggregatable Distributed Key Generation☆51Apr 6, 2022Updated 4 years ago
- Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits☆163Aug 29, 2023Updated 2 years ago
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆16Jul 12, 2023Updated 3 years ago
- Cryptographic protocols☆38Apr 19, 2023Updated 3 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆13May 25, 2022Updated 4 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated 2 years ago
- Agent-based simulation environment for PoS Ethereum☆56Feb 10, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Tower-based ABCI interface.☆79Feb 5, 2025Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 3 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Dec 19, 2023Updated 2 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- Barebones Rust EVM Implementation☆12Feb 9, 2022Updated 4 years ago
- ☆51Jan 22, 2024Updated 2 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- Delve into low-level RISC Zero machine☆31Dec 25, 2023Updated 2 years ago
- Open source implementation of zkSTARKs in pure Rust☆84Dec 15, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- LazyLedger academic prototype☆51Jun 26, 2020Updated 6 years ago
- ☆17Mar 17, 2023Updated 3 years ago
- Anonymous decentralized message broadcasting based on Libp2p and Dandelion++☆18Apr 12, 2020Updated 6 years ago
- ☆27Oct 18, 2022Updated 3 years ago
- Targeting Zero MEV - A Content Layer Solution☆42Jul 6, 2021Updated 5 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Oct 20, 2022Updated 3 years ago
- ☆84Jan 7, 2025Updated last year