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.
  ☆26Updated last month
• celestiaorg / awesome-celestia
  An Awesome List of Celestia Resources
  ☆43Updated last week
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆77Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆82Updated last year
• skip-mev / pob
  Skip's protocol-owned MEV builder implementation
  ☆55Updated 8 months ago
• axiom-crypto / axiom-apps
  ☆34Updated last year
• ethereum / kzg-ceremony-sequencer
  ☆86Updated last year
• fabriqnetwork / specular
  Specular Monorepo
  ☆37Updated last year
• FuelLabs / sway-lib-std
  Sway standard library.
  ☆24Updated 3 years ago
• ethereum-optimism / merch
  official optimism merch instructions
  ☆38Updated 3 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• astriaorg / dev-cluster
  Configuration and scripts for running Astria
  ☆21Updated last year
• FuelLabs / fuel-merkle-sol
  A Solidity implementation of binary, sum, and sparse Merkle trees
  ☆56Updated last year
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆56Updated 2 years ago
• 0xPolygon / zkasmcom
  This repo compiles .zkasm to a json ready for the zkExecutor
  ☆31Updated 9 months ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆27Updated last month
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆35Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• guiltygyoza / stardisc-contract
  Starknet Name Service
  ☆28Updated 3 years ago
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated 2 years ago
• celestiaorg / blobstream-contracts
  Celestia -> EVM bridge
  ☆137Updated this week
• NethermindEth / el-node-spec
  ☆25Updated last year
• dknopik / towers-of-pau
  ETHPrague
  ☆31Updated last year
• ethereum-optimism / lib-keccak
  Keccak-f[1600] permutation in the EVM
  ☆28Updated 6 months ago
• essential-contributions / ERC-7521
  ☆42Updated last year
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆108Updated last month
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• geometryxyz / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆49Updated 3 years ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated 11 months ago