anoma / ferveo

Related projects ⓘ

Alternatives and complementary repositories for ferveo

• anoma / masp
  The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
  ☆88Updated last month
• anoma / typhon
  Formalization of Typhon protocol
  ☆28Updated this week
• heliaxdev / plonk
  Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
  ☆14Updated 2 years ago
• celestiaorg / celestia-specs
  Celestia Specifications
  ☆51Updated 2 years ago
• penumbra-zone / tower-abci
  Tower-based ABCI interface.
  ☆74Updated this week
• entropyxyz / synedrion
  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
  ☆63Updated this week
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• anoma / taiga
  A framework for generalized shielded state transitions
  ☆144Updated 2 months ago
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆54Updated this week
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆79Updated 7 months ago
• EspressoSystems / cap
  Configurable Asset Privacy
  ☆33Updated 10 months ago
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆156Updated last year
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆91Updated last year
• informalsystems / atomkraft
  Advanced fuzzing via Model Based Testing for Cosmos blockchains
  ☆77Updated last year
• cosmos / ics23
  Building generic merkle proof format for IBC
  ☆116Updated this week
• crypto-com / ibc-solo-machine
  This repository implements IBC solo machine which can be used to interface with other machines and replicated ledgers which speak IBC.
  ☆44Updated 3 weeks ago
• argumentcomputer / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆80Updated last week
• matter-labs / eip1962
  EIP1962 implementation effort
  ☆71Updated 4 months ago
• ChorusOne / tendermint-sol
  Tendermint in Solidity
  ☆60Updated 2 years ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆81Updated 11 months ago
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆45Updated last year
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆89Updated 3 years ago
• anoma / whitepaper
  ☆60Updated 2 years ago
• w3f / apk-proofs
  ☆56Updated 11 months ago
• anoma / ethereum-bridge
  A generalized fully trustless Ethereum bridge for sovereign chains.
  ☆13Updated last year
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆86Updated last month
• 0xPolygonMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆104Updated this week
• EspressoSystems / HotShot
  ☆124Updated this week
• argumentcomputer / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆69Updated last week