Alternatives and similar repositories for piecrust

Users that are interested in piecrust are comparing it to the libraries listed below

• dusk-network / rusk
  The reference Dusk platform implementation and tools
  ☆196Updated this week
• ProvableHQ / aleo-standard-programs
  ☆26Updated last week
• succinctlabs / vectorx
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆45Updated last year
• ProvableHQ / aleo-std
  ☆20Updated 2 weeks ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆86Updated 8 months ago
• ProvableHQ / service
  ☆13Updated 2 months ago
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated last year
• 0xMiden / miden-node
  Reference implementation of the node for the Miden blockchain
  ☆81Updated this week
• cosmos / ibc-proto-rs
  Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security
  ☆61Updated last week
• 0xMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆124Updated last week
• essential-contributions / pint
  Pint, the constraint-based programming language for declarative blockchains
  ☆21Updated this week
• privacy-ethereum / halo2curves
  ☆221Updated 4 months ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆80Updated 5 months ago
• evstack / celestia-da
  Celestia Implementation of Modular Data Availability Interface
  ☆19Updated 6 months ago
• anoma / taiga
  A framework for generalized shielded state transitions
  ☆150Updated last year
• gevulotnetwork / gevulot
  Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
  ☆159Updated 11 months ago
• 0xMiden / compiler
  Compiler from Rust to Miden Assembly
  ☆90Updated this week
• ChainSafe / Spectre
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆61Updated last year
• eigerco / lumina
  Wasm friendly Celestia light node implementation in Rust
  ☆168Updated last week
• ComposableFi / composable-ibc
  A trustless, cross-chain bridging protocol.
  ☆93Updated 9 months ago
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆163Updated 2 years ago
• Sin7Y / ola-lang
  Ola is a provable language for writing smart contracts
  ☆46Updated last year
• succinctlabs / starkyx
  ☆65Updated last year
• matter-labs / franklin-crypto
  ☆115Updated last year
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆27Updated last year
• hyli-org / hyli
  Hyli is a high-performance blockchain with built-in privacy.
  ☆112Updated this week
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆140Updated 3 months ago
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆84Updated last week
• Manta-Network / manta-rs
  Rust Crates for the Manta Network Ecosystem
  ☆79Updated 2 years ago
• starkware-libs / starknet-api
  ☆61Updated 8 months ago