Alternatives and similar repositories for concrete:

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

• lambdaclass / lambdaclass_hacking_learning_path
  LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
  ☆320Updated this week
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆211Updated last month
• lambdaclass / cairo-vm
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…
  ☆539Updated this week
• keep-starknet-strange / ziggy-starkdust
  ⚡ Cairo VM in Zig ⚡
  ☆86Updated 7 months ago
• lambdaclass / ethrex
  ethrex: Ethereum Rust Execution L1 and L2 client.
  ☆335Updated this week
• lambdaclass / lambdaworks
  lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…
  ☆665Updated this week
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆126Updated last week
• lurk-lab / lurk-beta
  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…
  ☆449Updated last month
• pluto / ronkathon
  Cryptography Educational Foundations
  ☆288Updated 3 weeks ago
• lambdaclass / starknet_in_rust
  A Rust implementation of Starknet execution logic
  ☆172Updated 8 months ago
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆77Updated this week
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆316Updated 3 months ago
• TritonVM / triton-vm
  Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…
  ☆254Updated last week
• lambdaclass / cairo-vm_in_go
  cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…
  ☆57Updated 11 months ago
• Raiden1411 / zabi
  Interact with ethereum and EVM based chains via Zig!
  ☆85Updated last week
• privacy-scaling-explorations / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆240Updated this week
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆135Updated this week
• lambdaclass / STARK101-rs
  STARK 101 Workshop in Rust 🐺🦀
  ☆135Updated last year
• noir-lang / noir
  Noir is a domain specific language for zero knowledge proofs
  ☆1,024Updated this week
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆120Updated this week
• powdr-labs / powdr
  A modular stack for zkVMs, with a focus on productivity, security and performance.
  ☆445Updated this week
• commonwarexyz / monorepo
  Commonware Library Primitives and Examples
  ☆206Updated this week
• recmo / uint
  Rust Uint crate using const-generics
  ☆183Updated last week
• lurk-lab / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆297Updated 7 months ago
• Sunscreen-tech / Sunscreen
  A compiler for fully homomorphic encryption and zero knowledge proofs
  ☆275Updated 3 weeks ago
• NilFoundation / zkLLVM
  Zero-Knowledge Proof Systems Circuit Compiler
  ☆308Updated 2 months ago
• OffchainLabs / zig-on-stylus
  EVM-interoperable smart contracts written in Zig!
  ☆22Updated 8 months ago
• LayerZero-Labs / qmdb
  Quick Merkle Database
  ☆221Updated this week
• informalsystems / malachite
  Flexible BFT consensus engine in Rust
  ☆214Updated this week
• nalinbhardwaj / zordle
  Wordle, but with ZK proofs!
  ☆219Updated 2 years ago