Sindri-Labs / sindri-js

Related projects ⓘ

Alternatives and complementary repositories for sindri-js

• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆63Updated 4 months ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated last year
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆56Updated this week
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆72Updated last month
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 3 months ago
• yetanotherco / zkRust
  ☆30Updated 3 weeks ago
• erhant / lambda-0b10
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆29Updated last month
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆96Updated 2 months ago
• succinctlabs / op-succinct
  OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.
  ☆97Updated this week
• NilFoundation / zkllvm-template
  Template repository for zkLLVM-based projects
  ☆19Updated 8 months ago
• namnc / circom-2-arithc
  Circom interpreter to arithmetic circuit description
  ☆50Updated 2 months ago
• philsippl / circom-witness-rs
  ☆60Updated 8 months ago
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆41Updated 11 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆59Updated 3 weeks ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆36Updated this week
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆36Updated 7 months ago
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated 11 months ago
• DanTehrani / storyform
  ☆18Updated 2 years ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated 9 months ago
• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆67Updated 8 months ago
• cairoeth / preconfirmations
  🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
  ☆55Updated 7 months ago
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆40Updated 3 months ago
• AztecProtocol / aztec3-circuits
  Circuit infrastructure for Aztec 3.0
  ☆12Updated last year
• 0xPolygonHermez / zisk
  ☆33Updated this week
• 0xPolygonHermez / zkasmcom
  This repo compiles .zkasm to a json ready for the zkExecutor
  ☆30Updated last month
• SoraSuegami / voice_recovery_circuit
  A circuit to verify the voice recovery process.
  ☆49Updated last year
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆49Updated last month
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆31Updated 8 months ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆97Updated 10 months ago