Alternatives and similar repositories for winterfell-boilerplate

Users that are interested in winterfell-boilerplate are comparing it to the libraries listed below

• arnaucube / sigmabus-poc

  View on GitHub
  Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
  ☆10Dec 20, 2023Updated 2 years ago
• xJonathanLEI / starkware-crypto-rs

  View on GitHub
  Rust FFI bindings for StarkWare's crypto-cpp library
  ☆15Apr 27, 2022Updated 3 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
• gaetbout / starknet-felt-packing

  View on GitHub
  ☆18Sep 20, 2022Updated 3 years ago
• maxgillett / stark-attestations

  View on GitHub
  Share private EVM state attestations using STARK proofs
  ☆73Aug 4, 2022Updated 3 years ago
• ZigZagExchange / starknet-oracle

  View on GitHub
  ☆17Apr 12, 2022Updated 3 years ago
• socathie / ZKaggleV2

  View on GitHub
  Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack
  ☆16Jul 12, 2023Updated 2 years ago
• starkoracles / zkos

  View on GitHub
  Cross-zk-rollup aggregation
  ☆61Feb 17, 2023Updated 3 years ago
• ZeroSync / giza

  View on GitHub
  A Cairo VM prover implemented using Winterfell
  ☆17May 4, 2023Updated 2 years ago
• ondrejsojka / cairo-migration-prompt

  View on GitHub
  Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
  ☆23May 4, 2023Updated 2 years ago
• nullity00 / maci-noir

  View on GitHub
  Writing MACI circuits in Noir
  ☆16Oct 8, 2023Updated 2 years ago
• zk-bankai / uZumaKi

  View on GitHub
  ZK Benchmarking Suite
  ☆23Mar 15, 2024Updated last year
• gaetbout / starknet-commit-reveal

  View on GitHub
  ☆18Nov 1, 2023Updated 2 years ago
• personaelabs / heyanon-circuits

  View on GitHub
  Circuits used by heyanon
  ☆21Sep 14, 2022Updated 3 years ago
• lambdaclass / starknet_stack

  View on GitHub
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆43Sep 12, 2023Updated 2 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated last year
• arnaucube / fri-commitment

  View on GitHub
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Mar 26, 2023Updated 2 years ago
• BitVM / rust-bitcoin-m31-or-babybear

  View on GitHub
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆25Jul 24, 2024Updated last year
• lambdaclass / starknet_in_rust

  View on GitHub
  A Rust implementation of Starknet execution logic
  ☆170Jul 22, 2024Updated last year
• keep-starknet-strange / awesome-stwo

  View on GitHub
  A curated list of awesome projects using STWO.
  ☆37Jun 27, 2025Updated 7 months ago
• VictorColomb / stark-snark-recursive-proofs

  View on GitHub
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆103Sep 12, 2023Updated 2 years ago
• kobigurk / stardrop

  View on GitHub
  Anonymous rewards on StarkNet
  ☆35Sep 9, 2021Updated 4 years ago
• starkoracles / Aero

  View on GitHub
  A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
  ☆39Jul 27, 2023Updated 2 years ago
• slushsdk / slush

  View on GitHub
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Feb 20, 2023Updated 2 years ago
• codewrestling / VTU-Machine-Learning-Lab-Programs

  View on GitHub
  ☆11Jan 27, 2021Updated 5 years ago
• nalinbhardwaj / isokratia

  View on GitHub
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Sep 23, 2022Updated 3 years ago
• PopcornPaws / fde

  View on GitHub
  ☆40Apr 9, 2024Updated last year
• zkLinkProtocol / groth16-sol-verifier

  View on GitHub
  ☆29Aug 17, 2022Updated 3 years ago
• a16z / vectorized-fields

  View on GitHub
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Sep 28, 2024Updated last year
• GuildOfWeavers / AirAssembly

  View on GitHub
  Low-level language for encoding AIR of computations
  ☆38May 7, 2023Updated 2 years ago
• polybase / polylang

  View on GitHub
  ☆37Nov 7, 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
• 0xZKML / zk-mnist

  View on GitHub
  Demo of ML for MNIST classification in a zero knowledge proof
  ☆126Nov 16, 2022Updated 3 years ago
• gakonst / narwhal-abci-evm

  View on GitHub
  ☆139Jul 13, 2022Updated 3 years ago
• ingonyama-zk / blaze

  View on GitHub
  blaze is a Rust library for ZK acceleration on Xilinx FPGAs.
  ☆144Oct 22, 2024Updated last year
• sambarnes / cairo-bloom

  View on GitHub
  A naive bloom filter implementation in Cairo
  ☆37May 28, 2022Updated 3 years ago
• lambdaclass / noir_backend_using_gnark

  View on GitHub
  A Noir's backend implementation using Gnark
  ☆35Mar 8, 2024Updated last year
• zcash / pasta_curves

  View on GitHub
  Rust implementation for zcash/pasta
  ☆84Apr 17, 2025Updated 10 months ago
• arkworks-rs / gemini

  View on GitHub
  An elastic proof system based on arkworks
  ☆85Dec 21, 2023Updated 2 years ago