Alternatives and similar repositories for dasy

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

• dasylang / dasy
  a lisp built on top of vyper
  ☆50Updated 2 months ago
• sambarnes / cairo-bloom
  A naive bloom filter implementation in Cairo
  ☆37Updated 3 years ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• vezenovm / simple_shield
  Basic Noir private proof of membership
  ☆90Updated 5 months ago
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• a16z / halmos-cheatcodes
  ☆69Updated 3 months ago
• emo-eth / solarray
  A blazing-fast helper library for convenient Solidity dynamic arrays
  ☆42Updated last year
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 2 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 2 years ago
• brockelmore / graphstack
  ☆54Updated 2 years ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• refcell / optimism-rs
  Scaling Ethereum, but this time in rust.
  ☆90Updated 2 years ago
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆66Updated 2 weeks ago
• jsign / zig-stealth-addresses
  A Zig implementation of Ethereum stealth addresses (ERC-5564)
  ☆34Updated last year
• AmadiMichael / Zyclone
  2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
  ☆82Updated last year
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 4 months ago
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆75Updated last year
• leonardoalt / fusion
  An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…
  ☆117Updated last year
• counterdao / dss
  Decentralized Summation System
  ☆46Updated 3 years ago
• 0xethsign / Account2
  Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking
  ☆78Updated 2 years ago
• defi-principles / draft-defi-principles
  ☆37Updated 3 years ago
• shunkakinoki / foundry-simulator
  Simulate txs to human readable format
  ☆28Updated 2 years ago
• jtriley2p / huff-hooks
  Uniswap V4 Huff Hooks
  ☆40Updated 2 years ago
• kevinz917 / zksnarks-library
  Library of zkSNARKS circuits written in the Circom language.
  ☆50Updated 3 years ago
• milancermak / cairo-4626
  EIP 4626 in Cairo lang for Starknet
  ☆51Updated 2 years ago
• ScopeLift / l2-optimizoooors
  Gas efficient routers for L2 applications
  ☆115Updated 2 years ago
• jtriley2p / ether-deck
  ☆98Updated 2 years ago
• Darlington02 / circom-next-starter
  Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs
  ☆47Updated 2 years ago
• dove-protocol / dove-protocol
  Unified liquidity, accessible anywhere.
  ☆23Updated 2 years ago
• lucadonnoh / graphiro
  A graph library built with Cairo
  ☆28Updated 3 years ago