Alternatives and similar repositories for piecrust

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

• ProvableHQ / aleo-standard-programs
  ☆26Updated this week
• ProvableHQ / aleo-std
  ☆20Updated 3 months ago
• dusk-network / rusk
  The reference Dusk platform implementation and tools
  ☆198Updated this week
• succinctlabs / vectorx
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆46Updated last year
• essential-contributions / pint
  Pint, the constraint-based programming language for declarative blockchains
  ☆21Updated this week
• soonlabs / igloo
  Demo for op rollup with decoupling SVM execution layer
  ☆42Updated last year
• 0xMiden / compiler
  Compiler from Rust to Miden Assembly
  ☆100Updated this week
• 0xMiden / miden-node
  Reference implementation of the node for the Miden blockchain
  ☆90Updated this week
• succinctlabs / starkyx
  ☆65Updated last year
• ChainSafe / Spectre
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆61Updated last year
• scroll-tech / poseidon-circuit
  Poseidon hash circuit
  ☆107Updated last year
• Sin7Y / ola-lang
  Ola is a provable language for writing smart contracts
  ☆47Updated last year
• ProvableHQ / service
  ☆13Updated 5 months ago
• MystenLabs / mysten-sim
  Deterministic executor + network sim for tokio-based systems.
  ☆20Updated last week
• Fantom-foundation / Tosca
  ☆15Updated 11 months ago
• ProvableHQ / aleo-rust
  ☆34Updated last year
• matter-labs / franklin-crypto
  ☆115Updated last year
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Updated 11 months ago
• availproject / avail-indexer
  Indexer for the various Avail chains
  ☆16Updated 6 months ago
• gevulotnetwork / gevulot
  Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
  ☆159Updated last year
• ProvableHQ / python-sdk
  ☆45Updated 6 months ago
• celestiaorg / orchestrator-relayer
  Go implementation of the Blobstream orchestrator and relayer
  ☆29Updated last year
• privacy-ethereum / halo2curves
  ☆221Updated 6 months ago
• dymensionxyz / rollapp-wasm
  WASM DRS - WASM Dymension Rollapp Standard
  ☆33Updated last week
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆30Updated last year
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆83Updated 8 months ago
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated last year
• matter-labs / era-zkevm_circuits
  ☆65Updated last year
• Manta-Network / manta-rs
  Rust Crates for the Manta Network Ecosystem
  ☆81Updated 2 years ago
• evstack / celestia-da
  Celestia Implementation of Modular Data Availability Interface
  ☆19Updated 8 months ago