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 3 months ago
• sambarnes / cairo-bloom
  A naive bloom filter implementation in Cairo
  ☆37Updated 3 years ago
• a16z / halmos-cheatcodes
  ☆69Updated 4 months ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• AmadiMichael / Zyclone
  2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
  ☆82Updated last year
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 2 years ago
• vezenovm / simple_shield
  Basic Noir private proof of membership
  ☆90Updated 6 months ago
• jsign / zig-stealth-addresses
  A Zig implementation of Ethereum stealth addresses (ERC-5564)
  ☆34Updated last year
• perimetersec / resources
  Public resources on fuzzing services, methodologies, and benefits for protocol security.
  ☆26Updated 2 months ago
• counterdao / dss
  Decentralized Summation System
  ☆46Updated 3 years ago
• evmts / guillotine
  An ultra-high performance and flexible EVM. Written in zig
  ☆115Updated this week
• brockelmore / graphstack
  ☆54Updated 2 years ago
• jtriley2p / ether-deck
  ☆99Updated 2 years ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 3 years ago
• refcell / optimism-rs
  Scaling Ethereum, but this time in rust.
  ☆90Updated 2 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• verklegarden / crysol
  secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations
  ☆61Updated last month
• emo-eth / solarray
  A blazing-fast helper library for convenient Solidity dynamic arrays
  ☆42Updated last year
• Darlington02 / circom-next-starter
  Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs
  ☆47Updated 2 years ago
• smsunarto / daedalus
  Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
  ☆34Updated 2 years ago
• 0xMacro / trim
  An opcode-oriented language that compiles to the EVM
  ☆73Updated 6 months ago
• dove-protocol / dove-protocol
  Unified liquidity, accessible anywhere.
  ☆23Updated 2 years ago
• wavey0x / safesmith
  A Safe wrapper around Foundry projects
  ☆34Updated 5 months ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆59Updated 2 years ago
• 0xethsign / Account2
  Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking
  ☆77Updated 2 years ago
• Lev-Stambler / bulletproof-cairo
  ☆40Updated 2 years ago
• ElliotFriedman / forge-proposal-simulator
  standardized framework to simulate governance proposals with forge
  ☆57Updated 2 years ago
• Will-Smith11 / sks
  Submodules Kill Solidity
  ☆38Updated 2 years ago
• cronokirby / seed-split
  Splitting seed phrases into shares
  ☆63Updated 3 years ago
• milancermak / cairo-4626
  EIP 4626 in Cairo lang for Starknet
  ☆51Updated 3 years ago