Alternatives and similar repositories for starkvm-compiler

Users that are interested in starkvm-compiler are comparing it to the libraries listed below

• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• lambdaclass / aleo_lambda_vm

  View on GitHub
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21May 9, 2023Updated 2 years ago
• zkemail / halo2-regex

  View on GitHub
  Library and gadget to do regex string matches in halo2
  ☆35Jul 25, 2024Updated last year
• hashcloak / fhe_risc0_zkvm

  View on GitHub
  FHE in the Risc0 zkVM
  ☆25Nov 16, 2023Updated 2 years ago
• lopeetall / caulk

  View on GitHub
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Jun 29, 2022Updated 3 years ago
• Schaeff / pilspector

  View on GitHub
  👓
  ☆15Jan 20, 2023Updated 3 years ago
• proof-of-exploit / cli

  View on GitHub
  Prove knowledge of smart contract bugs using zkEVM
  ☆43Sep 20, 2024Updated last year
• lambdaclass / simpleworks

  View on GitHub
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆25Feb 8, 2023Updated 3 years ago
• geometryxyz / secp256k1_hash_to_curve

  View on GitHub
  ☆33Sep 22, 2023Updated 2 years ago
• vicsn / witness-encryption-functional-commitment

  View on GitHub
  Based on https://eprint.iacr.org/2022/1510
  ☆26Oct 20, 2024Updated last year
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated last year
• 0xMiden / air-script

  View on GitHub
  A domain-specific language for writing AIR constraints for STARKs
  ☆94Feb 5, 2026Updated last week
• ingonyama-zk / modular_multiplication

  View on GitHub
  efficient modular multiplication research
  ☆15Feb 8, 2023Updated 3 years ago
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• qope / SIPP

  View on GitHub
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Oct 8, 2023Updated 2 years ago
• morgana-proofs / plonky2-hashchain

  View on GitHub
  ☆14Feb 7, 2023Updated 3 years ago
• matter-labs / z-prize-msm-gpu-combined

  View on GitHub
  Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…
  ☆16Oct 30, 2023Updated 2 years ago
• odradev / evm-at-risc0

  View on GitHub
  ☆17Feb 13, 2023Updated 3 years ago
• anoma / zkp-compiler-shootout

  View on GitHub
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Dec 19, 2023Updated 2 years ago
• starkoracles / zkos

  View on GitHub
  Cross-zk-rollup aggregation
  ☆61Feb 17, 2023Updated 2 years ago
• perama-v / archors

  View on GitHub
  A tool for single Ethereum archival block state proofs.
  ☆35Oct 19, 2023Updated 2 years ago
• jtguibas / halo2-merkle-tree

  View on GitHub
  ☆18Mar 28, 2023Updated 2 years ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• recmo / pc-bench

  View on GitHub
  Benchmarking Polynomial Commitments
  ☆51Jul 3, 2023Updated 2 years ago
• conroi / lcpc

  View on GitHub
  polynomial commitments from linear codes
  ☆50Dec 13, 2024Updated last year
• geometryxyz / baloo

  View on GitHub
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Jan 1, 2023Updated 3 years ago
• greenhat / omnizk

  View on GitHub
  Compiler framework for ZK VMs
  ☆35Aug 2, 2023Updated 2 years ago
• geometryxyz / semacaulk

  View on GitHub
  Gas-efficient and blazing fast proving for private signaling
  ☆81Feb 3, 2024Updated 2 years ago
• maxgillett / halo2-fri-gadget

  View on GitHub
  A FRI verifier circuit for the Halo2 proof system
  ☆77Feb 22, 2023Updated 2 years ago
• lambdaclass / noir_backend_using_gnark

  View on GitHub
  A Noir's backend implementation using Gnark
  ☆35Mar 8, 2024Updated last year
• brevis-network / zk-benchmark

  View on GitHub
  Benchmark of multiple zk implementations.
  ☆83Aug 3, 2023Updated 2 years ago
• onurinanc / noir-bn254

  View on GitHub
  BN254 Pairing Implementation in Noir
  ☆23Aug 23, 2023Updated 2 years ago
• zhenfeizhang / squirrel

  View on GitHub
  Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices
  ☆24Dec 13, 2023Updated 2 years ago
• polybase / zk-benchmarks

  View on GitHub
  ☆46Oct 9, 2023Updated 2 years ago
• Consensys / plonk-solidity-audit

  View on GitHub
  Plonk verifier in solidity (using Commit api)
  ☆22Jun 24, 2024Updated last year
• Rate-Limiting-Nullifier / kzg-rln

  View on GitHub
  RLN on KZG
  ☆21Sep 20, 2023Updated 2 years ago
• Orbis-Tertius / tiny-ram-halo2

  View on GitHub
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆39Nov 18, 2022Updated 3 years ago
• matter-labs / rescue-poseidon

  View on GitHub
  Rescue and Poseidon hash function implementations
  ☆43Aug 15, 2024Updated last year
• manuj-mishra / zkdiffpriv

  View on GitHub
  Zero knowledge proofs of differential privacy mechanisms
  ☆21Jul 18, 2023Updated 2 years ago