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.
  ☆27Updated 2 weeks ago
• celestiaorg / awesome-celestia
  An Awesome List of Celestia Resources
  ☆43Updated last month
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• dknopik / towers-of-pau
  ETHPrague
  ☆31Updated last year
• ethereum / kzg-ceremony-sequencer
  ☆86Updated last year
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆79Updated last year
• skip-mev / pob
  Skip's protocol-owned MEV builder implementation
  ☆55Updated 8 months ago
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆82Updated last year
• celestiaorg / blobstream-contracts
  Celestia -> EVM bridge
  ☆137Updated this week
• astriaorg / dev-cluster
  Configuration and scripts for running Astria
  ☆21Updated last year
• ethereum-optimism / hive
  Ethereum end-to-end test harness
  ☆35Updated last year
• 0xPolygon / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆80Updated 2 months ago
• ethereum-optimism / merch
  official optimism merch instructions
  ☆39Updated 3 years ago
• essential-contributions / ERC-7521
  ☆42Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• fabriqnetwork / specular
  Specular Monorepo
  ☆37Updated last year
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆27Updated 2 months ago
• axiom-crypto / axiom-apps
  ☆34Updated 2 years ago
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆35Updated last year
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆110Updated 2 months ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated last year
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆69Updated 2 years ago
• 0xPolygon / pilcom
  Polynomials Identity Language
  ☆68Updated last year
• MystenLabs / truncator
  Compress cryptographic outputs via mining
  ☆24Updated 2 years ago
• 0xPolygon / zkevm-testvectors
  ☆30Updated 3 months ago
• celestiaorg / celestia-zkevm-ibc-demo
  ☆21Updated 3 weeks ago
• ethereum-optimism / lib-keccak
  Keccak-f[1600] permutation in the EVM
  ☆28Updated 6 months ago
• OffchainLabs / methodical-ssz
  Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types
  ☆20Updated last year
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated 2 years ago