Alternatives and similar repositories for dalc

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

• succinctlabs / sp1-blobstream
  Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
  ☆28Updated last month
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• celestiaorg / awesome-celestia
  An Awesome List of Celestia Resources
  ☆45Updated 2 months ago
• 0xPolygon / zkasmcom
  This repo compiles .zkasm to a json ready for the zkExecutor
  ☆31Updated last year
• astriaorg / dev-cluster
  Configuration and scripts for running Astria
  ☆21Updated last year
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆82Updated last year
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆28Updated 6 months ago
• axiom-crypto / axiom-apps
  ☆34Updated 2 years ago
• ethereum / kzg-ceremony-sequencer
  ☆86Updated 2 years ago
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆79Updated last year
• privacy-ethereum / zkevm-docs
  AppliedZKP's zkEVM Documentation
  ☆26Updated last year
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆125Updated 2 months ago
• matter-labs / zk_os
  OS for next iteration of the world computer
  ☆43Updated 2 years ago
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 10 months ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated last year
• DelphinusLab / zkWasm-host-circuits
  ☆25Updated 2 months ago
• Kelvyne / starknet-storage-proof-solidity
  ☆42Updated last year
• skip-mev / pob
  Skip's protocol-owned MEV builder implementation
  ☆54Updated last year
• ZK-Hack / puzzle-zero-sum-game
  ☆37Updated 3 years ago
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆43Updated last year
• celestiaorg / blobstream-contracts
  Celestia -> EVM bridge
  ☆137Updated this week
• rift-finance / rift-protocol
  An implementation of the Rift Protocol in Solidity
  ☆15Updated 3 years ago
• evstack / docs
  Documentation for Rollkit - a modular framework for rollups.
  ☆37Updated 5 months ago
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆42Updated 2 years ago
• AztecProtocol / aztec-verifier-contracts
  ☆27Updated 2 years ago
• geometers / o1js-blobstream
  ☆12Updated last year
• Lev-Stambler / bulletproof-cairo
  ☆40Updated 3 years ago
• dknopik / towers-of-pau
  ETHPrague
  ☆31Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• 0xPolygon / pilcom
  Polynomials Identity Language
  ☆68Updated last year