Alternatives and similar repositories for ZkLinalg

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

• leanEthereum / leanSpec
  Lean Ethereum protocol specifications and test vector generation framework.
  ☆69Updated this week
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆31Updated this week
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆48Updated 5 months ago
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆76Updated 5 months ago
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆126Updated this week
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆55Updated 8 months ago
• binius-zk / binius64
  Binary Proofs, Blazing Fast
  ☆100Updated last week
• StefanosChaliasos / Awesome-ZKP-Security
  A curated list of awesome security resources for ZK.
  ☆107Updated last month
• ligeroinc / ligero-prover
  ☆59Updated 2 months ago
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆42Updated 3 months ago
• leanEthereum / leanMultisig
  ☆56Updated this week
• Autoparallel / learner
  Making learning sh*t less annoying
  ☆42Updated 10 months ago
• tcoratger / whir-p3
  ☆56Updated this week
• eth-act / zkevm-benchmark-workload
  zkVM benchmarking for Ethereum
  ☆39Updated this week
• flyingnobita / 0xparc_intro_book_workbook
  Workbook for Introduction to Programmable Cryptography
  ☆34Updated 7 months ago
• stackrlabs / succinct-residency-exps
  A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)
  ☆17Updated last year
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆82Updated 2 weeks ago
• eth-act / zkevm-book
  Ethereum zkEVM book
  ☆79Updated 2 months ago
• zigtur / Groth16
  This repository contains my first battle in the ZK war. My enemy: Groth16.
  ☆17Updated 2 years ago
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆104Updated last week
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆35Updated 2 years ago
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated 9 months ago
• GaloisInc / zk-lean
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆17Updated this week
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆80Updated last year
• mmaker / zkalc
  A web tool that helps you compare and visualize the performance of cryptographic operations
  ☆92Updated 5 months ago
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆56Updated 8 months ago
• h-hafezi / kzh_fold
  ☆27Updated last month
• ingonyama-zk / smallfield-super-sumcheck
  Proof of concept implementation of sumcheck over fields of small characteristics.
  ☆19Updated 7 months ago
• privacy-ethereum / sol-whir
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆27Updated 11 months ago
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆43Updated last month