dusk-network / piecrust

Related projects ⓘ

Alternatives and complementary repositories for piecrust

• cosmos / ibc-proto-rs
  Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security
  ☆50Updated 2 weeks ago
• scroll-tech / poseidon-circuit
  Poseidon hash circuit
  ☆94Updated 3 weeks ago
• dusk-network / rusk
  The reference Dusk platform implementation and tools
  ☆165Updated this week
• madara-alliance / bonsai-trie
  A storage system inspired by Besu using Starknet Merkle Trees
  ☆59Updated 2 weeks ago
• succinctlabs / vectorx
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆45Updated 5 months ago
• ProvableHQ / aleo-std
  ☆16Updated 10 months ago
• demox-labs / aleo-standard-programs
  ☆18Updated 3 weeks ago
• tangle-network / tangle
  Modular restaking infrastructure for developers, restakers, and operators.
  ☆51Updated this week
• ComposableFi / composable-ibc
  A trustless, cross-chain bridging protocol.
  ☆76Updated this week
• 0xPolygonMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆104Updated this week
• Sin7Y / ola-lang
  Ola is a provable language for writing smart contracts
  ☆41Updated 4 months ago
• matter-labs / franklin-crypto
  ☆115Updated 3 months ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆56Updated 5 months ago
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆156Updated last year
• argumentcomputer / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆80Updated last week
• ChainSafe / Spectre
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆58Updated last month
• celestiaorg / CIPs
  ☆46Updated this week
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆53Updated this week
• succinctlabs / starkyx
  ☆60Updated 6 months ago
• fluentlabs-xyz / fluentbase
  A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm
  ☆59Updated this week
• anoma / taiga
  A framework for generalized shielded state transitions
  ☆144Updated 2 months ago
• Manta-Network / manta-rs
  Rust Crates for the Manta Network Ecosystem
  ☆80Updated last year
• essential-contributions / pint
  Pint, the constraint-based programming language for declarative blockchains
  ☆17Updated this week
• argumentcomputer / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆69Updated last week
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated 9 months ago
• dusk-network / rusk-vm
  The Dusk Rust WASM VM implementation
  ☆54Updated 2 years ago
• anoma / masp
  The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
  ☆88Updated last month
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆30Updated this week
• ProvableHQ / aleo-rust
  ☆32Updated 8 months ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆81Updated 11 months ago