Alternatives and similar repositories for piecrust:

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

• Sin7Y / ola-lang
  Ola is a provable language for writing smart contracts
  ☆42Updated 7 months ago
• succinctlabs / vectorx
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆45Updated 8 months ago
• succinctlabs / starkyx
  ☆62Updated 9 months ago
• ChainSafe / Spectre
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆60Updated 4 months ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆82Updated this week
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated last year
• scroll-tech / poseidon-circuit
  Poseidon hash circuit
  ☆96Updated 3 months ago
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆70Updated 3 weeks ago
• matter-labs / era-zkevm_circuits
  ☆59Updated 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
  ☆64Updated this week
• 0xPolygonMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆111Updated this week
• matter-labs / era-zkevm_opcode_defs
  Definitions of zkEVM opcodes (primary dependency for all other repos)
  ☆37Updated 6 months ago
• Eclipse-Laboratories-Inc / zk-bpf
  zero-knowledge execution of eBPF bytecode
  ☆86Updated last year
• matter-labs / franklin-crypto
  ☆114Updated 6 months ago
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆58Updated this week
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆33Updated last week
• dusk-network / rusk
  The reference Dusk platform implementation and tools
  ☆194Updated this week
• privacy-scaling-explorations / halo2curves
  ☆191Updated last month
• dusk-network / rusk-vm
  The Dusk Rust WASM VM implementation
  ☆55Updated 2 years ago
• ProvableHQ / aleo-std
  ☆16Updated last year
• availproject / avail-indexer
  Indexer for the various Avail chains
  ☆15Updated 3 months ago
• Sin7Y / olavm
  A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy
  ☆164Updated last week
• demox-labs / aleo-standard-programs
  ☆20Updated this week
• EspressoSystems / hyperplonk
  ☆227Updated this week
• Manta-Network / manta-rs
  Rust Crates for the Manta Network Ecosystem
  ☆82Updated last year
• PolyhedraZK / ExpanderCompilerCollection
  Expander Compiler
  ☆32Updated this week
• ProvableHQ / aleo-rust
  ☆32Updated 11 months ago
• madara-alliance / bonsai-trie
  A storage system inspired by Besu using Starknet Merkle Trees
  ☆60Updated 2 months ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆82Updated last year
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆94Updated last month