Alternatives and similar repositories for sindri-resources

Users that are interested in sindri-resources are comparing it to the libraries listed below

• Ethan-000 / halo2_backend
  ☆38Updated last year
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year
• InternetMaximalism / plasma-next
  Plasma Next
  ☆35Updated last year
• yetanotherco / zkRust
  ☆40Updated 8 months ago
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 3 months ago
• privacy-scaling-explorations / zk-kit.rust
  A monorepo of reusable crates for zero-knowledge technologies.
  ☆14Updated 2 weeks ago
• succinctlabs / hypercube-verifier
  ☆38Updated last month
• shramee / cairo_pairing
  ☆17Updated 10 months ago
• succinctlabs / sp1-tee
  ☆21Updated this week
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 11 months ago
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆35Updated last year
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated 8 months ago
• personaelabs / sapir
  ☆2Updated last year
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• geometers / o1js-blobstream
  ☆11Updated 8 months ago
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• privacy-scaling-explorations / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆37Updated 2 years ago
• ICME-Lab / msm-webgpu
  msm implementation for webGPU/
  ☆11Updated this week
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆30Updated 11 months ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• HerodotusDev / cairo-lib
  A comprehensive library for Cairo 🐺
  ☆40Updated 4 months ago
• starkoracles / Aero
  A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
  ☆40Updated last year
• Unirep / create-unirep-app
  A template for creating a UniRep attester.
  ☆23Updated last year
• erhant / lambda-0b10
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆28Updated 8 months ago
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆71Updated 2 weeks ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated 2 years ago
• myBraavos / efficient-secp256r1
  An efficient implementation of ECDSA on secp256r1 in Cairo
  ☆23Updated last year
• privacy-scaling-explorations / zk-kit.circom
  A monorepo of reusable Circom circuits.
  ☆26Updated 2 weeks ago
• ethstorage / eip4844-blob-hash-getter
  ☆17Updated 2 years ago
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆22Updated 2 months ago